{"entities":{"Q3656779":{"pageid":5686685,"ns":120,"title":"Item:Q3656779","lastrevid":50876246,"modified":"2026-01-15T13:16:19Z","type":"item","id":"Q3656779","labels":{"en":{"language":"en","value":"TCTL model checking of time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658018"}},"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":"Q3656779$F8D5C9C3-BA66-4738-BEDE-FEB2970E8FA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1eed61a9db0a08f49fdbe5f033c0becc3b3efe22","datavalue":{"value":{"text":"TCTL Model Checking of Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656779$6ECC9313-13AE-4ECA-9749-C4D69748E13B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6f59ae5800e8da942a137fad6b26aa9f2e66c24","datavalue":{"value":"1188.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$2ED93D0F-F33E-42B7-BCAA-88FD4AA11482","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":"Q3656779$049A188E-A3B5-4754-830D-9620682453D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"633354b8994b9ca427b5ed3fbd4e2f5ffdb2f67f","datavalue":{"value":{"entity-type":"item","numeric-id":2864390,"id":"Q2864390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656779$83AF1AE0-9430-4782-82E0-CC7F517DA0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656779$DC472D06-B4CC-4A98-9B92-D744EEB78393","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656779$C3DCE960-6ED5-463C-B3B7-E4DF351DBCA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$2E8CAF43-C389-43C1-B07A-53F862FB3047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$608BBED0-00B2-437A-9454-7AF89676DF71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b0732d87a7aa86c7ab21cd8efaead9015bb784e","datavalue":{"value":"5658018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$4B304A62-AFDE-46EC-8CA8-654069CD797F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4c3a12e4653617b588c245143bf49369512892","datavalue":{"value":"time Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656779$DA301F25-24EC-4CFE-A5F8-C513935E54F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656779$609513F0-704F-4459-BE9D-D87A75D8549C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1df8ebf7968845b057d89fe8041d8d18adda9a1","datavalue":{"value":"TCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656779$8EE0B31F-A5B4-4ABC-8215-73CC9190A632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31d905463b18c1ac55f9a29c18e203805d7b714","datavalue":{"value":"zone-based state space abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656779$E9D75F98-0C16-4EAB-8F01-7D476B9FC8F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656779$6C51C014-5386-4107-88D1-A22DDECD36A3","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":"Q3656779$EA3B656C-C0CB-42E8-BA5C-234B95F2EA9D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c21891664089816c36655110b69b5c49abf8172","datavalue":{"value":"https://doi.org/10.1093/logcom/exp036","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656779$A09B252B-C218-4150-8AD7-BF1CEA7A6C2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05bdee3368147334e29fe8b48ea6832081ffa67f","datavalue":{"value":"W2105389929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$A85F48E5-57C7-4E9C-ABB7-43E772FB1BA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"933f5b9822d32c044eeb1836c45f4de223e31efd","datavalue":{"value":"10.1093/LOGCOM/EXP036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656779$03E7CD86-98C0-4A9E-B531-6D1D309C8EB6","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":"Q3656779$F1E44651-BA0A-48B2-AB49-8B20D8E6EAC8","rank":"normal"}],"P1643":[{"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":"93b5daa6e9e5a56381a431a932161c63706ba15b","datavalue":{"value":{"amount":"+0.8812853693962097","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":"Q3656779$17820956-A160-4242-9992-CFE0301A544D","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":"fb8173fab8aa0f9d71f60aa85a619efcdd8fc095","datavalue":{"value":{"amount":"+0.8661538362503052","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":"Q3656779$45EA0B55-9752-46B6-A700-096EB0B3464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d33e071dac9d77fa5144ad122b48122bb3a851d2","datavalue":{"value":{"entity-type":"item","numeric-id":2368992,"id":"Q2368992"},"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":"Q3656779$388389A1-51E2-44A3-B1BD-B54E154272B9","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":"86c26eee514918e3fa112f315fedd2bfe6d405d9","datavalue":{"value":{"amount":"+0.8548625707626343","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":"Q3656779$E1810981-DB4F-4679-B931-D0DDBB187306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbc7ece66659959b8ab7a5a15c5717ae301d9535","datavalue":{"value":{"amount":"+0.8421801328659058","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":"Q3656779$0E250275-2F3E-44F2-B704-0B2C709C3527","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3656779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3656779"}}}}}