{"entities":{"Q2363413":{"pageid":2374156,"ns":120,"title":"Item:Q2363413","lastrevid":72606828,"modified":"2026-04-14T06:03:06Z","type":"item","id":"Q2363413","labels":{"en":{"language":"en","value":"Completeness and decidability of general first-order logic (with a detour through the guarded fragment)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748697"}},"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":"Q2363413$26B9F340-1159-442E-88C2-A17C2F224FC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef5b4294e849d13245c981791b02727ebf4222c","datavalue":{"value":{"text":"Completeness and decidability of general first-order logic (with a detour through the guarded fragment)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363413$B2B960F4-6454-453B-AF71-5C42094622B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9429e21ef36c4cfd1a05c90bea64f347dd11df0c","datavalue":{"value":"1417.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$59EB1FC9-D542-41BE-A324-D1E6E7223817","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c4fc41e0193b05a18eced3ceac939577eb186f","datavalue":{"value":{"entity-type":"item","numeric-id":1333308,"id":"Q1333308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$81828E29-DBEF-4035-A48F-BDFA88AFA768","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$BCB3F7F5-BFFB-4F8C-A94C-7AD6AD207EC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-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":"Q2363413$A1F35B53-9522-4589-94C5-340957152AB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$37AA5AF3-45F4-4427-9DC8-47D7DCDF25BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$49A15324-A4DF-4E12-A875-BE3731C8A7F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"163c1c4c0893cb46ca93854271b81911ce1ec7ea","datavalue":{"value":"6748697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$26B3DA14-60C7-4AE9-9460-376D6528409A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9bcf2b7488654e1392f66a9ccf5674a8914caa","datavalue":{"value":"first-order quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363413$B21BA9AE-6E67-4C71-8EE9-001606E06A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363413$F6F7BB84-2747-4082-A8C9-26EA82B5AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde08868d8aee058242e6585fdc6bdf4fe908d7d","datavalue":{"value":"general semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363413$608712BD-508D-4FAB-AD26-3FBA932ED7F8","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":"Q2363413$20208168-5D20-4FFC-ABF0-BD07C0D2CAEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92b7f36b4ab765a9d3759810d2f3d4c8f06f28fb","datavalue":{"value":"https://doi.org/10.1007/s10992-016-9421-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363413$2C08093A-6FB7-4EED-A9D4-32B04629D3BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8f48493ba8c203dce8df1cc5d2de5a688ff6bed","datavalue":{"value":"W2592299919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$874963D8-DCF5-418D-96A5-0336FFDF0743","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55d8570a014b7669c1c719999f57927ca1b7412","datavalue":{"value":{"entity-type":"item","numeric-id":2363414,"id":"Q2363414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$1FA0781B-9398-48EE-9D4C-A66B195DDF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$59D430FF-C478-44E0-A247-AE8EFDBF940A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73ef649e37de0aaff9eb73ef43b5c66d9e310ec","datavalue":{"value":{"entity-type":"item","numeric-id":5414135,"id":"Q5414135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$01EE8C68-3800-4822-9F90-9C7801108103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$84C8E29C-4842-4FC0-A1C9-281415A8E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e32bf44a89a3518bdab99e59431c4ecc0020886","datavalue":{"value":{"entity-type":"item","numeric-id":3245361,"id":"Q3245361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$138617C4-D6B4-4212-B63D-42D4BF871502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363413$17A326E6-9D1E-434A-820F-C7C393B974C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"463643e44c1bbe353d9d02f5de44b95e144d584a","datavalue":{"value":"10.1007/S10992-016-9421-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363413$5D696B46-2E00-451D-A728-80FA0764E2F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3701d79943fc0924f0b20184354686f01463779","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf53b5922192e39fa222569e1de0eac42270b0d","datavalue":{"value":{"amount":"+0.8133042454719543","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":"Q2363413$D3EA45A5-0430-4026-88FC-EFA7C7D940AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59127b84627d93776ac99a559e39d19e81aa1b47","datavalue":{"value":{"entity-type":"item","numeric-id":2567341,"id":"Q2567341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec94fe92d47d6bf51b2f2b630f4d164713a6c41","datavalue":{"value":{"amount":"+0.8011509776115417","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":"Q2363413$ED02BE33-46E5-4B99-8C3A-559DD29C14AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbc1696578e74951632106c423907bfba23299","datavalue":{"value":{"entity-type":"item","numeric-id":4263155,"id":"Q4263155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d729294c06665e8d4cb7976c51e1fefed49af65e","datavalue":{"value":{"amount":"+0.7709134221076965","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":"Q2363413$189A0717-0067-4611-8E5E-700838BE7FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6315eb165d5e38eb8f5c3409cc596707ab9b88","datavalue":{"value":{"entity-type":"item","numeric-id":3638100,"id":"Q3638100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d729294c06665e8d4cb7976c51e1fefed49af65e","datavalue":{"value":{"amount":"+0.7709134221076965","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":"Q2363413$95666292-D3E6-40AD-8D26-502AC06FB3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae626a2a3dbd6771d18f6a7baa88280e4c92d5fd","datavalue":{"value":{"entity-type":"item","numeric-id":1909605,"id":"Q1909605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892b71309466e2a4d509353d86b5913403c54f4b","datavalue":{"value":{"amount":"+0.7614595293998718","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":"Q2363413$02D49448-B1F2-423F-87BB-6B703C513890","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness and decidability of general first-order logic (with a detour through the guarded fragment)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_and_decidability_of_general_first-order_logic_(with_a_detour_through_the_guarded_fragment)"}}}}}