{"entities":{"Q3100244":{"pageid":3110959,"ns":120,"title":"Item:Q3100244","lastrevid":86477435,"modified":"2026-06-03T22:17:50Z","type":"item","id":"Q3100244","labels":{"en":{"language":"en","value":"Classical logic event calculus as answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5978023"}},"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":"Q3100244$5F583E4D-772A-4C75-A21E-6D45B6C8D1E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1307fb459943ee7293012a4b29d42a6a8a638bed","datavalue":{"value":"1226.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100244$E89C1612-516C-47E3-A03B-074095B2FA43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"705c9c5d3a5c6970817c5db0cbfa66d180e46194","datavalue":{"value":{"entity-type":"item","numeric-id":543595,"id":"Q543595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100244$E6119949-BF90-41BA-B9D3-B56A7283078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13b8b14037557abe343f2de5d905d2cdfe3ddb81","datavalue":{"value":{"entity-type":"item","numeric-id":2887085,"id":"Q2887085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100244$6126ABCF-A686-4D51-98F6-92B767825D62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e41089f084c402eced6627daeaaccc5646c70332","datavalue":{"value":{"time":"+2011-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100244$3ACAE973-3CCB-41C9-B01B-668B08B86E31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96fc19aa537b6240d0ce3c660073307274f16e47","datavalue":{"value":"https://www.mat.unical.it/ASPOCP08/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100244$F7BE1054-156A-4363-B0C1-9727D55AFFAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100244$54F0BE39-B107-4D75-8151-ED737530F06E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc87f0c88b5f46971d688b3364fd27ed98884ce8","datavalue":{"value":"5978023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100244$FF8F7741-8B33-4769-8F02-881583C5157A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f330fb0a96988399b2cad6e13eaac2b7823f0d","datavalue":{"value":"stable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100244$118498E3-C414-4B3F-93D6-201980A3736A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854e0eee0be3a6da03a231a69216a40df63e9391","datavalue":{"value":"first-order sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100244$51324BA0-9A51-41ED-B64F-A61A53EBE616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100244$292429E1-BAD4-4F05-8FB7-E706A291940D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1481b4cd151ce11f2469035952f28e35be80e503","datavalue":{"value":"\\(\\text{RASPL}^M\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3100244$381DD208-2BDD-44A3-BF4F-6B7F2FF9054D","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":"Q3100244$00E494C3-4E5C-43A5-AB65-77E888DA8215","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d4bcfc0d21d40fb0121c42673db346889db493a","datavalue":{"value":{"entity-type":"item","numeric-id":2887086,"id":"Q2887086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9635a4eecbbada5f108b35df8eeac658babea02e","datavalue":{"value":{"amount":"+0.8323853015899658","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":"Q3100244$14BDB590-5E8D-4063-AD3F-6CB6E2EC1002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88aabd0a40d6c1d7106f1182b7586d423954dfcc","datavalue":{"value":{"entity-type":"item","numeric-id":4930769,"id":"Q4930769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1596ef576a7faa0e244c48d3ce1c00381e7ad38","datavalue":{"value":{"amount":"+0.805388867855072","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":"Q3100244$38F45E3B-8D06-4C83-BD6A-3854CD9D8CA9","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":"e886431df1c19755e5aeae953c430f2345b48a94","datavalue":{"value":{"amount":"+0.7541717886924744","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":"Q3100244$76800AFD-46C3-40C5-8799-AC8E77FD2421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1ba2be37cc6a4a691d478328b4501fda6d1ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5101452,"id":"Q5101452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b95109a06d8e5cf2a9f32b6dd8ffd3ad5a2741","datavalue":{"value":{"amount":"+0.7521221041679382","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":"Q3100244$8677A4D0-D327-40E4-93C8-0E5E22D39810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b0070732133ea7ef32d51a53aa38a2b37e2ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4659506,"id":"Q4659506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dd300d2cde5d676e22f4449df723a95c17e292c","datavalue":{"value":{"amount":"+0.7447844743728638","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":"Q3100244$A0BBE3CA-0C29-4BE1-8E4E-A0B6AD466679","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical logic event calculus as answer set programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Classical_logic_event_calculus_as_answer_set_programming"}}}}}