id	author	title	date	pages	extension	mime	words	sentence	flesch	summary	cache	txt
ap-234	Bokr, J.; Jáneš, V.	A Logic Object and its State	2001	7	.pdf	application/pdf	5926	217	60	Since i) � � � �� �� � � � � �� �� �proj K s x K s proj K s e K s3 3 r� �� � � � � � �, , , , � �1 1 � � � �� � � �� �� �� proj K s x K s K s3 r� � � � �, , , 1 , spec. S X S : s x s�� � � � � � �� 1 1, � , for � 0 ii) � � � � � � � ��� � � � � � � � �S X Z S : s x z s� � 1 1, , � for � 1.	cache/ap-234.pdf	txt/ap-234.txt