{"entities":{"Q2279737":{"pageid":2290480,"ns":120,"title":"Item:Q2279737","lastrevid":43812126,"modified":"2025-11-14T17:12:05Z","type":"item","id":"Q2279737","labels":{"en":{"language":"en","value":"Model checking Petri nets with MSVL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7143368"}},"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":"Q2279737$C0FC637B-1016-4E58-A156-D0F312D2B31D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f76044e2be0e7bbfe7cb956d078c55cfe1647ec","datavalue":{"value":{"text":"Model checking Petri nets with MSVL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2279737$6AB8D585-3F26-4F68-B9C6-959F7CCCBE6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc3aec88189e2951b1ce69090e074e18af287393","datavalue":{"value":"1427.68210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$474D5089-6E81-482B-BDF5-441649C2B162","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80bc4b3ad6a4454b70c1b4ec533772e6e56b1274","datavalue":{"value":{"entity-type":"item","numeric-id":2279736,"id":"Q2279736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$42FE2239-17A9-4BA9-87A2-D06A4B86B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$D342242D-7454-47BC-9C72-1D7D32FE29BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$67112341-871F-4BEC-9D20-4BC6B48926EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e406ab38e993d058bb3a55ad7e1ed448dcf0b0e","datavalue":{"value":{"entity-type":"item","numeric-id":680551,"id":"Q680551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$F5D49E3A-A808-425F-B2D1-EC583C206EEC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$45041F79-02C8-4FF8-A26D-A16614F493B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"133c8d3a45b693058bad8b4450e30d3320f06f59","datavalue":{"value":{"time":"+2019-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2279737$841C8555-719B-4E75-9DD7-B56D2392A0E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$FAE2A4A8-FC63-40E2-B6D5-068BBDA4BBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$6A6525AB-C7DB-4B35-B511-751D0E04B867","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"289cdbdb35ffdff808aa4b2549258f56209c11ed","datavalue":{"value":"7143368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$524F47AE-E12C-43AF-88DA-66934A6DAC41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84e026c37b065e90ea6a0c462c4ada94e004527d","datavalue":{"value":"MSVL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279737$1DB53425-0769-411D-8227-28A45DDF568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279737$87F11584-9648-4E46-9DE3-DB78915590D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31370a3c43d7167ff288ee84d911a7938e2319c1","datavalue":{"value":"PPTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279737$E2134937-6B5D-45F1-9BC7-2283310881BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279737$04E016E2-D419-4326-B4EB-D40B80F54BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2279737$1BDD8520-33CE-4F26-947C-3811D72020BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e14a6f0de625989e4b17d0dc18551bd3470360c","datavalue":{"value":{"entity-type":"item","numeric-id":13765,"id":"Q13765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$8D3E9CF1-5FAB-496A-9ED7-9ACF91964D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$E1EE0E1E-D64A-4023-B999-00807580EE3D","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":"Q2279737$34696FBD-E4F5-49FB-B6F0-43E223637975","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a28a67476c8dcf1922d0bb17a4211596673932e4","datavalue":{"value":"https://doi.org/10.1016/j.ins.2016.01.036","type":"string"},"datatype":"url"},"type":"statement","id":"Q2279737$D98DEF9D-4B5C-4616-B7A0-6E215818F333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b590ce8047ea2e2d66af9da59b541ee52ac4970","datavalue":{"value":"W2275235874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$111FC56F-1ED1-4E0B-B51C-FD6D2E1458B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$6BC5075A-B9C8-458C-AF39-C1A602D8C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d184d1f87864319f11f9c6052c2df5f536d832b","datavalue":{"value":{"entity-type":"item","numeric-id":5500572,"id":"Q5500572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$2699FE24-38D2-4663-8F7E-B0C41D6B68DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9b30d436cc415235444ceb3d9d67b46cb47f93","datavalue":{"value":{"entity-type":"item","numeric-id":403021,"id":"Q403021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$07D9CB0F-9B3E-4FA1-85FE-8B4998C28B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fc1003f611d39b9a3fe7685e8a61ceb967a718c","datavalue":{"value":{"entity-type":"item","numeric-id":497950,"id":"Q497950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$60C5AB2A-4171-4775-83EA-C3D6D37E9F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$AE2DF569-8585-42FC-A6B1-5AB9FB96E919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d15d1612e5f36247573ccaae4ed7c5a6e597e2f","datavalue":{"value":{"entity-type":"item","numeric-id":2340254,"id":"Q2340254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$BB84BDBE-5086-4828-B24E-79253E421D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d3b1fcd773117d59115af8f6a7d3fe75f3b75d8","datavalue":{"value":{"entity-type":"item","numeric-id":744099,"id":"Q744099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$A1809648-005A-4231-9DD9-0AA2B28B4093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b51c779cb8c410e34cefcfe7146c74f9d8ea23f","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$5B9F6151-6E3E-4966-9EC5-64A571E75C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c1cfbcde71192a979ec47c0550fe7f372732d8","datavalue":{"value":{"entity-type":"item","numeric-id":2941159,"id":"Q2941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$D4239645-5B41-410B-A1EF-56C56F5B28B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066264711bb792b6d0a07a3d8bc3b2944ab9cfab","datavalue":{"value":{"entity-type":"item","numeric-id":539493,"id":"Q539493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$7CF0B1F1-837A-4BF7-AC6A-5F7C773136CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$CB56528F-D37D-43A3-8482-F8D47691863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c9b42a8bdcd0f4515a811d90e2c8fd35dc8cd9","datavalue":{"value":{"entity-type":"item","numeric-id":2430015,"id":"Q2430015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$5E345660-98F2-46A7-A8E2-54240505CF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03fd178d4bc35dd64a5534e87cb856d9b9044d21","datavalue":{"value":{"entity-type":"item","numeric-id":893846,"id":"Q893846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$457B36DB-FEBC-4D87-8ADD-2C8166AF5E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$DF179259-6E5D-4AD5-B411-DF17E02873B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0443dce3f01a7bbd09b5aa2ca6c24058f2154c2","datavalue":{"value":{"entity-type":"item","numeric-id":2378283,"id":"Q2378283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2279737$1BDDE0C0-0AD7-483B-B738-314ECC58EB92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"468d6cbdf1d0fd6d5eca6854204d2e446a2ac2e4","datavalue":{"value":"10.1016/J.INS.2016.01.036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2279737$623A6769-9332-444A-8886-6348B38CA8CD","rank":"normal"}],"P1643":[{"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":"e5d812cfcce2c9ca7b5177117b7e936ad1e8691f","datavalue":{"value":{"amount":"+0.929194","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":"Q2279737$9A188289-DD60-48E3-8AAD-5162B6D1476B","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":"fe46a407e1e3d721ed1d0db9c62965f98fa73841","datavalue":{"value":{"amount":"+0.9261426","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":"Q2279737$C1C6428D-4B39-4978-AC1F-AE9856D0B385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50801cb8a0f5e757591d772bb087b8514fbfc96","datavalue":{"value":{"entity-type":"item","numeric-id":4202931,"id":"Q4202931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd97fd5123723f08442ceaae4004f81ac2a302f2","datavalue":{"value":{"amount":"+0.92260313","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":"Q2279737$37205538-59E8-4F0A-A97B-872D01D7EBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982b36d7012e1e16ccef7fc164891f98228d13d3","datavalue":{"value":{"amount":"+0.91015476","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":"Q2279737$9FB4E075-58AE-4885-9DA9-BC36F8484512","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":"1e25147135c417dab6628c0dae95cabd4a97911c","datavalue":{"value":{"amount":"+0.90539175","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":"Q2279737$206C9329-A98B-4EB3-B0D5-7F3A3A8F7593","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":"0db191ef56db75431f5279fa11c8ca37c720fa92","datavalue":{"value":{"amount":"+0.90533495","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":"Q2279737$5D6FEF63-65E7-4412-91D3-BAE908BCD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6a8c09979cad506b974165d7147e3b8f9becde","datavalue":{"value":{"entity-type":"item","numeric-id":5096394,"id":"Q5096394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493c07f16726e4c06aa211791c04554200d589a2","datavalue":{"value":{"amount":"+0.9032718","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":"Q2279737$D7CD4C1E-199F-4168-B5F9-794D2AB8E4B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2279737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2279737"}}}}}