{"entities":{"Q5283053":{"pageid":7312627,"ns":120,"title":"Item:Q5283053","lastrevid":52858529,"modified":"2026-01-23T16:04:00Z","type":"item","id":"Q5283053","labels":{"en":{"language":"en","value":"Verifying CTL\\(^\\ast\\) properties of \\textsc{Golog} programs over local-effect actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748013"}},"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":"Q5283053$A002B086-50ED-4A59-A6A4-82154D314E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab74572de9330f99d316d4a44b64706b2e5cf814","datavalue":{"value":"1366.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283053$27488378-8EAC-4B6A-9313-45E59556ED4C","rank":"normal"}],"P16":[{"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":"Q5283053$23106B72-E15E-4ED3-B094-93A2F4A595FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca481f678c52e55e646de00dcdeb87a46f7fab23","datavalue":{"value":{"entity-type":"item","numeric-id":1687557,"id":"Q1687557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283053$4BF01FB2-59EE-40F1-9121-45EF91E859BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283053$58E7F9BD-E765-474B-B3B1-FC4669656FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22a94574b60c10c4e564f474f5e594d645858724","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/37063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283053$A5393F48-D0C8-4F12-83EE-24C370E99C83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283053$EC24CF53-3CC1-4D2A-8E51-9603167F11A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283053$63CA11D0-A931-4D37-B3DE-E9F6B93362BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24343b728ec2eae1735b74918715b9ed5adca6eb","datavalue":{"value":"6748013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283053$D99108BF-9C62-4615-AE5D-BE43FE250F24","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":"Q5283053$B3AD4127-2EC9-434B-86B1-ECC6E98A4DD7","rank":"normal"}],"P1643":[{"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":"9bb33f43cf83ab06a535aab17c6a18473b0af990","datavalue":{"value":{"amount":"+0.879101574420929","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":"Q5283053$059A2C86-20C8-48B1-B7D2-3C455992C6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd521e012a6f822bf1bf5982369f28b6830b80f","datavalue":{"value":{"entity-type":"item","numeric-id":2849489,"id":"Q2849489"},"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":"Q5283053$61C30E34-569B-4E90-BB15-3392F453DCC5","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":"6826222dcb4487de67a7bf8cb7a0c0372495d181","datavalue":{"value":{"amount":"+0.8766298294067383","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":"Q5283053$0A8F302C-52CC-492C-8C87-F3352F8AE6BC","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":"a77d7e0a596a623490b2061903b26636e78f83d3","datavalue":{"value":{"amount":"+0.7852575182914734","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":"Q5283053$F48D1A57-5EFE-447C-94DE-D3FEF7494BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460b07540fcfdcb48fa0d0f780b74a9f0e860cd","datavalue":{"value":{"entity-type":"item","numeric-id":4576210,"id":"Q4576210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12199800e978e39c58b68cf21b0e49926b1095b5","datavalue":{"value":{"amount":"+0.7742516994476318","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":"Q5283053$609C8B56-437E-4E10-BBA3-F979CA1EE482","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283053"}}}}}