{"entities":{"Q3416111":{"pageid":3426814,"ns":120,"title":"Item:Q3416111","lastrevid":50003029,"modified":"2026-01-12T14:16:55Z","type":"item","id":"Q3416111","labels":{"en":{"language":"en","value":"Truth In V for \u2203*\u2200\u2200-Sentences is Decidable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117105"}},"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":"Q3416111$E73805EC-E74A-435B-AFDB-C2DC362FE7C3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b75bc16a52f54f58fd5d56dc211d8c579b72fc1","datavalue":{"value":{"text":"Truth In V for \u2203*\u2200\u2200-Sentences is Decidable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3416111$EA6A2AAA-EADE-4AE3-8E6D-06D460A7A8AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1902ce797448b327312eb6cf435a009037758e93","datavalue":{"value":"1109.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$7654EFFD-BCD7-44E9-8E77-8F1A1E0CD1E5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$28D62E89-570B-4C68-A7BB-F147E1A2719E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccfbcab9dc0e00345be770d3637c6c67cbc30af7","datavalue":{"value":{"time":"+2007-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3416111$153F2CED-7A9B-4B23-88B6-060348935219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$FFE1BFBF-61EE-43C8-A3D6-454A245DFF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$47A01BAB-6433-4D67-847A-D73F6A593D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$5A8C31F7-BD1C-46B3-90EE-73DC7D28BBD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a10e35033b37812e7f708fe32d413eab805018e6","datavalue":{"value":"5117105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$AF5603FA-26E7-4A55-A2E1-F63C0FB3E7F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$A82D86BD-0248-45F3-99FC-707E12BAEC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbdeefbc6aeb5304eb4fabe49ce82904a2dcb130","datavalue":{"value":"three-quantifier sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$2F5BFB72-04B1-46CB-8113-E33CFD990B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e32dfa2bcc1257af43219a1da86f035bdcebed","datavalue":{"value":"cumulative set-theoretic hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$F329D7AA-818B-4561-9F7A-10D8E06A9BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c497157023c69041e9d74202846946f0eafd467d","datavalue":{"value":"primitive language of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$AD88E365-2B7E-4942-8713-68FAAC08F452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$5273F6AB-8E2A-48E0-A384-34F8A090A0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68138c6c4f989c8583da9383e27778d5268533ba","datavalue":{"value":"ZFC","type":"string"},"datatype":"string"},"type":"statement","id":"Q3416111$CFD5C332-F0A7-47B1-9B6D-3EBA18F2403F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3849ab0d46c656100e05f01ddd9469234252480f","datavalue":{"value":{"entity-type":"item","numeric-id":1409303,"id":"Q1409303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$B7BBFA0A-7C66-47D5-9B18-EB0066E02B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$E5759439-5865-401D-8D91-ADB1B96C5E21","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":"Q3416111$6004825A-7C6E-4E06-9363-BE3B7C86763B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7bda2b44b9e61753f39ff32c2782510058a5b76","datavalue":{"value":"https://doi.org/10.2178/jsl/1164060452","type":"string"},"datatype":"url"},"type":"statement","id":"Q3416111$FA2DEECA-61B9-4D5C-B911-BB7E313FE39F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8622f67518b5b173a8810eb4c82b4d09372aa899","datavalue":{"value":"W2155997936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$C6AA36B6-2988-4D54-8CC1-FF74E00C957C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823dabb212918d0e765e8a638018a36dddedb37","datavalue":{"value":{"entity-type":"item","numeric-id":4332986,"id":"Q4332986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$7AF34453-B0D6-48E6-91B6-30371FEB1353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2928b084a83ad9ee42001f70943289e6ed19c2ef","datavalue":{"value":{"entity-type":"item","numeric-id":4425144,"id":"Q4425144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$9AF334EE-872D-4ABB-BD0A-A492D326B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979352c96340e8cbcd21d74fe5e244a3db188787","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$128A8C75-B03A-495F-B013-2B2997BB553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a6d6a5aa9959eb8126a863e68338ea6d61ab93","datavalue":{"value":{"entity-type":"item","numeric-id":4168916,"id":"Q4168916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3416111$985F1B81-6233-4E1F-AB2A-49D7FF7309AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35a524a8e64f361bb738d2db4f83d050b8cdad09","datavalue":{"value":"10.2178/JSL/1164060452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3416111$3D53D01E-4FCC-461C-A455-5182F23E215D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41c2421a8df4b2e5788da0577c2658044905377","datavalue":{"value":{"entity-type":"item","numeric-id":1049750,"id":"Q1049750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc0e228f6cd111877d5687ea58b93b282129304","datavalue":{"value":{"amount":"+0.8491783738136292","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416111$D7A6B7A0-D68A-4500-B293-5699BE9902A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89b0b34b0720122c69a6bc4cb39e7824b1ea57d","datavalue":{"value":{"entity-type":"item","numeric-id":4291741,"id":"Q4291741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e27152708e1cffe4f5d9f22f81da73b2d3d4f29","datavalue":{"value":{"amount":"+0.777167797088623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416111$42FC6484-FE72-4D83-AA23-5705F76FA80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ec990a6eb0dce7cec01bffd3252ed31a22a40","datavalue":{"value":{"entity-type":"item","numeric-id":4425144,"id":"Q4425144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0404081edc8eb38d827c5096aa42a8d79df41bf","datavalue":{"value":{"amount":"+0.7699644565582275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416111$662E7C5B-B4DB-4591-AC8A-0568F620E6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7dca6b99730b98bdcd03037fffb847a56ea44e","datavalue":{"value":{"entity-type":"item","numeric-id":3787974,"id":"Q3787974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e7d1d78cb7cceb5aca72448173dfb8bd2d86537","datavalue":{"value":{"amount":"+0.7699639797210693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416111$63BEE613-AF68-4B34-B62D-B2BEE7A7F026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2838ccccf38e0028db1679279e55a4da15c09600","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ccb52c78068989c3a3f3c61030fa44cce71085c","datavalue":{"value":{"amount":"+0.7655932307243347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3416111$A4F4496E-7FC0-4AD5-9CC4-22ABAD2435B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3416111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3416111"}}}}}