{"entities":{"Q1229706":{"pageid":1240456,"ns":120,"title":"Item:Q1229706","lastrevid":66538230,"modified":"2026-04-12T10:48:38Z","type":"item","id":"Q1229706","labels":{"en":{"language":"en","value":"Infinitary propositional intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3525101"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229706$9624479A-CA16-4CD1-8427-0155B6705961","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"221bb9ee765f949051fc2ae9c4153e4cbc7931b6","datavalue":{"value":{"text":"Infinitary propositional intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1229706$71592AED-A162-47B6-B048-432D5F4222DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d13c98088a194005a7094ee16e741d2e466b71b","datavalue":{"value":"0336.02021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$2387F605-EF09-4275-95DC-4E9652E8F654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"177e689e9e9df4fa695b63bec996c0adfedb8661","datavalue":{"value":{"entity-type":"item","numeric-id":1229705,"id":"Q1229705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229706$65B1E57B-AB96-440A-B83B-0D71FF1D5297","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229706$7A90F83A-7189-436A-AD04-BE138B8A75B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1229706$6B82E30E-D71F-47F6-921B-F438352463E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$C2882EDB-CEA5-4D8F-BF27-44353D2F03E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$637604FB-EC4D-423E-9180-2D16F9E08D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$B5C39536-5DF3-4408-9411-1729D8157063","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f7283b44d72f76911b6d4ac6150290ab9a29234","datavalue":{"value":"3525101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$D4776955-DC0D-46D0-9D93-3CD48507275F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1229706$EBFEC30B-C5AE-481A-A3CF-CE4CBA784546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f775f9cb78b1d4664741064304db07223ac5867","datavalue":{"value":"infinite conjunctions and disjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1229706$3B29A321-6390-4EEF-A54E-034C7B600D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1229706$E88CD16B-19D5-4375-92F5-8225D5DF03EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1229706$93CDB8B3-67BB-4679-B699-09E61D22A666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1229706$2565FB1A-720B-4BEB-9384-250EE5258CEA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1229706$646692AF-56D9-4713-9012-4658C65B3DA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e37e230d1451ae6f67898f4f38c23a6ffd1a43a5","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1229706$97F1A5F4-03D8-4CD3-88AD-BDE28F24ADF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7cbaf1901eaa66262f331068893f87ea3cc579a","datavalue":{"value":"W2001667007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$7153F74E-B2F9-418A-B7B0-C4820168BC06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d127ce22484e686ccdf357cdbd38c99a2c379061","datavalue":{"value":"10.1305/NDJFL/1093883041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1229706$CBD99307-A68A-4ECB-BE71-8ADF03CD2154","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary propositional intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_propositional_intuitionistic_logic"}}}}}