{"entities":{"Q2280185":{"pageid":2290928,"ns":120,"title":"Item:Q2280185","lastrevid":73028382,"modified":"2026-04-14T09:30:22Z","type":"item","id":"Q2280185","labels":{"en":{"language":"en","value":"Simplification of CTL formulae for efficient model checking of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7144257"}},"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":"Q2280185$D9A8ABEC-2655-4733-83C3-72B9744A35F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57841bf275067a8ec33e25074791a10b85b4b5c4","datavalue":{"value":{"text":"Simplification of CTL formulae for efficient model checking of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2280185$85922492-5816-475F-8E75-1965132827B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"729b563bba2ac60ec1c26f9957303010d808519f","datavalue":{"value":"1427.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$E51D1C0B-6C99-4856-909D-053740274CB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2053c40e81efc5d15f941c1be5e01322a60200a3","datavalue":{"value":"10.1007/978-3-319-91268-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$2C7C36EF-4A19-43DF-B6E7-A1AF2AA9BFDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df8a93bd8d4d8635780fbce578f8f818b7d68c7","datavalue":{"value":{"entity-type":"item","numeric-id":1633341,"id":"Q1633341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$1A04136A-7E41-4635-BE22-40108117FD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"959ac8e9b55e1c2a5a0071f529606defe4ecb4a3","datavalue":{"value":{"entity-type":"item","numeric-id":1633342,"id":"Q1633342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$CC63DFA3-D4E3-4936-AA92-B43E6FD48097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$12943073-1126-443B-9AAA-E30C3BCE90B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2719cf15a5332bdbf0619fbb0d90e68728953b","datavalue":{"value":{"entity-type":"item","numeric-id":832026,"id":"Q832026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$3E953529-C44A-4309-AA5A-7BBA6ABD586A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$5EEDCA71-8AAC-4ED5-87E6-86BB9EEC5995","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f6772b50db402e319131e91836e24f594dd3ca2","datavalue":{"value":{"time":"+2019-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2280185$558C8B03-C8D6-45E7-91F3-50DA6896ADC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$27F75F9A-EE0C-4D79-B10B-38DB6BBCC649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$412CA5BF-9A01-47AB-ABB1-CA7F4F3D7568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$6F0CCADA-3280-4E2A-901A-122B68379D89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5343ecb38d055675d1e8f1d1dc3fd71506bbebdc","datavalue":{"value":"7144257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$B78EF9B5-C24A-421D-ACFE-3AFB517EB86A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2280185$3E936DE2-2EE6-43AB-8E56-AAD6E4037EE4","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":"Q2280185$455BFC40-CDEF-44E8-B274-83DA492218E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab8116b6002f0914132b6ee3989cc6cd665c2a29","datavalue":{"value":"https://doi.org/10.1007/978-3-319-91268-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2280185$2A969DFC-2733-418D-AE3E-FFA16A49CCD0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6eca35c6cf9e9107e248677874d8cb9cdfdb8274","datavalue":{"value":"W2802268138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2280185$CDD635AE-17A3-423B-A091-7556FAD51C73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e19c925d86798cc3f31694575bfc639f3731a61","datavalue":{"value":{"entity-type":"item","numeric-id":2032844,"id":"Q2032844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d40b61ba06983437e533d15205a7389745a97c","datavalue":{"value":{"amount":"+0.8003896474838257","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":"Q2280185$F01CA89F-F7F3-4B74-AEA3-2C8E1C1E03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58649780c44d0e6e266dcfe7f7ffd4b10e2f702","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba8cc25c5b97b57b45e1baa484d9d3729560804","datavalue":{"value":{"amount":"+0.7929458618164062","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":"Q2280185$00703D2A-B95E-4F39-A171-A5BF68CD12E1","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":"bd74d776d50e1812804f8f6fe9a5020372beffd9","datavalue":{"value":{"amount":"+0.7917876243591309","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":"Q2280185$1101BA39-44F8-438A-A722-91632323F402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc83848c0d486b71ce3a78b9ca6522a9739baf3","datavalue":{"value":{"entity-type":"item","numeric-id":2842854,"id":"Q2842854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98af590968eef7d576e6a7c2df3a29177b08a2ee","datavalue":{"value":{"amount":"+0.7895615696907043","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":"Q2280185$A4238EE0-25D1-476E-B520-C6D37EFAD413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d340f00aca2025aba9494201a5aa82e4c364ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3605479,"id":"Q3605479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52eaeca68fe9593750adb6300817b48fd77aae58","datavalue":{"value":{"amount":"+0.7865638732910156","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":"Q2280185$5C356098-0927-437D-AB74-18A6639629B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplification of CTL formulae for efficient model checking of Petri nets","badges":[]}}}}}