{"entities":{"Q4593070":{"pageid":6622655,"ns":120,"title":"Item:Q4593070","lastrevid":58286430,"modified":"2026-04-04T14:00:34Z","type":"item","id":"Q4593070","labels":{"en":{"language":"en","value":"Tabling with sound answer subsumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6804620"}},"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":"Q4593070$C79548E5-ECCF-4475-8749-82F8F82E7188","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d66f01096a8d9343953490620a04b9f17b9aa2b","datavalue":{"value":{"text":"Tabling with Sound Answer Subsumption","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593070$A9A5C9E7-A760-40FC-B12C-FA89708C5C67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51419e85561a977e6e04e4873bf785eafd260f43","datavalue":{"value":"1379.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593070$B212E2F7-FFA3-401E-ABD4-E2B09A02AEF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ff205993c9fa7013724716d07c2fc3782151d23","datavalue":{"value":"10.1017/S147106841600048X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593070$2C3625D9-9C30-417B-82BD-3BDA8812989E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de6e1d710dcb5a8e16b18c33b6380c0b390a0639","datavalue":{"value":{"entity-type":"item","numeric-id":4593069,"id":"Q4593069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$30DB179F-36E3-4D2A-92E4-5F8659C5A5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd5a9cf1756627d591d8b5bea43e89f25fa377","datavalue":{"value":{"entity-type":"item","numeric-id":265822,"id":"Q265822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$819101D6-DCF0-4C2E-B59F-5594DE5E93F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9cf2159c462839bd793bce6cdd693980bc0f2af","datavalue":{"value":{"entity-type":"item","numeric-id":2441514,"id":"Q2441514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$414E73CF-9404-4724-8CB9-670E2349EBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9310327fb280e8510025a221163e66f379344f4","datavalue":{"value":{"entity-type":"item","numeric-id":487656,"id":"Q487656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$D4203DEA-B417-4D02-A74A-043F92E3AD14","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":"Q4593070$B9204FBE-06F5-4AEB-86D0-A917F33E9BFC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"643ded717d0ce40d496d15f1c6bbff7aeafb4a27","datavalue":{"value":{"time":"+2017-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593070$4E094A25-7631-4681-A645-83673DE04189","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1adb6fbde1f7ef194df7c0e03ead11b227d17eb","datavalue":{"value":"https://arxiv.org/abs/1608.00787","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593070$9F6E115B-6286-460D-ADB6-CD259FF3C3C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593070$EBFE3E2A-0F8C-4310-BDBF-CD9ADB898805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593070$9D420E50-A5FF-4B61-8A74-20CFA6B82D96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eeb4b11048b51aa0e90995451a66a09e0829e9df","datavalue":{"value":"6804620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593070$07E29AB7-4E8C-47EB-9324-7AAA47B898B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$A5C33201-4B51-45F2-8B5B-02E0EB2FED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddd83bae90edaa4809b14b7da53fadd4073532b1","datavalue":{"value":"answer subsumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$060C32D2-A222-448C-A61A-1B4176AC5883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$CB64B819-0913-4F80-B25C-53E02672DE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$D80AB416-A5B8-4C64-AA69-6E27416621E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35714faae7583f03e7fecc5fa04af3c38f8d755","datavalue":{"value":"mode-directed tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$6CFD4A12-A89F-4150-AFF3-9157107C9B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$B8BAC2CC-10F8-47C9-B83A-88C1E26A63A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4593070$283E0932-53F5-4528-B6F1-E90DF6B7E55A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$8A6D5A64-006C-4787-9D46-6B96FFC4B78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4159e6648806f3f9d4482408c4e384586b151fd1","datavalue":{"value":{"entity-type":"item","numeric-id":19012,"id":"Q19012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$74D3B35C-4973-4C72-95EE-B0791A713A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6822c0fadd26857cbbb97c326b16e308cab2b87d","datavalue":{"value":{"entity-type":"item","numeric-id":19013,"id":"Q19013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$86C8B64A-3387-42BB-944F-2D9CE231D670","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":"Q4593070$212ED753-F070-4AEC-A4BF-D581661F2A7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b8f2843a7242ba011aa6e7f33280202a937137","datavalue":{"value":{"entity-type":"item","numeric-id":4738112,"id":"Q4738112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$85344022-DAA2-4617-9AF2-4468E980345A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$0475739A-340C-4A59-8BC7-FBC69C758E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8097640b1f4ba9eec43837bd81d298e8358613","datavalue":{"value":{"entity-type":"item","numeric-id":810029,"id":"Q810029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$8081FFC7-750F-4B68-A1A0-1A23398BA48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$5AD503C3-20BB-4A06-ABF4-654C38CD26B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce973fb94bb1c7e17bec7452c2f943e4f111d46","datavalue":{"value":{"entity-type":"item","numeric-id":5768906,"id":"Q5768906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$F3D494CE-F271-426F-AFC8-3E61139B9236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1860b0031e2cbb9105661e4b1058c275782a39cf","datavalue":{"value":{"entity-type":"item","numeric-id":3135082,"id":"Q3135082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$D4B5AEFC-73AB-4B11-BF54-865FA3D1EB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$AC1B0424-DBAE-48B7-BE1B-CAD391B03A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"595c5bb45e886e183cf25289a91b08f2e48c3170","datavalue":{"value":{"entity-type":"item","numeric-id":1978007,"id":"Q1978007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$E051AD1D-2D8B-4C98-9206-1524CE724EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9dd8248290f696e1b24404045c010f655ff5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4930773,"id":"Q4930773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$97903548-2D28-46BC-A60B-B132A0892F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7107bf70a37ed3bdd9161ef8c909e6889509c96c","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$38719315-A4A0-4D8F-97F1-A8AFF90054D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb14a9edb4fc68e8c3cd820aa00d139e978dbfe","datavalue":{"value":{"entity-type":"item","numeric-id":2893099,"id":"Q2893099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593070$6B73FC51-7E09-44FB-BAA1-7C0863BCA515","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325cebb7308f495234d91b51ee9feae828b4654c","datavalue":{"value":{"entity-type":"item","numeric-id":4930773,"id":"Q4930773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47002c1b4782b4cb5802c56bb01d7d63de2e528e","datavalue":{"value":{"amount":"+0.8176251649856567","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":"Q4593070$CC15249F-C114-468D-AC29-678B14FD4D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0c906c8494991e586a155b65885a44a446bd24","datavalue":{"value":{"entity-type":"item","numeric-id":5437650,"id":"Q5437650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fba4413b26ce860d7d2e6101f080cc393c7cd40d","datavalue":{"value":{"amount":"+0.8081980347633362","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":"Q4593070$B6EC1A3A-701B-47BE-804A-D56733D1B421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d1162072153af2fb03b26e7724d0e4a5c554959","datavalue":{"value":{"entity-type":"item","numeric-id":4494318,"id":"Q4494318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5272e2a200a4605dec2a42bf7507810351b54481","datavalue":{"value":{"amount":"+0.7873345017433167","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":"Q4593070$EA6F7DAF-D1F1-490E-B737-310B3FAF3061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54e8d646add820942d9b8a27e9f53f60e177bea","datavalue":{"value":{"entity-type":"item","numeric-id":4259968,"id":"Q4259968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5272e2a200a4605dec2a42bf7507810351b54481","datavalue":{"value":{"amount":"+0.7873345017433167","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":"Q4593070$04CC22F6-F39B-4DE1-9AAD-15CD48DE623E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6977a016ab51e42a7fdc6367bd2a4a52767f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5738911,"id":"Q5738911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b79c9e7cf765557e90a8c6c6343b8ec7199281f","datavalue":{"value":{"amount":"+0.7686894536018372","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":"Q4593070$60933CBA-6BAD-4056-B81B-F6D0045F8E48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593070","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593070"}}}}}