{"entities":{"Q732013":{"pageid":733862,"ns":120,"title":"Item:Q732013","lastrevid":63952749,"modified":"2026-04-11T16:39:39Z","type":"item","id":"Q732013","labels":{"en":{"language":"en","value":"On-the-fly \\(TCTL\\) model checking for time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612516"}},"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":"Q732013$5109AEC0-F1F0-42A2-8451-10F628F4249D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37689578024ac092906e9393ecf2ebe6a4e54c19","datavalue":{"value":{"text":"On-the-fly \\(TCTL\\) model checking for time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732013$213DDC32-D98A-4B09-A391-E33E9BCF012F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04516f840fcf8d402ed6d3d8d0c1fc4e4444b3d0","datavalue":{"value":"1186.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$43BFF565-91AD-4283-BDF4-2331048ED3CB","rank":"normal"}],"P16":[{"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":"Q732013$0B8FBE86-87E1-47CF-B4A4-D2E722BACE36","rank":"normal"},{"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":"Q732013$44FD4B14-EBFC-4F46-86D2-80F9F72030FD","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":"Q732013$1A7B7DF0-067F-4A3A-A437-288F0037200E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732013$05A1C683-6068-4E09-90C9-534B2EEF051B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$CAD12AB7-29B2-440D-92B6-0EB288A91F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$C699A012-4817-4071-AD21-17E7C7FD9F63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b3d6f0aea5d0c9471576489ecd53226035b8823","datavalue":{"value":"5612516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$9F36C07B-2171-40FD-9930-407DBBA51782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q732013$C8664699-555F-4675-B8B7-74AC9103E729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61224d5759a86c8b46669a38bb185a128682c97e","datavalue":{"value":"state space abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q732013$8D1D83BC-8D51-4060-AE35-39EC0C0E42E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6190eed9f4cdcc9e98c7628f1fe4ae98ebff649a","datavalue":{"value":"state class method","type":"string"},"datatype":"string"},"type":"statement","id":"Q732013$39B4B6B3-02E9-4B40-9AD9-60433F5065E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76ca17822687b00fab4b9e9d4a46f6af2e6d35d","datavalue":{"value":"TCTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q732013$20F9B629-FEF1-4AE8-A543-6220CB8F0C2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$390D6D0E-FC7C-4FF8-81A9-F0D93AB62CE2","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":"Q732013$0160B561-35CC-4792-AABE-F071CA28CBDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ade186f2c88960167438839cf12daeeb6d102fbd","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q732013$FC0AFB35-D2B5-4B64-96F6-64C68C02D2F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1d5278dcbd497930d576f8318f20efb6e55cc6bd","datavalue":{"value":"W2056081080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$080CD0B9-776C-478F-A7D0-BE38E2192E52","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff983d5d474e50f5bb47f576a27b613ca840f4c","datavalue":{"value":{"entity-type":"item","numeric-id":4535172,"id":"Q4535172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$9504EB80-D330-4D26-BB13-722E2CA2C102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b470165b882e9f40d331f35f6193295ed50bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1399974,"id":"Q1399974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$F1A04F81-8555-46B2-AAB1-A5496B0A3953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$5B2AACF4-2634-4A81-BD9E-5BEF87E4ACD0","rank":"normal"},{"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":"Q732013$1D745F09-8D9F-41E0-BD42-4675D836FFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$D0E2681C-E58D-4D15-A832-37D1DBA8382F","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":"Q732013$A2316E0E-AFD1-439A-B1FD-239AE2828370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa38fcf2eabf9e45b572a847fc2bc9d7405e3c66","datavalue":{"value":{"entity-type":"item","numeric-id":2368992,"id":"Q2368992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$128DCCDC-5987-4025-8F9B-A693B8A6855B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb275187f3e6827b4931605aa847fb9e823969","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$3EA60CBE-907B-47C7-9897-EF936A3E4DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2966e6d6f6dba5ce7f38a3b691bd374948e1b9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3660933,"id":"Q3660933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$99B78A7E-7EE4-46EB-B7A3-DBABB79F8607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a277a1cc551e0338ede7f8e8cd1a149a81cb93","datavalue":{"value":{"entity-type":"item","numeric-id":5717497,"id":"Q5717497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$B4156112-FFD2-4FC0-A2F3-AA61DE7CE44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114ad70c77c238b6f2d38c3a2f870f474b33c2a6","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$A8BB24C2-A84E-4381-A24B-F7A61305F9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490269d9394e69cd0d2b1307d19f5fb57560b3ce","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$A33D5EDB-30CB-4523-9F80-763AE014666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41af77e01f186c255b902fb05e7ee7f5d28951fd","datavalue":{"value":{"entity-type":"item","numeric-id":1603403,"id":"Q1603403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$18C1CB77-FA08-47EB-A28A-D375F3CBBF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2eca8222b6ee4cf2f834e22b9f57835fb1bb56","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732013$075C72A7-68F1-48EB-8C1E-246EE99D9752","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":"Q732013$CF6A625E-9E8F-46E6-93F7-0130A6BE6F57","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":"Q732013$45076FEC-CD42-4D27-8AD8-04C57F12C725","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10bf335322977e75c3c2f0d24df7310c2298d886","datavalue":{"value":"10.1016/J.TCS.2009.06.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732013$B38AB51E-2708-4C52-8078-B0DCF8F61665","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":"36be560f15566f412075809f61131f4e96ac7541","datavalue":{"value":{"amount":"+0.96172124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$3797A3FC-EDD5-450B-90EE-235B79CCAB4C","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":"179b046d7d1d7373f69072c03e2d600bf211c445","datavalue":{"value":{"amount":"+0.93788314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$866EF7C2-8483-409F-9739-497B980013CF","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":"a7206836788990d463a2b9db93f7ad4634f28403","datavalue":{"value":{"amount":"+0.923508","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$C2DB0D39-CC50-48EA-9E9A-1041E2DB9AB4","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":"22e016682da995a7698cd1ac0edca80b06b90ced","datavalue":{"value":{"amount":"+0.91507584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$166227FC-519C-41EA-83C2-78898DA573D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bf90401b2d40098b211cd96cd2610ff5da502f","datavalue":{"value":{"amount":"+0.91185504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$BA809F58-95F2-49D5-BB4C-1870718374C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0fe99a1e450c5cc5d441a8a8b559566f72bf946","datavalue":{"value":{"entity-type":"item","numeric-id":4270060,"id":"Q4270060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91ef38da28bcf18ce029dc0b92172e981fd64a5a","datavalue":{"value":{"amount":"+0.9074732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$61F3BD7E-8CF6-45E6-9E36-ECBBB485BAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b94a79e4181a5803464f7f0ab13268e3c6386e5","datavalue":{"value":{"entity-type":"item","numeric-id":440685,"id":"Q440685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb86850d4b63f466d34ec8c9fa579a7924e841d","datavalue":{"value":{"amount":"+0.9052325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$EAD923F4-FD4F-47D3-9FE3-1EEBD410BEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84f5f09a1984d0a03a303ec39095aadc5588f747","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702897641cd0c21d034ce67a0d6de155e3e72c8f","datavalue":{"value":{"amount":"+0.904456","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$A8E04D1D-2544-4AC8-B4D7-B1F9E665891C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8263f7471b4a0a5a8b653fb229f1c07a790d6897","datavalue":{"value":{"entity-type":"item","numeric-id":5100762,"id":"Q5100762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6596e699666eefca93f2945c4359e29f74a1f017","datavalue":{"value":{"amount":"+0.9019162","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q732013$2E15AC7A-6154-48B4-A711-51B8D6EE9EA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On-the-fly \\(TCTL\\) model checking for time Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On-the-fly_%5C(TCTL%5C)_model_checking_for_time_Petri_nets"}}}}}