{"entities":{"Q3564875":{"pageid":5594779,"ns":120,"title":"Item:Q3564875","lastrevid":80731445,"modified":"2026-05-06T16:52:25Z","type":"item","id":"Q3564875","labels":{"en":{"language":"en","value":"Untestable Properties Expressible with Four First-Order Quantifiers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712478"}},"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":"Q3564875$8D8C5C21-9CDE-45D5-9B5E-D1085EF69B65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"137af0c10e39a471011c3f4c70e1ea14172b8842","datavalue":{"value":{"text":"Untestable Properties Expressible with Four First-Order Quantifiers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564875$8C7CC544-0532-4481-BF5A-B27A66441C9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f043fc645b898a841b025ca94289fe280910939","datavalue":{"value":"1284.68311","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$0537535C-DCF7-4660-831E-0E95463C1BDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89640c5774846499406ce8021b0569d0891e86b6","datavalue":{"value":"10.1007/978-3-642-13089-2_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$8C7A2259-1D79-4872-A605-E82495CE6A45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b4c37f2e85790409f79f5597bed4025abaac0a","datavalue":{"value":{"entity-type":"item","numeric-id":440004,"id":"Q440004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564875$79DF4951-7FFC-4B36-877F-50895D6FCB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5710ae3d122eadf2e34158ad7eda191f540d598","datavalue":{"value":{"entity-type":"item","numeric-id":440005,"id":"Q440005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564875$A759D33E-C979-43ED-BCE2-68C73410236C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564875$5A45715F-AF8F-477A-B92F-D5A7AE696763","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564875$CF907F19-B9CB-453B-A426-179F8F07D16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$C1F86034-A1BD-46C1-81EC-C56811C3FAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$5A653895-5352-4E67-B418-933FFC388B4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1e19cc8e3339caa3ec4f54a937856ad0066db66","datavalue":{"value":"5712478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$0977E36C-FD27-4F23-B90F-2EE057440D0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564875$59E10400-1152-4A79-9E6D-BF186C05910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564875$347E6121-DA11-4C6E-92B1-33441C684AA8","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":"Q3564875$AB83FC66-BABF-4BEE-B3FE-7C91593B12C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c96bfc421664ca558c986890b50f262642bcea6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13089-2_28","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564875$CDF95C9E-3D88-4ABB-BE1C-2370BC179D38","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cde279faaed4472618cdb1914b8ba85fe9eed4ed","datavalue":{"value":"W1524313076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564875$18769185-5B46-4319-A83E-C3FD2A5B66BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af1358f54f4aa87ce7f34cc771707f86b7a222d","datavalue":{"value":{"entity-type":"item","numeric-id":440006,"id":"Q440006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42cfa57530fb35fe638acebb54eae993ada9644","datavalue":{"value":{"amount":"+0.85441244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$B97293C4-019B-44A8-A4CF-A2750D3D4B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f022b859ad77fdaf35f0c0788cafffc1d9557b","datavalue":{"value":{"entity-type":"item","numeric-id":3646124,"id":"Q3646124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1084873c092f116ce227973b7d595eda3c868bc","datavalue":{"value":{"amount":"+0.8532018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$DC8B12B8-7310-4A1C-9FFA-34C78EAB1A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bec58fbf136bc6dd129e53930f0af17ad99010c","datavalue":{"value":{"entity-type":"item","numeric-id":1902553,"id":"Q1902553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b1e8265ca1c0495fea90ce8c6be9b62bbcf72a","datavalue":{"value":{"amount":"+0.8509438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$D881CE0F-33B1-426E-A89E-4D2484CBF6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3e79a6175c639ed75d8b0aa9af52759c22e853","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d0f0ddc3854cc6f60b86254423eec154eb1fc9","datavalue":{"value":{"amount":"+0.8470724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$2ABC20EF-DC54-496E-B390-33867C8E400D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fcf63977c3246128e4453d5b9d5d523662ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":3985088,"id":"Q3985088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7883639b5f477b807537bb70c18c77c070182d06","datavalue":{"value":{"amount":"+0.8351984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$BABB4B75-55DE-425E-8F1B-8BA98269820C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8b96026b3aaba776273a3a5152542ec2bba6ae2","datavalue":{"value":{"entity-type":"item","numeric-id":5753927,"id":"Q5753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6828f63ef4ce1f5dd1e88c64641e5c0a563ad31b","datavalue":{"value":{"amount":"+0.8263333","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$B0EF966B-01D8-427C-A104-EEE22281589F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb529d011f0c66e0211883fb24787434afed46b7","datavalue":{"value":{"entity-type":"item","numeric-id":3329437,"id":"Q3329437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d55b8599ef45a13cc3008d3b7b77c6343764ab","datavalue":{"value":{"amount":"+0.8258956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$EB962F5B-C965-45EB-A8F9-7F6FC7AD833C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fde2cad1da01d3161843eb9480d101d99a8044","datavalue":{"value":{"entity-type":"item","numeric-id":1124586,"id":"Q1124586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bcec65bef4955e2d466a1bd0d1994d23062cb4","datavalue":{"value":{"amount":"+0.8242021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$5108FC81-4EFE-435C-8FFA-205EC8B524ED","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":"6a1343da7f7ad3f7541abc9b90e915be951e49ee","datavalue":{"value":{"amount":"+0.82323223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$90C1764E-B226-4D5D-9781-3E7A4FE4E148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e29546be3e8574f3e84170fe92d3503baa4a059","datavalue":{"value":{"entity-type":"item","numeric-id":4866422,"id":"Q4866422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1689c380312dd7762dd598d2c6913c03ef72a27d","datavalue":{"value":{"amount":"+0.82296175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3564875$1FAA5243-5B44-4192-9262-7E3620127D3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Untestable Properties Expressible with Four First-Order Quantifiers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Untestable_Properties_Expressible_with_Four_First-Order_Quantifiers"}}}}}