{"entities":{"Q816698":{"pageid":818546,"ns":120,"title":"Item:Q816698","lastrevid":49792603,"modified":"2026-01-10T19:12:59Z","type":"item","id":"Q816698","labels":{"en":{"language":"en","value":"An equivalent CTL formulation for condition sequences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5009067"}},"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":"Q816698$82A6E8EE-4B7B-4080-B248-AA6CDE264B22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba45e995dfa03a60ae2999aaa2015ca5965e17b5","datavalue":{"value":{"text":"An equivalent CTL formulation for condition sequences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q816698$63FF4BE0-BBED-4667-8640-B05673B7F9C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0624121bb2bbdbafacf92268d3b960ca7c258cd1","datavalue":{"value":"1101.93048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816698$3B909D88-DD00-42B5-8719-82E2BF83C8B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6131369745f97e04b02a9ddb0b35554676c3704e","datavalue":{"value":{"entity-type":"item","numeric-id":702192,"id":"Q702192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$A7972712-6778-42B4-9686-5800AABDA54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b15ba35c8e6739a6e4610eabece7f5d5303ea4b","datavalue":{"value":{"entity-type":"item","numeric-id":702193,"id":"Q702193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$326883D7-B340-4408-8EF2-B37786CC6098","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$869FCA11-2875-49C2-BD49-7D852E61B7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd93436a00df2915fd6cfbac68834bf5a3cacbb7","datavalue":{"value":{"time":"+2006-02-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q816698$E0C40627-7F60-42DB-AA23-1F45A2D4E83D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816698$370B51FE-88B1-4358-9E8E-976776AAE1E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00eac41d7b048e818dff63206994511a99577243","datavalue":{"value":"5009067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816698$64A92124-3610-4156-A4A5-1626F5B03C4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q816698$0469EEB1-FA41-4060-9945-6884E621C1C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63b92677120a4ea9d325117e584ef652ad8b77f2","datavalue":{"value":"computation tree logic (CTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q816698$4127DCC4-4BBD-4A79-AC1D-8FE7B4ED4B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c11692b1923be60edffd3ecc8d602d307a78663","datavalue":{"value":"discrete event systems (DES)","type":"string"},"datatype":"string"},"type":"statement","id":"Q816698$C578FC10-12D6-4518-A0AA-C3D28711E361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14bd4b15c4d59ba35a4f62f3b1f1b5e5e7282e89","datavalue":{"value":"condition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q816698$9A7AF894-6CA7-4E79-909A-8997BAEF3071","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8862dc765737ba94532d3d59c5a7e1bd56ca3954","datavalue":{"value":{"entity-type":"item","numeric-id":13841,"id":"Q13841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$C9F6217E-6CA7-49B8-A16E-B213FBF8B84F","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":"Q816698$DE4C933F-A04E-4497-9ED0-0AF163071106","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"baa6b95f4dc91d4eb5722d094bb77af77a37cddc","datavalue":{"value":"https://doi.org/10.1007/s10626-005-4056-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q816698$A7C38936-109E-4019-BCE2-326B350B923D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e1cf24edc9ae02d65bb0fed05cb12dbc28d9efb","datavalue":{"value":"W2070249234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816698$8F71DDF7-2743-4440-883A-33528F57DFEB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"912700d4e48ffc3b109c13a3645569b7e7ccdd4e","datavalue":{"value":{"entity-type":"item","numeric-id":702194,"id":"Q702194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$CB5A11B7-4CCE-4F0A-919F-885634B8C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5575bf3c15a6c56d625704d228d92bb40f04b2","datavalue":{"value":{"entity-type":"item","numeric-id":4782086,"id":"Q4782086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$DFAD9504-0AB1-45D2-821B-658721B1526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93cafc97884fcc9c4f3cf3a7f78c694a2595dae","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$C7745A93-E25B-43E0-B2C5-E8AA1A6A6DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d051fc12e0f3efeb944a516fc3279133a1de872","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$BB0652CB-BB6B-445A-B83E-655F76034B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$D4BFCCF0-687F-4E3B-9409-0BE478D8D0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$9AE16EA5-7E95-496E-B7FE-376CF7241BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce2fa000923392bec5588ed143250024452ab6c5","datavalue":{"value":{"entity-type":"item","numeric-id":1185286,"id":"Q1185286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q816698$B13A2C4B-8763-47F1-82CA-ABA72D22F5DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fb58dce9633e1dfbabce533c9806951e3eac343","datavalue":{"value":"10.1007/S10626-005-4056-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q816698$4881356A-D360-4719-8FB1-1E8309DF6CF3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"836b3a89998889c7f2f288e7298805fa9103bff5","datavalue":{"value":{"entity-type":"item","numeric-id":1082806,"id":"Q1082806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31fbf4dce9ecb28dfd5117e6e36c77be7160064f","datavalue":{"value":{"amount":"+0.701867401599884","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":"Q816698$962EE754-584E-45E4-89CD-C5A8D43375CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0aa9200425740a8c5a7b8c703e1135ec25c9d10","datavalue":{"value":{"entity-type":"item","numeric-id":1185286,"id":"Q1185286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bca46df14fe41242a2a59f50b222e022979c448","datavalue":{"value":{"amount":"+0.6963151097297668","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":"Q816698$AE37E3DA-635C-470D-8DBD-4E97E9DA6D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bb4abea712f5c99bf5e7cd7e31a60d8a4e64f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3773356,"id":"Q3773356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864d99bff5288c3132c386a2237cbd03d935e91c","datavalue":{"value":{"amount":"+0.6959226131439209","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":"Q816698$FCBE1C4D-42F6-474D-9605-0B2A65233104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c06767ae57dd9e1472e0add9b112d64503a07b7","datavalue":{"value":{"entity-type":"item","numeric-id":5930945,"id":"Q5930945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0263ed41c268570d360c5e191cd5f68173ec34c4","datavalue":{"value":{"amount":"+0.6899585127830505","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":"Q816698$96FB6207-1A1F-4165-9734-679EA43587A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0645f5c6167ba35d5fd68e4aa45fa8b3824224d4","datavalue":{"value":{"amount":"+0.6893535256385803","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":"Q816698$92D9FA6C-DD3B-4AE6-BA83-1DAE8B9505FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:816698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:816698"}}}}}