{"entities":{"Q2368992":{"pageid":2379735,"ns":120,"title":"Item:Q2368992","lastrevid":49821697,"modified":"2026-01-11T01:42:00Z","type":"item","id":"Q2368992","labels":{"en":{"language":"en","value":"CTL* model checking for time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020391"}},"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":"Q2368992$513FA162-7AE9-4803-AA23-C3AA2264BE55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36fcf47c6765b57f714bfd09e921e576e7a90ab0","datavalue":{"value":{"text":"CTL* model checking for time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368992$FD820C1C-07A2-4D54-8567-66C2034F0181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e5c53079931f2ce6c7b785dbcb3bc882ef3d530","datavalue":{"value":"1088.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$99D058AF-8857-47DC-93B8-EB78CC116D8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c872737a12a3057f18bc5c1f1c91dd70d73e336f","datavalue":{"value":{"entity-type":"item","numeric-id":507758,"id":"Q507758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$4EB9B7F9-E314-4191-AF77-D58BFAA05B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f99264d6d3fcd886b17fa18c06b6a3de19116b24","datavalue":{"value":{"entity-type":"item","numeric-id":732012,"id":"Q732012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$96FC955C-BB1B-4E30-9834-360AA09572E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$B0122D9B-7689-4895-A8BE-AB722E285BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368992$691DE06E-8644-46B2-BBC2-67D6FB350BC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$F4FB847D-0084-48D9-8EB4-7CFE245551EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$060D7923-D46B-462C-B071-C7A01F26420B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a032aedf31a68cb843a1117899f20bbee4de40","datavalue":{"value":"5020391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$1CD212E0-8DA7-4120-AF52-FBBC4297FAC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf4b08125757b22ef19a65f23e3cc9de4e44badb","datavalue":{"value":"Time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$C6AE48A7-5E96-4595-8D6D-2972DC65F508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7438dc1d0c4c1adbea0332a9e78568d36e27833","datavalue":{"value":"State class spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$936F758D-6426-4481-8D06-7063C842FD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f54320f0b05db3f723eb681644ed3733a019bb","datavalue":{"value":"Strong state class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$2CD1F5E5-FC54-4EDF-952F-2569FE895B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e70bf9c2b469e8dabe75576d3da4e6b6b645d45","datavalue":{"value":"Atomic state class graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$FB1ACD2A-7A58-423C-A77B-16DE4D0CF78D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7510a7582b29b3299336a0fddfdff5900c368a88","datavalue":{"value":"CTL* properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$9AB9C4F5-24BA-411D-BFF9-C6565459B2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368992$86A27D3C-7DC1-42AD-AC95-57233C3E144E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$681C93D8-763F-4F3C-8AF4-15600D186FC1","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":"Q2368992$4819C8B4-F889-4139-B06A-03A0ABD658D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25276d2804382b2ac06712eb31f7a7318b734bd9","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368992$93472E56-34A2-4AF2-9E92-4A44AF4F803C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6490fbc223fc181ca27d5dab96e2cb3e3c4ac7e7","datavalue":{"value":"W1997427041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$8AB26FDC-1B22-4502-8525-720CB54C0879","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$BFA863CD-ADE5-495C-B780-9BC6A4F62866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd03e4de095dd3953367c465e489c06b39e10f","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$6503EFAC-83FC-4B47-B256-5600D32E53CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3569485d7d516d512e9eef51e66cb12b99e4cb98","datavalue":{"value":{"entity-type":"item","numeric-id":2842567,"id":"Q2842567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$7EFB1548-926E-4713-986A-7280F3FA7ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b598aa110abe5370caab09380e1706d07095d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":4535175,"id":"Q4535175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$38561BE1-F452-4126-A2C7-0337010AE80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$31DB6F25-D0F2-498B-8A75-86FE47D88D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$149CF253-65FF-4DE2-9C7A-D0DB2708C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b6ada902344f6719a46bc8072cace7bd67d121","datavalue":{"value":{"entity-type":"item","numeric-id":4535185,"id":"Q4535185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$438DFBB6-3AD8-462D-ADE9-081E64EA2D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ce86d826b24ad37e422a36f000c266a8f05efe","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$822569D1-DD0A-4C39-A7C0-98ACFC1A1919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec32d2be4dec001f2ba867c525fbd100df279bd9","datavalue":{"value":{"entity-type":"item","numeric-id":4185813,"id":"Q4185813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368992$F7382383-73D0-43AB-8F92-F1EE4E051CF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"212fe7e06e6538a99dea8c570ae3fc5116a5c282","datavalue":{"value":"10.1016/J.TCS.2005.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368992$58AAFB70-0065-497C-BF95-813FF9AC9E4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8de6d9c514e8f6bcfe58570f01e07d9648f40f0","datavalue":{"value":{"amount":"+0.8660961985588074","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":"Q2368992$2B3EAA8A-F539-43B7-8B84-9629BBEDD54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e4a3a3e7dec6dbb9504b66218fd730d3e901cab","datavalue":{"value":{"entity-type":"item","numeric-id":732013,"id":"Q732013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda3a41effb4bde836c600e1d29327641fed32da","datavalue":{"value":{"amount":"+0.8461354970932007","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":"Q2368992$9AE6009F-7FD7-4633-A84D-6A443D0A4290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95807a547c05d217f8174926f557b8647e99241","datavalue":{"value":{"amount":"+0.8453612327575684","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":"Q2368992$9AFB2A14-ED96-41D6-B21B-4A47DF7163E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3c2f971cfeae52c9dbf0a57deb0734204d9085","datavalue":{"value":{"amount":"+0.835343062877655","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":"Q2368992$20507FD3-8E23-4644-873D-82A83A0CAD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64123a901157b3c6f1f91e8972948756361d9327","datavalue":{"value":{"entity-type":"item","numeric-id":3602751,"id":"Q3602751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5773dad78f34a2b9541451d7cd72276a9d3345d","datavalue":{"value":{"amount":"+0.8318749070167542","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":"Q2368992$4C871963-956E-41D3-BFBF-5F2221328480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368992"}}}}}