{"entities":{"Q5282994":{"pageid":7312568,"ns":120,"title":"Item:Q5282994","lastrevid":52858412,"modified":"2026-01-23T16:03:58Z","type":"item","id":"Q5282994","labels":{"en":{"language":"en","value":"LTL verification of online executions with sensing in bounded situation calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747918"}},"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":"Q5282994$902B1C23-C1B7-448C-85E4-4BB26AF91F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a2d1fbfbc9ecd9d02f210d1cf828fc6093b6225","datavalue":{"value":"1366.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282994$766A28D9-589E-4972-8AF9-F4740D8FB4BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282994$D0BA9006-3D6D-4350-99B4-C1E746F74E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0be5682c4e21003e3de0c831e7ec6722ab62a10","datavalue":{"value":{"entity-type":"item","numeric-id":286405,"id":"Q286405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282994$4688787B-0327-4F96-9926-84AA04E4F1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf67677eaff4672f3b9bae8634af9869b984df6","datavalue":{"value":{"entity-type":"item","numeric-id":286406,"id":"Q286406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282994$F3AF1243-DA90-4470-9248-E6626DC2DCBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dff9343e710f45c80e82db47a95421efc2eb9c79","datavalue":{"value":{"entity-type":"item","numeric-id":310088,"id":"Q310088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282994$2AAD9265-5F26-41AA-936C-13F9DB3A769F","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":"Q5282994$ABE93395-0472-41F3-9692-DD507428D0BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d540c1b5f8e39d82c11fbedd40f49d5ccc22a9f","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36968","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282994$7A140DF3-B8D1-400F-9DDA-01785E6DC3A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282994$3686059A-8C8F-4F1E-8EE5-A3CD5B2F3B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282994$15A7F9EA-764C-4C86-AD3A-0F71840737F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d43ed1ed8216e3413751eeb850e10c52ee2f13fb","datavalue":{"value":"6747918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282994$5EC58497-181D-4312-9EBC-CB8F0F28A5D5","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":"Q5282994$A8240F80-6176-4360-8830-057A50273FD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb41057b930d8fdda3df949744cd5f2ce3f5eec2","datavalue":{"value":{"entity-type":"item","numeric-id":310089,"id":"Q310089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a46950c8cf571930872cccd55f5793e4e69e602","datavalue":{"value":{"amount":"+0.8722191452980042","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":"Q5282994$EDA18927-ADA9-4AA0-8396-1C053CDD4981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d20f3f9ef54f0151169dfa81299c3477b9d6b249","datavalue":{"value":{"entity-type":"item","numeric-id":286407,"id":"Q286407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b0e54119d3c6dbfdb048d704d7fe4269686f320","datavalue":{"value":{"amount":"+0.8149476051330566","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":"Q5282994$8DADAC70-81BA-4921-84B9-02A1161F3420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c66f021a696aec652f863f099c5e61711c9adc","datavalue":{"value":{"entity-type":"item","numeric-id":5738914,"id":"Q5738914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3f7d85c30091ef7ef5ea8adfb3bcd18afe1f8c3","datavalue":{"value":{"amount":"+0.7458099126815796","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":"Q5282994$11D25295-2646-41D6-9825-D572327CB015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44dee0f22ff97caf302a6cca5e70082a303c56dd","datavalue":{"value":{"entity-type":"item","numeric-id":5940779,"id":"Q5940779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b26428bcf3056ededf69f15558f549e2e98fc14","datavalue":{"value":{"amount":"+0.7360113859176636","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":"Q5282994$E4531E79-99F6-4627-B542-28B999758233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe23ad1c14048083499c63efcc02f8a35334a54","datavalue":{"value":{"entity-type":"item","numeric-id":2716929,"id":"Q2716929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba435ab41788a1b13b108f78546f0ff7ef88d72","datavalue":{"value":{"amount":"+0.7322236895561218","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":"Q5282994$995A2A19-DF3C-43AD-A11A-227FB9EF68E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5282994","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5282994"}}}}}