{"entities":{"Q3304094":{"pageid":3314802,"ns":120,"title":"Item:Q3304094","lastrevid":53785931,"modified":"2026-01-25T17:30:01Z","type":"item","id":"Q3304094","labels":{"en":{"language":"en","value":"The language of epistemic specifications (refined) including a prototype solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228391"}},"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":"Q3304094$87CE9B88-A5EE-46E3-B9DB-6041157DB044","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eac63bdb72e5eb690bf98bc4e05e79d21d63f560","datavalue":{"value":{"text":"The language of epistemic specifications (refined) including a prototype solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3304094$BADD8C28-00A0-485E-8A40-8BD9F84396FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5218cc4b33e50d19ee8c15bf5638900333831eb5","datavalue":{"value":"1489.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$77E1B1CA-7C08-4B89-9B9C-755964BFCBF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3304094$99B940E1-3A88-4328-AB14-F9F23E16C390","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$C7F2556C-7937-4B6F-B006-8BA0DC4313F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$0FC224F8-597B-4CD8-BA0A-44BAD264CEE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e56372d5971108b269367595b2755438f65795f6","datavalue":{"value":"7228391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$243659B3-1B3B-41AC-8B3D-8647825CD337","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfe13c6158bfd4791767acfdc5e4eae69c021c04","datavalue":{"value":"epistemic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$0483738B-7376-452D-A34D-4743F885B461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488b7a78c7520d335b7e2abeac4ebc297f98bc6","datavalue":{"value":"epistemic logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$3FC2C502-90E5-4BE2-9F34-42FFC7907DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$517AB0B3-AB29-4AE4-B047-7C5C354DA803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2016811a4650545c1c2df5421b9b1cd116d8de68","datavalue":{"value":"introspective reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$270EE24B-B77E-4814-98AF-EA9C6716587E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5ff802b18f7f4887bcfac7118476e4d4ed8b00","datavalue":{"value":"answer set programming extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$630DB073-A9C0-4CCA-881A-9AC6B1B310D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4cf6a87b7550e13fbf6d441afde119136c0f400","datavalue":{"value":"conformant planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$9C832453-6272-4A26-89A8-2FA80B9A8580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44aa2c3f8ebd889eeab236dfee4bdb6941ee7b2","datavalue":{"value":"sorted signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$8B4CF2A5-2A97-4249-BCFD-CCDEE22750D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fce1055ac3f01f1dfbcae6275a32af797f53ed7","datavalue":{"value":"rule safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$4EC4B6DD-DA94-4F29-B275-0A693CBCA999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$0F3FED36-D10D-4C74-B5A9-5D706E38DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3304094$DB88A945-E5A2-412A-8963-432D18E3F7BA","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":"Q3304094$063930BF-F4ED-4EFD-A17E-F267F0CD4B4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5010d8f10bfdabcc712922dc33ca2a76c3402b5","datavalue":{"value":"https://doi.org/10.1093/logcom/exv065","type":"string"},"datatype":"url"},"type":"statement","id":"Q3304094$F2761D66-4C05-4F5A-8C79-D5DECAE40DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b40501c86cf7ffe4cc06f9018d004499d9101a32","datavalue":{"value":"W2468539056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$DB947B2E-B07D-4DD3-B7A1-DB76676E2693","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf9445bd33983d36d36fc7bb81b491195bb1ecb9","datavalue":{"value":"10.1093/LOGCOM/EXV065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3304094$72FCCB85-A54F-4E58-BA14-BD0EEE98F527","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3304094$65F675D1-7159-4844-B285-BEDC77132677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0360e9490efa318357df059099eaf4ea0ec08f2f","datavalue":{"value":{"entity-type":"item","numeric-id":3003265,"id":"Q3003265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e19f8dc2ad074cb04e9eeba2acbe5c8850a478fd","datavalue":{"value":{"amount":"+0.8254541754722595","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":"Q3304094$7F2F3995-EF1E-441E-ADE7-F6B6718088F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c2550a54e9255d7dc6d058c8e35d0b2b5cd8c1","datavalue":{"value":{"entity-type":"item","numeric-id":2307335,"id":"Q2307335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e221c5ee146d8546caf2c64dbbde9131e2482b79","datavalue":{"value":{"amount":"+0.7741535902023315","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":"Q3304094$05F51212-A15C-4253-9ECA-BFA1EA9BD9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77f27401432839b01ee7276d0430abf4a757dde6","datavalue":{"value":{"entity-type":"item","numeric-id":3001928,"id":"Q3001928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8535a758a83e52849c98823bddeefac7c407b80b","datavalue":{"value":{"amount":"+0.7666627168655396","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":"Q3304094$891059BB-596B-46D2-B26F-6088E42F7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e4ee7fa119905d482b6ccf75d996d381ac6ddd","datavalue":{"value":{"entity-type":"item","numeric-id":2317970,"id":"Q2317970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43c84632e899a50146a664be2b7eaaebbd3b4070","datavalue":{"value":{"amount":"+0.7592735886573792","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":"Q3304094$8FF20E5E-61E3-4CF7-A023-46695637C944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fb0db5f0455541e5dd920424c056ea839628df","datavalue":{"value":{"entity-type":"item","numeric-id":5140019,"id":"Q5140019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5512daa19ddb152b71c2e452c1ed3d63c7810c25","datavalue":{"value":{"amount":"+0.7567301392555237","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":"Q3304094$B06D6555-7882-4E08-A936-37E42AD66422","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3304094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3304094"}}}}}