{"entities":{"Q6073912":{"pageid":13208220,"ns":120,"title":"Item:Q6073912","lastrevid":94050671,"modified":"2026-06-05T05:45:26Z","type":"item","id":"Q6073912","labels":{"en":{"language":"en","value":"Boolean valued semantics for infinitary logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7748759"}},"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":"Q6073912$412A2F79-F5C5-4AFA-A1A3-1E823707DA76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc23ecf7085fe42d6809c6f772eae1e3fe179a8","datavalue":{"value":{"text":"Boolean valued semantics for infinitary logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6073912$38123AD0-96D4-466B-9925-6BB19D491648","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9deb8137188831836af594c2250a741e589f6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":6073911,"id":"Q6073911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$2A3FD857-ADC6-46EF-8EEA-27DA5160AC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e852f010f8b4f1ecfa6999d01a096922f1d070c","datavalue":{"value":{"entity-type":"item","numeric-id":251402,"id":"Q251402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$A65F8026-EBD2-4E83-8266-60161C76564D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$7E43F7EF-1B51-4D16-9E87-E47F6FB45196","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"814c982951c312d9e571bab059f6a40e9b74e991","datavalue":{"value":{"time":"+2023-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6073912$62DCBE7F-7976-41BC-B4A8-F2E34A286DBD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d387839a606b808646639945ccbfcd8e1c8f4df","datavalue":{"value":"https://arxiv.org/abs/2112.09416","type":"string"},"datatype":"url"},"type":"statement","id":"Q6073912$A3FC8F95-0959-4E05-97C1-0506574753CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$F9A18B54-516F-412F-A2CC-014E0744720D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$835B6DA1-3547-4E37-9F0C-ABF7CDDFBCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$4C791FFE-7926-4AF5-9DEC-161E27F9C72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$A8113743-16CD-46D2-BF62-F20537CB635B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f11a894c6db4e9b0bf9de53fabc8d6e059e512c0","datavalue":{"value":"7748759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$952B7510-E490-4B72-AC83-BD9A93FEF446","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a36dbd2a1775192b1b649f15da273a78acce77","datavalue":{"value":"infinitary logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073912$03E7CAB0-E550-4FCD-A4A7-97F739F67EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073912$3FD879EB-5F00-4279-BFAD-B9DD3D857E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db143c82b57a7e73dfee7fea0580e54470a08e7c","datavalue":{"value":"consistency properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073912$9D105CD1-64D5-4D95-9702-5C826B274BCB","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":"Q6073912$D2170D99-38CA-4B0A-AC00-7D1FBABED167","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"404cea1f67925936bbfba05a9292a3e2ec3b7148","datavalue":{"value":"W4384700770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$A2DA6590-BEE7-4FD2-A8F6-F793370B8DF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed6cdde9304759eff048a5fe842cae6f145299c8","datavalue":{"value":{"entity-type":"item","numeric-id":2028503,"id":"Q2028503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$B81B5FF7-27C0-491D-90AC-094AA40323F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32b1ee3fffe4dc16126c1918acf96a6803bfcb9","datavalue":{"value":{"entity-type":"item","numeric-id":4848573,"id":"Q4848573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$A3C8FA62-F89D-4F68-B18D-825A18505F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d542b29badc8a7fe50db3b8c16bd2d7c8d19ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4780924,"id":"Q4780924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$7E4FE308-823C-4654-8979-07DFD003CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41066e3d15e0d285678045d90bc92d6c65876f88","datavalue":{"value":{"entity-type":"item","numeric-id":3461817,"id":"Q3461817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$985DD0C2-B535-4F95-A126-B76765EBCCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$0D9110C1-5AEE-4F00-9C59-7A453334CD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$8279DE0D-6BBF-45DC-9E1B-1A1F480B94A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$40DF63D7-79E1-45E0-AF67-680D29622CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1181af74c3050f9d602e64480fd3f8e5cdfbbe99","datavalue":{"value":{"entity-type":"item","numeric-id":5643984,"id":"Q5643984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$18AEDF5C-3014-42F3-B201-F9B85E125D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff4603e75679ef9fc2d6302dbc17d7e7619ad9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5655345,"id":"Q5655345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$DD814BCF-F81F-46B4-B69A-21CC0C5B4FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d4e005a92fce1984a6e6d87f7357d3d3c7b46e","datavalue":{"value":{"entity-type":"item","numeric-id":3078324,"id":"Q3078324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073912$D6E4437B-BBEE-4FCF-88B6-681E4D8E604C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd9629a9a3d97db0a54003282c62c0d4a631553a","datavalue":{"value":"10.1016/J.APAL.2023.103333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073912$17FCA98B-B5DD-4234-895F-FFCF1B7BB0B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean valued semantics for infinitary logics","badges":[]}}}}}