{"entities":{"Q2849489":{"pageid":2860209,"ns":120,"title":"Item:Q2849489","lastrevid":51829436,"modified":"2026-01-20T06:13:24Z","type":"item","id":"Q2849489","labels":{"en":{"language":"en","value":"Verification of Golog programs over description logic actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210139"}},"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":"Q2849489$588B7B42-51E0-4ABD-8B4F-4CA3F9DE18BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e533e3e3f11d1cd1c03666a88ce67c167e0548a7","datavalue":{"value":{"text":"Verification of Golog Programs over Description Logic Actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849489$E358B080-E313-4136-9740-36C19EB12774","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"039c2fc5695af8ea1eb380f7cb9910ed61aa1ba1","datavalue":{"value":"1398.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$C7225EC5-737F-477F-8774-FE97D2C12C47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089eab7182610b17a0f3006058a25c9ff4ba9d4c","datavalue":{"value":"10.1007/978-3-642-40885-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$B2ACE53B-4ABD-4F2F-BFF9-EA29FA6EF2DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849489$A8FA77DE-FD3F-40FA-9450-ADAADBC84E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"466b9d34079f3fa2296e9005e3ceaa48e4f3be4b","datavalue":{"value":{"entity-type":"item","numeric-id":1687558,"id":"Q1687558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849489$70C1CC6A-5FC7-493E-8628-C749F117B3D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849489$BAC92316-CBDE-4E72-A712-8333EF45F148","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849489$82B7AD3D-0381-4B06-BB93-6D987F41BBD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$B1167FEE-8384-42C1-B8D6-CB941D295B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$18518C81-E112-44AA-AFA4-5CDABDCEF88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$BDCB78EC-0559-44D1-B807-CADF4F8D86CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce80c7d086363aa84131f18f4a0e1c0fda14806b","datavalue":{"value":"6210139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$DCDBCABF-A41D-4201-8AF7-A0EE89946243","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":"Q2849489$DEB86B7A-BB9C-45E8-B53D-7C2561301435","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba4438b31019bf3a08a7a17d92b95e699108b51e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-40885-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849489$93B8E89A-C570-4BF8-B3AF-17FADBFDD51C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6a234f0ee5f768f08c0bd428dfe7c79b00feb9e","datavalue":{"value":"W49077064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849489$6DBA1728-D17A-406E-BFE1-B27A285C7B09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b79a72df44270d2dccf37be86efdc18619f9b576","datavalue":{"value":{"entity-type":"item","numeric-id":5283053,"id":"Q5283053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e0106e9543184e92dc61827f990187adeabe55","datavalue":{"value":{"amount":"+0.8768011927604675","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":"Q2849489$91D71AB1-BCB0-421E-8EF8-343F168DCEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b59804b4fe80f5ebcf244a67cb662fdef0682497","datavalue":{"value":{"entity-type":"item","numeric-id":1687559,"id":"Q1687559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a188c6640abeb1c052350958c2e04bf4023ded","datavalue":{"value":{"amount":"+0.8520611524581909","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":"Q2849489$4137BF0B-3B9C-479B-A788-984C808CFD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a95ea24d618f16233d8def8c6b594a61491b73","datavalue":{"value":{"entity-type":"item","numeric-id":2185468,"id":"Q2185468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988f43b26b2e57c3c3f1634823a3a4c2477c338c","datavalue":{"value":{"amount":"+0.8284542560577393","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":"Q2849489$DDB04EC0-FAF5-4E5B-B64F-FF1CF35D619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"346561a1b3646a9c4fee537d580e168878444d95","datavalue":{"value":{"entity-type":"item","numeric-id":2999222,"id":"Q2999222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c82ca3cbfaa229b119d7576c66425e94f997801","datavalue":{"value":{"amount":"+0.828389585018158","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":"Q2849489$DEA1F52D-C880-4C09-9711-274D1F509597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14f1b02de7529e52af294073ad0e83d67b88bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2999106,"id":"Q2999106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe57bff577b8c1dfb0f977a55988c4e4ac9e7627","datavalue":{"value":{"amount":"+0.8246855139732361","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":"Q2849489$1D7AD23B-E004-4A84-914E-C1ADCA2E3443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849489"}}}}}