{"entities":{"Q3003250":{"pageid":3013974,"ns":120,"title":"Item:Q3003250","lastrevid":51254030,"modified":"2026-01-17T11:29:31Z","type":"item","id":"Q3003250","labels":{"en":{"language":"en","value":"Stepping through an answer-set program"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899990"}},"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":"Q3003250$770FD1CE-92B5-4C67-8BFE-374C662ABFD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80260526afe2b6e24f23aeabc940a0c849ecd8f7","datavalue":{"value":{"text":"Stepping through an Answer-Set Program","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003250$F064FBB8-DF5D-4CFD-A93F-E940EBC0C0C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8dc9f7a4be6f05e13e2e40a53dd2327166f7bd7","datavalue":{"value":"1327.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003250$4A4F94DD-9DCA-48FE-9BDB-08607F8119C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8aa8d5679601ff643113431ef8142ba644feba4c","datavalue":{"value":"10.1007/978-3-642-20895-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003250$206A3D23-E435-4CE9-9989-4E4EB230AC12","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04bec051d04b3524f670265dcce325e94b5275b8","datavalue":{"value":{"entity-type":"item","numeric-id":2296764,"id":"Q2296764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003250$456AA166-C409-4FC6-B360-08457F3E3DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1594aa9f98b4649e176f08ac80a733ad89e27147","datavalue":{"value":{"entity-type":"item","numeric-id":1748466,"id":"Q1748466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003250$FB54DF1F-61B5-417A-9761-D8F26515D0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003250$D4C6F2DA-446C-4C10-A9D4-F001FA045F35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003250$FF68142D-B64C-45EF-ACE8-D9F964A00352","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003250$FC7B5A9D-01BF-4FCD-872A-B2C205DA61A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003250$DAA12F1D-7452-47F4-9C9A-D9040A39E129","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e554d33fe6f62f49d7cb52f90560205ed80fa69","datavalue":{"value":"5899990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003250$19C9A378-5C14-4EC0-977B-ACB1337F80C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003250$72733ABB-4889-4D99-B9A3-F7CA24B6A0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003250$9425F860-E761-4CCE-93D6-D25BA282049C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003250$04E20846-FBFB-4A62-AEC6-E86045FCDD32","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":"Q3003250$D7487CA1-795C-4EE3-A121-F9DD90665C10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb8d377fb99a15727d44687cd264a71703109d7a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20895-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003250$49CC275A-83E4-4A39-80B9-D1DDD050F942","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d49e63b7f3296402e06265bf317878680b01db5e","datavalue":{"value":"W1555658928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003250$442B1E85-8E79-46BE-BB74-9B707A1F7841","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"018a7c57d515aae57cc1687dd54e640ce212e8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4603428,"id":"Q4603428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78049ad35dc3254ede6ad396d099d83fdfc6281d","datavalue":{"value":{"amount":"+0.9427294731140136","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":"Q3003250$764ADF31-9398-4D4C-AE5A-C5B4B85460EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5dba2e39fe73b6af982008bda38097a3fe7752","datavalue":{"value":{"entity-type":"item","numeric-id":3449213,"id":"Q3449213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc50ddb9258a07ff15bd2a125e37e30dc236863","datavalue":{"value":{"amount":"+0.8332682251930237","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":"Q3003250$7A0E4A12-E6A0-4DCB-948A-CF4E48F66FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c8a8c00d579390d967c41b27440b2109c77012","datavalue":{"value":{"entity-type":"item","numeric-id":2900544,"id":"Q2900544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ac39b9c4406f5eedf73c7ae430c81148827fb3e","datavalue":{"value":{"amount":"+0.820475697517395","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":"Q3003250$09D79B46-AE81-4890-B1BF-E3CED5716713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72f35889e2cfc6784d0372117fb01a176166b96","datavalue":{"value":{"entity-type":"item","numeric-id":5197755,"id":"Q5197755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563f79fa0380540ce7ea96c145a220e59b010b89","datavalue":{"value":{"amount":"+0.7916313409805298","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":"Q3003250$94B56321-D3E5-4565-B5DB-62B60C76384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0d5a4e9e40b0c787243c2a69bd4fb9acc74918","datavalue":{"value":{"entity-type":"item","numeric-id":5425396,"id":"Q5425396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2683bef4db001ca98323413cf0a811c71911ea4f","datavalue":{"value":{"amount":"+0.78938889503479","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":"Q3003250$FE2AB43E-0E0F-4C5E-8AEC-162DF93028DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003250"}}}}}