{"entities":{"Q2999222":{"pageid":3009946,"ns":120,"title":"Item:Q2999222","lastrevid":51242615,"modified":"2026-01-17T10:12:50Z","type":"item","id":"Q2999222","labels":{"en":{"language":"en","value":"On the verification of very expressive temporal properties of non-terminating Golog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887338"}},"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":"Q2999222$3AA55849-F141-45F9-ACAB-17009C1946BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ec41604f2dc76022c4e3898d87135a73caf4de4","datavalue":{"value":"1211.68399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$0FF9F57F-F4A2-48F3-AE99-1BEF133362D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a10606508c008c3cab63182fd118f95a4b5b8804","datavalue":{"value":"10.3233/978-1-60750-606-5-887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$8B11EA20-B3B6-487B-8DC1-14A6DE0158FA","rank":"normal"}],"P16":[{"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":"Q2999222$8A3DC81C-889E-448F-953C-56B8C6956A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"742272dbf7eb66f05ced46d0156e2c99b4a41150","datavalue":{"value":{"entity-type":"item","numeric-id":543585,"id":"Q543585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999222$1C18672A-D89D-4E05-BE21-7ECD117A88FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999222$B257949D-BA9B-4E24-853D-0AC6A26FAA5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$3407B771-67A6-4002-A327-4BE2911C0E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$46DE186D-20EE-4E56-A10E-FCC530CC3258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$4596E045-2A12-4321-A278-B2885499E7F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ab7c96af7d5573dc4c74465defeb16d7af20480","datavalue":{"value":"5887338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999222$10E01EC6-20E5-418D-8296-68107C315736","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29bda2af91dca1aa0439166a73b51220c6f30159","datavalue":{"value":{"entity-type":"item","numeric-id":14449,"id":"Q14449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999222$E279D319-070A-45BF-9F99-128E65A47FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999222$9B275BD3-2CBA-4143-9A7A-06A87C8AD13C","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":"Q2999222$4259383A-B9CF-428A-BF3E-248600C4D091","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":"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":"Q2999222$53E0C05F-4088-488B-B97E-2354E166660A","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":"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":"Q2999222$B88DF76C-2812-45E2-9A8B-8F0EACA7CBDD","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":"3aa3f27bd82ca91657e9511636d4523801dbb4cc","datavalue":{"value":{"amount":"+0.8227403163909912","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":"Q2999222$05D50EC9-23A8-440E-919E-937B9297B223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d36e2d16bcaabdd5708aee4865e5131d3b93f9","datavalue":{"value":{"entity-type":"item","numeric-id":2188782,"id":"Q2188782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78498c55df4029d599be90955c2ecf99485d696a","datavalue":{"value":{"amount":"+0.8203169107437134","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":"Q2999222$7D7E748E-3E5D-4844-98B2-FDC24E07695D","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":"2e6b9621416039b665cc42d43ed53ff7be71e480","datavalue":{"value":{"amount":"+0.7858302593231201","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":"Q2999222$50A69C5C-B89D-4583-8D02-B4658D6518D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999222"}}}}}