{"entities":{"Q2226722":{"pageid":2237465,"ns":120,"title":"Item:Q2226722","lastrevid":57794721,"modified":"2026-04-02T13:44:09Z","type":"item","id":"Q2226722","labels":{"en":{"language":"en","value":"\\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307959"}},"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":"Q2226722$6F1747D8-95DC-4BF4-8F2A-D2EAE18C1BFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9293f231d6be624660b212c53ba36ada8fa0e62","datavalue":{"value":{"text":"\\textsc{AdamMC}: a model checker for Petri nets with transits against Flow-LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226722$812E25DA-57BA-4736-91D1-41A788484DA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12bf20aeba6fecafad2746349aedcbcce93f3c53","datavalue":{"value":"1478.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$B59953DE-2235-41F4-9225-736D9BAA3BB2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"700e809a998bee78d9f7ec4b637adfb995d959c6","datavalue":{"value":"10.1007/978-3-030-53291-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$CE4FE9B5-336F-4D8E-8E89-B978D8529E8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$7C61A9A7-709A-4A36-90CF-ED7EB7B0C0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35b83053af91f602a09fd90794399308484e579e","datavalue":{"value":{"entity-type":"item","numeric-id":2117154,"id":"Q2117154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$2CDF9363-E7C2-451B-A528-DDB31946362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aaaf79945ca22e0f3477140cbecb983df8b222d","datavalue":{"value":{"entity-type":"item","numeric-id":2226721,"id":"Q2226721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$FF869EFE-1F49-47C5-BA64-B8522A19905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$2680F84E-5058-42CB-AF33-42BB2BF888D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-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":"Q2226722$9F639472-BCB6-4F84-9FCA-9ACEA5D165FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f2c0ae756206a8cb9ffdd8360ccb443b652aacee","datavalue":{"value":"https://arxiv.org/abs/2005.07130","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226722$D940DA20-51BB-4151-A3B4-1EAA30A7AF4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$4F1DC022-2563-4D4A-A214-992205C08590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$32F634B0-E19D-4F1C-9A9A-801373256DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$682F903A-25AE-454C-B6D1-77375BF0DCF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25cac6199fec3abe98cd47ee80bf3d3938cfc136","datavalue":{"value":"7307959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$F0D406E1-A002-4B9D-8543-DB4A4558205C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e71d19aef9d5399769c324a119f85239d2f418e","datavalue":{"value":{"entity-type":"item","numeric-id":45889,"id":"Q45889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$3E0360E1-7017-4153-A58C-36FF7A9C8678","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":"Q2226722$3E00E9D4-A162-4B46-AC74-81F4927DC4CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ab94aed7c8c676f8a863e1a9f049996edaec29e","datavalue":{"value":"W3043546341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226722$B77C9B9B-6D90-496D-94E4-B0BFD0669E9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d392229acb34618b852d25b71355f8ec62402a49","datavalue":{"value":{"entity-type":"item","numeric-id":3297609,"id":"Q3297609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c4e61178115508dd36e728643ce5a50656b06c","datavalue":{"value":{"amount":"+0.790195643901825","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":"Q2226722$161C5165-1700-4F50-AE25-0DE3D9CA862D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176b00cd54d750231cee6fb9b6afc040d6e2b2b2","datavalue":{"value":{"entity-type":"item","numeric-id":6485894,"id":"Q6485894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60691b57e4fa61f8c20a3fcba11ce12c713cf31f","datavalue":{"value":{"amount":"+0.7829611897468567","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":"Q2226722$FBB5EFB4-BF3D-4C8B-A631-3C77C13AFEF3","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":"3fb73d48ef36cde21149fd74bd9648b034630196","datavalue":{"value":{"amount":"+0.7338870763778687","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":"Q2226722$97687543-B217-4B05-938C-8A75A2AC29CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1be23927f8161f44b22e891a1e3fafb4aeda7092","datavalue":{"value":{"entity-type":"item","numeric-id":4972740,"id":"Q4972740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91d37f6fd3522d11afcd0c4b7ce18dacd4b8b0f","datavalue":{"value":{"amount":"+0.7148393988609314","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":"Q2226722$A1EB7F62-5E12-4CC1-850D-B738FEA8A16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9382b7cb3165adb0de9b0a041b9d01338fd208","datavalue":{"value":{"entity-type":"item","numeric-id":3187803,"id":"Q3187803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c7985b8797981eb4217a3481bf410c2decb33f","datavalue":{"value":{"amount":"+0.7078281044960022","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":"Q2226722$4F490ECC-784F-4490-AD31-6A18D1DD6938","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226722$0A4A98AC-C183-403F-9862-02BEB61A3915","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226722"}}}}}