{"entities":{"Q4659506":{"pageid":6689087,"ns":120,"title":"Item:Q4659506","lastrevid":48441376,"modified":"2026-01-04T19:59:36Z","type":"item","id":"Q4659506","labels":{"en":{"language":"en","value":"Event Calculus Reasoning Through Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2147842"}},"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":"Q4659506$7B7DF24E-FDCE-49E7-A5A3-534547A4CC05","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9fd40a891ccc4da03024cc86bf1d19abaa16754","datavalue":{"value":{"text":"Event Calculus Reasoning Through Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4659506$B69960B1-A9D8-490F-B107-A4F988559F5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be878f1cfec08406311fbb3c0e527e322bc3e96","datavalue":{"value":"1062.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$273BC50F-03B2-4ADE-86CD-06AB19D01B54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e476c8e8245354757497966847b7f6b713dc5cfd","datavalue":{"value":{"entity-type":"item","numeric-id":2457609,"id":"Q2457609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4659506$77022FFA-22CB-485E-8D7D-DA365D89E0A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11b4b9e71888c8ae87efc4750955ed379903fb79","datavalue":{"value":{"time":"+2005-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4659506$B7DA34F5-A2FD-418D-938D-528E14400F33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dee0b5ce8e38751c7fb547f231694e4e184d70fb","datavalue":{"value":"https://semanticscholar.org/paper/a1b106ccca44ce6d202393923d0cf9423ef1a855","type":"string"},"datatype":"url"},"type":"statement","id":"Q4659506$5A92CCA1-3E0E-4C30-A530-29AD5A42BD2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$4A75C1B7-3528-4D47-8FD6-F0AC53BD4C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$7F919169-024E-43F7-81EC-4B32D78FFAF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6860520b8b1e7b694461eee96a97d366a1eebc","datavalue":{"value":"2147842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$132A0E79-5FE2-48EF-8019-EE92BDC29953","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adfdb816dadacf750427ea6b09f8da1ad8602a92","datavalue":{"value":"commonsense reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659506$D6AADDFB-429E-4E95-A1C3-95A84BACD342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4659506$045A728A-342E-4951-BEF4-7FC6E7D2508D","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":"Q4659506$92B86D54-A971-4CB5-9410-F367E2A262E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"956a13d28796df22662ed5a64c2d48307d817695","datavalue":{"value":"W2123120888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$F5476CF4-82B4-45F9-9FCC-72287DC1C640","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a73fc95f997cbdb2d74ec4fcdad80e9a269a6e2","datavalue":{"value":"10.1093/LOGCOM/14.5.703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4659506$6220366B-6A5E-4B33-85DB-D925C9E5177C","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":"Q4659506$FA562D1D-B4B5-4113-93D9-BA23BB1183C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d8e00cd79dea445d7cf1649f1346baf63db85f","datavalue":{"value":{"entity-type":"item","numeric-id":4659507,"id":"Q4659507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c89ade98cd4927cf0292b3b31d304c09dc1a56","datavalue":{"value":{"amount":"+0.8504834771156311","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":"Q4659506$1E9436C0-70D5-4154-8308-27A505BC047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4b374277bfb593b1cbbf07fb021c4727e9fb05","datavalue":{"value":{"entity-type":"item","numeric-id":4707774,"id":"Q4707774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9841ba3dad71b58849ec90148e661ff87828bdee","datavalue":{"value":{"amount":"+0.7896092534065247","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":"Q4659506$30016F62-8D4A-4798-88E8-203211BC77FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec184d70ebbc0bc066c59f106de90094b973abbf","datavalue":{"value":{"entity-type":"item","numeric-id":1855238,"id":"Q1855238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8b59fd7a3f46223acea9f84a85303d02294c5d","datavalue":{"value":{"amount":"+0.7687122225761414","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":"Q4659506$EDA51C4C-3B0E-4863-A880-8B5EE26FFEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3213aa7d7278f729b3c15367b78ed6b706ac01e3","datavalue":{"value":{"entity-type":"item","numeric-id":3084982,"id":"Q3084982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f151d2774e804584fa774c3b0d39de250c3f554","datavalue":{"value":{"amount":"+0.761988639831543","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":"Q4659506$EC523ED3-6157-4668-8B18-4969D75D04D2","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":"734ea9e3e920046d79c50112020ea043ac00449b","datavalue":{"value":{"amount":"+0.7594723105430603","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":"Q4659506$FCCEDDB3-DB7A-415C-A040-CA68774815D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4659506","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4659506"}}}}}