{"entities":{"Q3457799":{"pageid":5237199,"ns":120,"title":"Item:Q3457799","lastrevid":52417427,"modified":"2026-01-22T14:43:25Z","type":"item","id":"Q3457799","labels":{"en":{"language":"en","value":"PeCAn: compositional verification of Petri nets made easy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521678"}},"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":"Q3457799$EFF5CBED-D129-4B86-A7E6-CBD017698128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28265911b76dcc3fe8e98a46afc47db93bc8f738","datavalue":{"value":{"text":"PeCAn: Compositional Verification of Petri Nets Made Easy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457799$E36B8AEA-170D-40E2-933A-E42C230B819F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c956a19d1d87f417a072ace8c824652d767db127","datavalue":{"value":"1448.68305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$C3527597-8F21-416F-B6E2-0CB28EA35766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dfeb696407799b78356c5624f8b64e767faae97","datavalue":{"value":"10.1007/978-3-319-11936-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$41347E64-2EF7-4384-907E-ADFBA97170DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b23a83445622d6ad74a6354b4eeb32636d50b92c","datavalue":{"value":{"entity-type":"item","numeric-id":3457794,"id":"Q3457794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$1EFBF57D-75B9-4A0C-889B-51F46BA9BE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"722e8703277ed4c7e06c2f46ca80481523547d99","datavalue":{"value":{"entity-type":"item","numeric-id":1671141,"id":"Q1671141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$3EE217CB-6B85-4C54-A037-2259C4165766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31cf39ceb5f911352ab5785fb7d63fbd4c5a6635","datavalue":{"value":{"entity-type":"item","numeric-id":3457795,"id":"Q3457795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$CD828E92-1D8B-4681-8407-4E0E52FC9777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54dae9ac7a53e0c9cda0ac52c5bb92353df43cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3457796,"id":"Q3457796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$6B71D702-15A4-4B58-A81B-D9CF0FA52CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f671499ad147befb4d4fe94c247866c3043fed4","datavalue":{"value":{"entity-type":"item","numeric-id":3457797,"id":"Q3457797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$BBB50A51-2723-43BD-B3F9-73C8D6E19F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752dfe745084b102c93cf8d64dc94164fc518185","datavalue":{"value":{"entity-type":"item","numeric-id":3457798,"id":"Q3457798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$49EC33C7-F902-4736-B2D6-55F520827E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5474941530a831b2b2da197492290557d39bddf","datavalue":{"value":{"entity-type":"item","numeric-id":315304,"id":"Q315304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$AAC43359-BD1E-422D-BD01-8A7634F520A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$9B5173D0-8FBC-42DF-9923-C65422DACD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3208ee20c85d475090d794dc3c7087da944dc6f","datavalue":{"value":{"entity-type":"item","numeric-id":488228,"id":"Q488228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$35E8DF35-9D5C-433E-A472-146898C14636","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$38797798-3E08-4FFC-9E7A-B0C59FEF8ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457799$1DF09726-538B-4E22-90D7-6B47B0D1147D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$FA84932A-CB49-4431-9B85-31CF3EECFA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$3D952284-86B5-4DBC-83A2-F942C1306A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3bc8a8ac0a87c828c20fa4f1ea38860ec3204650","datavalue":{"value":"6521678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$A35D040D-1DB5-443B-8568-EE133F03B7C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457799$876BB848-44B5-462F-A264-B182584F9A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457799$97BA983A-386A-4A44-B406-924923174B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66db2ce1d2927b23411063821e59ee803ec748ce","datavalue":{"value":"symbolic observation graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3457799$F0DDD946-EB18-4518-A98F-8C1B57A0BF4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82d3620cb1bdd3eae8bcbd4d228bfa8814220ff9","datavalue":{"value":{"entity-type":"item","numeric-id":16562,"id":"Q16562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$7FD1F8DC-5EC4-4904-B2AB-D5762166E9A9","rank":"normal"},{"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":"Q3457799$42FE821B-41A1-462E-9441-3E3C1E34CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$320D8C31-6F90-4224-B470-B96C30DDE53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c65115070f45f694deb3c86a9805336aeff51267","datavalue":{"value":{"entity-type":"item","numeric-id":14570,"id":"Q14570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457799$29242213-1308-4ECE-836B-B43DC00E12AC","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":"Q3457799$7000B961-6040-4E2D-B085-B4ACB2C416B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38d06fd885137d17eb3c4a2ba1bff36d385e40d0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457799$DEBA07FA-2E4C-4383-9158-F00A1A846B1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"633dfe27c966ca1dc15592d90d67bccafe2c4738","datavalue":{"value":"W69418533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457799$81371EDB-6567-4A10-BC96-E78603D2590D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de71b8a87d2582cf7c01210699eb1bb2b29c7b0d","datavalue":{"value":{"entity-type":"item","numeric-id":5479156,"id":"Q5479156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1dca99b751749dbb619c10c5e85b772aee95d5","datavalue":{"value":{"amount":"+0.7826412916183472","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":"Q3457799$583FF37A-DA1E-423C-98CC-73AC67A74915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c14f21efd12aff676205a33d46e2041ab3ba9d","datavalue":{"value":{"entity-type":"item","numeric-id":5013817,"id":"Q5013817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0659c591804e1638731065b7571d2d1e2da4039b","datavalue":{"value":{"amount":"+0.7630631923675537","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":"Q3457799$DDA1370C-05D4-4609-BB12-C9D8F45C8CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749f8e551ce0b3efe6d9e93a5d6ddfb3cdaa740b","datavalue":{"value":{"entity-type":"item","numeric-id":2941150,"id":"Q2941150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13a37880270a8392b05f9b2e07689d63fa914693","datavalue":{"value":{"amount":"+0.7460658550262451","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":"Q3457799$360F793F-538A-4091-B2CF-6519B7E336EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3223d66c1b00bcc1584a98fbd81c480717817311","datavalue":{"value":{"entity-type":"item","numeric-id":3447710,"id":"Q3447710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe784a642adc8306e7ef5539867aad22c3778ff","datavalue":{"value":{"amount":"+0.7458932995796204","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":"Q3457799$92EC4281-42FC-452D-A090-263969699F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12a90482c85337d038b660e499649ffeb0d3df65","datavalue":{"value":{"entity-type":"item","numeric-id":2501338,"id":"Q2501338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"587dfe1c87dff006abc0155106232e48e59c082b","datavalue":{"value":{"amount":"+0.7416993379592896","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":"Q3457799$42637C3D-ECE4-4E80-AABA-6BC0FADC24F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457799"}}}}}