{"entities":{"Q3087811":{"pageid":3098526,"ns":120,"title":"Item:Q3087811","lastrevid":79984940,"modified":"2026-05-06T15:10:22Z","type":"item","id":"Q3087811","labels":{"en":{"language":"en","value":"Guarded resolution for answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939854"}},"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":"Q3087811$853966C5-B454-4DA2-ADAA-D71E762570C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5de956d493c9a69662dc87ca000112d25af332d2","datavalue":{"value":{"text":"Guarded resolution for Answer Set Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087811$22FFC598-F5A4-4B17-BE81-106DE8C73868","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"deef80d3266fed40ef5d20947528308868765b3b","datavalue":{"value":"1223.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087811$6B315813-74E2-43EB-888D-FA2C0F06DAD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b60e3dd7f1d1ca72ebe7297c993e796e581b735e","datavalue":{"value":"10.1017/S1471068410000062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087811$ED40C4C9-BFB7-4806-8231-8D6684FE2F0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bff666a2845ea1366016230a34f1ca97820fb5d6","datavalue":{"value":{"entity-type":"item","numeric-id":388663,"id":"Q388663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087811$20A1E2B3-D8FA-4EA0-A5E4-735D6F98B01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dc30c87ee90e636f091c198a5b55721665c69f9","datavalue":{"value":{"entity-type":"item","numeric-id":698606,"id":"Q698606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087811$B3C23DD9-8FF7-4D6F-8400-F3CA7C793561","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":"Q3087811$DA975468-CF57-4F0B-BBAE-AF51F1E22374","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087811$E18322D2-0486-4656-82C0-72267B9E017A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087811$54960E1D-FBA5-4E34-8083-30D10426508B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087811$41E1079D-9D79-4247-BA0A-0714EBA08E8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5507b0bff4ec3dc78e553e26cfc2ae7274111b5e","datavalue":{"value":"5939854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087811$6DAB4BE7-F13F-4C18-838B-22A0A9D1641E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2c977320d50d02dd894099206ee111818d00869","datavalue":{"value":"guarded resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$C3A396A8-6A63-4F16-B793-1A63F459DCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0081b00891d4deea3003f5472987ba8da31282c","datavalue":{"value":"proof-theory for answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$6CE0D35A-ABA7-4087-A0D8-D49282B52209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a090b180b5aba17050a952eaed11decf39b11f8","datavalue":{"value":"positive unit resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$7BCB4323-502D-4191-97E1-D491C6184D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514035a6903ae70916feb4ad4ce19fcad545c10f","datavalue":{"value":"guarded atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$9766174A-C60C-4999-9884-27F4B736F5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7be513c9707e69aba7f1f15c1c465552015d0bb2","datavalue":{"value":"guarded Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$5ED34697-92E9-4F19-8EB3-DC343C166AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a59c7282a384d41aa4663f54aec942bc31d2ebe5","datavalue":{"value":"stable semantics of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$10F8CE47-08D2-4074-BBF6-5C046709D0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c21411db4673f9c2349f756da8ea871d079fda1","datavalue":{"value":"Gelfond-Lifschitz operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087811$06248E86-BC18-4CBC-B4BF-E0FA321C8944","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087811$18790A8F-C291-4704-9963-1D19B29458DD","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":"Q3087811$C0017D70-24D9-44D0-8691-5CF4A104046C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087811$ED9AA6AF-07C6-43DA-BCF3-1144A02B0236","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c30f8e1c0b9481275bce4e179f1b194df0bf20","datavalue":{"value":{"entity-type":"item","numeric-id":3464628,"id":"Q3464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f066a602bb44eebb29e9396abfceb119e9f495","datavalue":{"value":{"amount":"+0.8299442529678345","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":"Q3087811$D6932BDC-6470-49D8-840E-418D7BDBB4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e145db0f24db6b8a42eeb1a3cb6a1a1decb31a","datavalue":{"value":{"entity-type":"item","numeric-id":5473963,"id":"Q5473963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d5ab8a845dd9cc58fd0c51d90015a1c50446db9","datavalue":{"value":{"amount":"+0.7710120677947998","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":"Q3087811$89D3FA76-2070-4B6E-88D1-4FFC8A0E6CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b08b8445720112aa0d6c94060ee4d0ca59ccf2e3","datavalue":{"value":{"entity-type":"item","numeric-id":5504658,"id":"Q5504658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499da5e5d93ae1e4dbab76692f452792aeceff1f","datavalue":{"value":{"amount":"+0.7638444900512695","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":"Q3087811$AB29986A-572C-4304-80F8-EBBADF46F435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e1d68c667898d27c1d94a52bf4271524fc5891","datavalue":{"value":{"entity-type":"item","numeric-id":5277815,"id":"Q5277815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcfc5a30121fb66c38c39f61c1da64c94a4319cb","datavalue":{"value":{"amount":"+0.7562624216079712","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":"Q3087811$51A462CC-BDE0-4844-A61B-F5440F984890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8bbc78f273bc3db352608a5ecc97766108dc8ba","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b8d9568786dd47d488d1682219a7949b695320","datavalue":{"value":{"amount":"+0.7540841102600098","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":"Q3087811$E20C2B3F-326C-4F73-9FC0-57574E8D4895","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Guarded resolution for answer set programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Guarded_resolution_for_answer_set_programming"}}}}}