{"entities":{"Q4911144":{"pageid":6940723,"ns":120,"title":"Item:Q4911144","lastrevid":91589036,"modified":"2026-06-04T23:33:37Z","type":"item","id":"Q4911144","labels":{"en":{"language":"en","value":"Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6144694"}},"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":"Q4911144$2C834E83-59B2-481E-B7BC-B4A0775881AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"457e945be1fc1158295501468ecb9decbb6100c6","datavalue":{"value":{"text":"Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4911144$75C47733-8D38-458A-A34E-BC69D39740E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b3a7f1b86cba3930dcd978cb37f0d83fef5b7d0","datavalue":{"value":"1260.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911144$E32CE7F4-5F86-4101-8716-395099048C02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bffc031273df402f0011383f8d9351e15b461392","datavalue":{"value":"10.1017/S1471068412000257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911144$0F202207-EBFA-4757-B84C-607C079AE5F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5a97ca6b9aa27ff9ea5b9e923a7697bd4e8c876","datavalue":{"value":{"entity-type":"item","numeric-id":590982,"id":"Q590982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$BD8E8EC1-33E4-4834-B422-62629E6046CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96170c51c71d2249359c83919bdc82c0413ccbf2","datavalue":{"value":{"entity-type":"item","numeric-id":543598,"id":"Q543598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$6DBC5F0D-E4B0-418F-9D90-73CD7ECCD5BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cd7123f74d155fe14856de0656eddfe851c66cd","datavalue":{"value":{"entity-type":"item","numeric-id":202113,"id":"Q202113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$6D1F30B3-5C7F-40E2-AFB1-EBC92DB0A2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97b0d6fe2aa7aa4b8faa5e103f9d7757eab06fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2326743,"id":"Q2326743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$5AEF3F1D-791B-4F51-8627-9571860FA49F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$5140117F-970F-4F8B-B265-F5EA51A65AE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1483deb76331c5364b733486f7a01dd6a7f43ab5","datavalue":{"value":{"time":"+2013-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4911144$9408A283-45E3-433D-80F5-2157047BD748","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0739c102b207618dde975a4284259d689c9eceb","datavalue":{"value":"https://arxiv.org/abs/1210.2316","type":"string"},"datatype":"url"},"type":"statement","id":"Q4911144$0F92C8CA-4480-4905-8554-726BA66AE5B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911144$A028D269-8865-40EC-B268-CFCCBED78655","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c4b52a3ed3a12c5dd13cb99d39651c0efa5087d","datavalue":{"value":"6144694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911144$D671F3A3-618F-450F-A92F-EB4415E6E8CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb738c59bd69ca062534f6dd33dac742b97beb18","datavalue":{"value":"datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911144$5A15E2D6-7A9B-4490-976E-123A2EFB9D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911144$9C43A8F0-565B-4806-A2FD-E981484D299B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911144$17356599-3314-4921-A4B5-CEE167BA1485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4911144$8AEAA26B-3A20-4021-B027-C3DF7AF162A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7545068a6822e4e652ce3b521c8f6365c7bdc7b9","datavalue":{"value":{"entity-type":"item","numeric-id":31846,"id":"Q31846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$02217DBB-43A0-4CE5-8491-4BB2BB4D690E","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":"Q4911144$CF6D54B2-4D19-4576-A346-19EE2DECC912","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d282279ed10065867947540e184390ea8509d545","datavalue":{"value":{"entity-type":"item","numeric-id":1575132,"id":"Q1575132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$B2BC46E3-65EB-4D4C-82F2-3FAD0B5D3D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e090ea15ded718fe0410ea1e64ddce7b1f9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":2462646,"id":"Q2462646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$AF449CB1-D49E-45C0-97D1-B1FD7824A51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee887e27045cc2972dfe2a53782c3e858abdcc8","datavalue":{"value":{"entity-type":"item","numeric-id":1057666,"id":"Q1057666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$86A832ED-C1A5-470B-8500-4F03AC8977CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$AAA9E4A2-8C24-4010-A05C-EC333C5524BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$A90266BE-0730-41AB-8B1B-38CE18676146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367db1165ce65b83c0dabf24def36bf5bc324f31","datavalue":{"value":{"entity-type":"item","numeric-id":555772,"id":"Q555772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$64BA350C-14B4-432E-AC29-C8DF6150D67C","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":"Q4911144$C69F7237-96E8-4337-8799-7673C77B2D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc98b5ea571da7c681b47bcdd93e05357a78a51","datavalue":{"value":{"entity-type":"item","numeric-id":5277695,"id":"Q5277695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4911144$44B7AACD-0FB2-4E21-834E-F80DE7771EBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"460d5c93a6cc25075a57420e8040fafa50eb5a15","datavalue":{"value":"W2044118198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4911144$854BA1FB-1027-4E15-918E-5B9953A38874","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5a74274c0133306f5fdf3111723eee128a3915","datavalue":{"value":{"entity-type":"item","numeric-id":2912705,"id":"Q2912705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952ebc30dad8fa8d5f906e59d6726e3982289663","datavalue":{"value":{"amount":"+0.8667442798614502","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":"Q4911144$0DAAC8AD-FD95-4826-AF20-3E56A57CEB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad3229982dd45342a213554412a648e17118bddc","datavalue":{"value":{"entity-type":"item","numeric-id":5222877,"id":"Q5222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96d957f84f1036b2b4b25ce235a77f98f838a4cc","datavalue":{"value":{"amount":"+0.7973793745040894","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":"Q4911144$677AD16E-D421-4EE3-A9AF-49AB390B9953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba852cec636bb1488cac1f59597162480ee97ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4520177,"id":"Q4520177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b051fb89320744188ad7e3c2f2aee22577ceb37","datavalue":{"value":{"amount":"+0.7918436527252197","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":"Q4911144$8E2363A1-690C-4F0F-920B-C0A0E340D709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a503144c7d3c439edcac39d60684ffb1682bbed0","datavalue":{"value":{"entity-type":"item","numeric-id":2970309,"id":"Q2970309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aee70448ed57cecb1af632154c9055511138892c","datavalue":{"value":{"amount":"+0.7906344532966614","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":"Q4911144$FEDB0AC9-D37E-433D-B419-37726C7F294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"857587095930fca47499e4d154b019d16cf65a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5398295,"id":"Q5398295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c94bef2a8ceb5a12c309a1c7c7578b58ba9e14","datavalue":{"value":{"amount":"+0.7871688008308411","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":"Q4911144$7FCA779D-1FDF-4BED-8DE4-7067006CBAB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Disjunctive_Datalog_with_existential_quantifiers:_semantics,_decidability,_and_complexity_issues"}}}}}