{"entities":{"Q3146303":{"pageid":3157019,"ns":120,"title":"Item:Q3146303","lastrevid":47984146,"modified":"2026-01-03T06:37:57Z","type":"item","id":"Q3146303","labels":{"en":{"language":"en","value":"Extending CTL with Actions and Real Time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799542"}},"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":"Q3146303$BCE75A65-A818-4C8E-A075-BB9FE4775055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7228dca244ce95fadd785697b0101e1f6f2d43db","datavalue":{"value":{"text":"Extending CTL with Actions and Real Time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146303$AD1476BF-0398-4744-83F2-3D7BD9ED2416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9721d26857a2bef99bc8c99ae242a93c89aa1d3d","datavalue":{"value":"1001.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$F49C8DA6-4C08-423F-A91F-C8EB4FA2CBE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c3f057a0d48aefd1923ddd9c2ff240d2a12acd4","datavalue":{"value":{"entity-type":"item","numeric-id":896907,"id":"Q896907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146303$C009540C-D7E3-41AA-9F81-CFEE627E0D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b144d55ee99140a544281df87e2e5426af265a6b","datavalue":{"value":{"entity-type":"item","numeric-id":1353965,"id":"Q1353965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146303$471C7D7D-DC6F-4A44-88FA-D7CFD9830425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3146303$C9CD4353-116F-4D81-A572-E890EC62C9CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"286eec5bc7bf90772fb4ec6422c9fabc53758df7","datavalue":{"value":"https://semanticscholar.org/paper/0597eadbca45d2d0b324f7d50b75af30a19f2f18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146303$55D21143-0744-42A7-9F5F-EB95B5A6F279","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$F1375B0B-B151-4FC7-ACEF-B9A255978133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$6EDC8E96-F154-4180-99F2-82E3AAB97972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ce11e1eaa3d87b832fe2d7cf78131170eaea285","datavalue":{"value":"1799542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$223180F5-A99D-495C-9AD3-4E9B6E03E5F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2406b8a1a23eaa44b622268ae071fa0f4e018a02","datavalue":{"value":"logic ATCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146303$2F25F7DF-31FC-4390-877C-ECC7A68705F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1e1175cc5e5aa6ea4394356a2363282a39651d2","datavalue":{"value":"model checking models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146303$E7C7E0AB-C15F-44EA-954E-4BBE24EEEC68","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146303$3AA3AEF2-873A-4E49-9262-A1B2AB5AF79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"141bba581cf8fe41a0a2da033b6dcf185c0624c0","datavalue":{"value":{"entity-type":"item","numeric-id":19089,"id":"Q19089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146303$3A8C597B-235B-4C66-95A3-A1343FF0A9BF","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":"Q3146303$E9F1BFD8-2335-4D98-9042-458269EA48B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0c20a55d2eb98d52e2258647e598ed7269fae46","datavalue":{"value":"W2848887102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$C24F1A2F-2B6F-43D2-AD6B-9436813569B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"400749a95060a886aeae574560e3d18439e755fb","datavalue":{"value":"10.1093/LOGCOM/12.4.607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146303$EDACC995-A3E7-4DF6-A058-F23B2C714B3D","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":"Q3146303$F00F7D45-BF6C-40B1-AE18-40E99EA690E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf6fef831698be730698db965dcac503f8db739","datavalue":{"value":{"amount":"+0.7739779949188232","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":"Q3146303$557B89AA-56AD-4CD1-83F8-55B1F9B431EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39db03e2cf515bd41b470fb48106609845ec540d","datavalue":{"value":{"entity-type":"item","numeric-id":2476788,"id":"Q2476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfffc0930a2a9f1779b1d3cd011149fd002f0172","datavalue":{"value":{"amount":"+0.7689542770385742","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":"Q3146303$DA2299A9-50C3-4663-9701-B52CAEEF4971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf120a3531e23ee31563694eada91679c5b270","datavalue":{"value":{"entity-type":"item","numeric-id":3164837,"id":"Q3164837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1521e6bf4a4b6ca7a52698eb5733c762c82974b6","datavalue":{"value":{"amount":"+0.7678636312484741","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":"Q3146303$DD8FA068-C2CF-4CE1-95EA-7F3DFB2BF9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05269778da7d1af859ed57cf9d04803309e2d87","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f70359ddbe02b20b6987ee85dd4dddf4cfd6f8","datavalue":{"value":{"amount":"+0.7657049298286438","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":"Q3146303$CEC65D70-6F1B-456B-A168-101FF39EFD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ab08187b588e55415a9e841ab022752e94302f7","datavalue":{"value":{"entity-type":"item","numeric-id":3430687,"id":"Q3430687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f104982ebad15dfd144edbb100e5b857dce57a85","datavalue":{"value":{"amount":"+0.7652046084403992","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":"Q3146303$6930AE79-F519-4388-B928-604A619AAECC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146303","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146303"}}}}}