{"entities":{"Q4933296":{"pageid":6962878,"ns":120,"title":"Item:Q4933296","lastrevid":58362675,"modified":"2026-04-04T21:37:52Z","type":"item","id":"Q4933296","labels":{"en":{"language":"en","value":"Extended computation tree logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798888"}},"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":"Q4933296$FE383C25-372D-4C4D-AE8E-BF2C31F35D91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5ff664a7fd71e5ab555dc7ff1aa8999a644abc0","datavalue":{"value":{"text":"Extended Computation Tree Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933296$638F6BF4-158B-45CA-9F81-266A0F4DC124","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44c7a3a2af98026bc235e182869bec7553dd775d","datavalue":{"value":"1306.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$567DAC78-F51E-4228-91EE-10CC6CD10623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b12d8f370a6b742618034439226770cf410c05e","datavalue":{"value":"10.1007/978-3-642-16242-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$DEFD7823-B129-447D-91DF-313781489D02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d663d8d042ad059afec50267b30fb7ea3a7627e","datavalue":{"value":{"entity-type":"item","numeric-id":3083625,"id":"Q3083625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$FBAC4240-6848-460E-B925-676A4F35997B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$ED8E596B-48DD-4ABD-8520-69606C0CFB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5e3d022de394d7241ddffa43602fc112cf57e9e","datavalue":{"value":{"entity-type":"item","numeric-id":266261,"id":"Q266261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$C4935C2A-4C2B-4AE2-A4C8-9C1FE47CCC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$C18A208E-C656-4C31-92BF-1E8D5A10F13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40462a16b9cc04098cc18dfa55292a866d944377","datavalue":{"value":{"entity-type":"item","numeric-id":386035,"id":"Q386035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$D3802364-1315-4AAC-B8B6-13DF898E6521","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933296$0775EA08-109A-43A2-A9CF-6774F54D76AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933296$8A6B5629-849A-49B4-B4F6-5D61538F587D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9c85c854fff8d0893e2e78f720538d191a13b64","datavalue":{"value":"https://arxiv.org/abs/1006.3709","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933296$7BCF6D03-72E9-481A-89E9-E08AFD4D20D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$A13F5E7D-8D72-4563-8C83-E000E78178E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$8FAF58EB-59DC-4C7D-BB3E-2238C043D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$69B8FEC3-F614-4355-B459-F5B0286A78A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d38889955cda8fca4a6feed9f8d7bb86ec2ab07b","datavalue":{"value":"5798888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$FEE4F89A-2A38-4979-82F3-B89C75F533FC","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":"Q4933296$7381B9FE-D8FB-4E8D-9569-87BB7A6B28F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2cf7ea94d6094cc78fabb1780f29871de0bf7ecb","datavalue":{"value":"W3123850752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933296$213B1466-ADE2-419A-933E-247BF308384D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2dea4bf48a1707381e1fd9b1f9afafaf05bb1e3","datavalue":{"value":{"amount":"+0.8649126291275024","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":"Q4933296$16468752-81B4-451E-B878-77C0D7029E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c047b2e7a6b97118518cc59f4a171e82b0186d","datavalue":{"value":{"entity-type":"item","numeric-id":1389439,"id":"Q1389439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50af938c5237a758adf6ca01b64228de2c53fb27","datavalue":{"value":{"amount":"+0.8363502025604248","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":"Q4933296$2BFAE591-E656-4A62-90BC-BA241AD6672B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c751198a8a50c07031f79a530cea0627b554c11d","datavalue":{"value":{"entity-type":"item","numeric-id":5878903,"id":"Q5878903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e80023c94d182fc7088bbdea8a755671e1c1eee","datavalue":{"value":{"amount":"+0.8353367447853088","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":"Q4933296$47B3D703-4AEE-41BB-91D9-A1AEAB9ED345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83617749cf254d03e2ee7f1f5cd22995808a1562","datavalue":{"value":{"entity-type":"item","numeric-id":386037,"id":"Q386037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d709d6dd81f1aaf86720046b345b7345adf591ea","datavalue":{"value":{"amount":"+0.8337389826774597","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":"Q4933296$075CE9A5-60EF-478F-BB10-F0BFB8F02B9B","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":"91ca07658bbc5df066d25f1801af566aa1650b1f","datavalue":{"value":{"amount":"+0.8255839347839355","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":"Q4933296$29CD0153-EECB-48DE-8AD7-F7FE3E43BA57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933296"}}}}}