{"entities":{"Q4934025":{"pageid":6963607,"ns":120,"title":"Item:Q4934025","lastrevid":47431837,"modified":"2026-01-01T17:58:19Z","type":"item","id":"Q4934025","labels":{"en":{"language":"en","value":"The ground-negative fragment of first-order logic is -complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389452"}},"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":"Q4934025$D71DC092-28C2-4E7E-B0AA-F5B966BC6C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48ffa614db48ff08e9bf5726867f904050ff8edd","datavalue":{"value":{"text":"The ground-negative fragment of first-order logic is -complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4934025$1991B780-A475-4517-B3EB-D9163A39BAE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58d885391ba7ab3a339b894567f1925ba363174a","datavalue":{"value":"0941.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$28C460DC-148E-45C4-8A74-86ACC9E7D674","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e193f732c6c36a0e3054457b6309c8dc438bf5e1","datavalue":{"value":"10.2307/2586615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$3249B158-C95E-4BA9-B61F-72D06F49EE74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab2dfee53655d9cc8087a652185465cb178825e","datavalue":{"value":{"entity-type":"item","numeric-id":229754,"id":"Q229754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934025$D33929C1-6746-4452-A61C-36F96419C28D","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":"Q4934025$665B68CD-D9C5-4535-B84B-750F4ED2A6D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934025$E70FD575-D095-4952-B7C8-ACAF76375FF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$94660321-F81D-4F09-8D1A-70B258D8E429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$A0216DF8-50DE-4F09-82CC-6504200EBAE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$E8CF512A-B471-4349-85D8-E2775270C170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1440aec0dd3e14898c00efd430d7ac8f76babdb","datavalue":{"value":"1389452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$0D01BEB0-EFC8-4CFB-B915-B66129A5815C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934025$72CB96F4-14AE-4147-844F-753521DB9DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa550887129be29c655a6599b9fd430de10fa6f","datavalue":{"value":"ground-negative formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934025$2FBEF8BC-C5D4-4B1B-893F-BBC736584835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934025$0984116F-F16B-4317-8A1F-0009790AC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c760d38ff2dcd9dee64c09961b823b9e52d72e6","datavalue":{"value":"ground-positive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934025$09AC1616-C638-40D4-B4C5-D842530D4334","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":"Q4934025$DA537834-D5C7-4D2A-8462-9D6AF702629A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c8266c04c5bfcf77d36bc96013a98d232e8af59","datavalue":{"value":"https://doi.org/10.2307/2586615","type":"string"},"datatype":"url"},"type":"statement","id":"Q4934025$A9B59E48-D0AB-474D-87B5-B7B626294EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4353a1eefdf726ae2f2b6613245af8b944f3c1ad","datavalue":{"value":"W2016284852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934025$5456D896-6A12-4A03-A9C2-15BF965E9EFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e88abc372dfaf224127922b14ddf547577ced7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3937380,"id":"Q3937380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934025$2571FCB7-2575-4984-B811-426458A380D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934025$590E47B1-6FB2-474B-8033-0AFEE28D046F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934025$F53F97D7-2237-4BA1-9F5D-66B596A9FE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a37da6481d3393a5a430cfe31bbfd3e1bb865a00","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934025$A2B24EF1-73AB-443D-B90F-0B29EBD06A6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad6c3f11628493164c3cbded25bb426e591bc42","datavalue":{"value":{"entity-type":"item","numeric-id":473196,"id":"Q473196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e0279620d00a8ca231fefa3d15258cadc983e01","datavalue":{"value":{"amount":"+0.7650583386421204","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":"Q4934025$A5EA497E-D1EA-4FEC-9CF4-FDE773B836A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2760208dd351718756671ead5d4fdd621cb12c","datavalue":{"value":{"entity-type":"item","numeric-id":1324497,"id":"Q1324497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de226937b2ec2d3965580099da1d2022634f916c","datavalue":{"value":{"amount":"+0.7557175755500793","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":"Q4934025$7F79298D-036C-4753-91FC-F88B84380498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe432c4cbedfe36f6f9d088a1b5998db47f081b","datavalue":{"value":{"entity-type":"item","numeric-id":4943858,"id":"Q4943858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c98aa0409b5888f5d25056cd2451cec073b2fa9d","datavalue":{"value":{"amount":"+0.7485196590423584","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":"Q4934025$8408DF61-6ABF-4F0A-9CBF-EE2C3F856FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73793be0a95da6de4f04d8f8ea633b7f650f0124","datavalue":{"value":{"amount":"+0.7371058464050293","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":"Q4934025$5A7A36B3-74F8-4ABB-803B-6F3089F08745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386fb16dce457e5a3ebc877fcd926d6bf66aaa36","datavalue":{"value":{"entity-type":"item","numeric-id":650893,"id":"Q650893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7029cf2a405db93f17fbe35cec715c552894ec24","datavalue":{"value":{"amount":"+0.7300080060958862","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":"Q4934025$AC80C4C8-1328-4177-840B-7BDC7F844E66","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934025"}}}}}