{"entities":{"Q6144223":{"pageid":13278530,"ns":120,"title":"Item:Q6144223","lastrevid":58718103,"modified":"2026-04-06T11:10:19Z","type":"item","id":"Q6144223","labels":{"en":{"language":"en","value":"Parameterized Analysis of Immediate Observation Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7796233"}},"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":"Q6144223$8A8AF7C7-7153-4771-9F29-C2C4574FB166","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e35f0b8d9d2742331abb77120b48e34b0e7c416c","datavalue":{"value":{"text":"Parameterized Analysis of Immediate Observation Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6144223$0663947B-9DA1-48F8-83F3-94BED567142F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7814217ad92aa8397df39ad2734571f49866dcb","datavalue":{"value":"10.1007/978-3-030-21571-2_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144223$CD9F559A-C6D0-4ACD-BF74-7E9CFF341953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$91705624-BA5D-4F9E-8374-F3D6F6C0AFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3515baf2d7ffabb4be305cf6d0e695408444c1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2025855,"id":"Q2025855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$5255C7E0-BA73-4843-8F8E-947C9DEFDD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11cda834db5ea980e84d74cffa90a71e7d3e269","datavalue":{"value":{"entity-type":"item","numeric-id":2025856,"id":"Q2025856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$D85268EE-31F8-495D-869D-16061BF6901A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f13fd0901135ebf0e2b5744f50cafda14949457e","datavalue":{"value":{"entity-type":"item","numeric-id":2822648,"id":"Q2822648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$AFFFDC8D-BACF-49D3-B9EB-B7B969651755","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c788422623dc13be5c58b3af34b36d9b5d5b260","datavalue":{"value":{"time":"+2024-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6144223$9FDD0577-E075-4BCA-97C5-E76665D33ED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2bac2caf9b203af62bc987a6874ef4642cfa5e2","datavalue":{"value":"https://arxiv.org/abs/1902.03025","type":"string"},"datatype":"url"},"type":"statement","id":"Q6144223$3B790536-B5BD-418E-B9BC-E387B995442A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144223$847DE790-41E6-4230-B41E-0CC640747FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144223$39CF2AA9-13A2-4669-BE07-855F029C7861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37351655a8169d27ad2667ff1f91fe1c28c2c81b","datavalue":{"value":"7796233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144223$F79E700F-C0E7-4AD3-BABF-40085CB17D66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144223$8152A1CC-EE3A-4406-A99A-8E289B54CEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144223$B900A2FA-75B6-4CFD-B3C9-950D0792B409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669abbb88c892b9db5795fabf18f855789fc40f1","datavalue":{"value":"parameterized verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144223$3AB1722C-5554-4F12-BA3F-FEB3E985A4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef78cf85251015a154a56912d0ba30cf4a8ec66e","datavalue":{"value":"population protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q6144223$318CDA90-284F-4D8B-8816-FD50DE10CD48","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":"Q6144223$A0AAF255-EDA8-40AE-8DFE-945133E51C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a59062f2cb06b36f2d508578766597ffcc0579b","datavalue":{"value":"W2918398085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6144223$2D1027DE-4216-42E1-B964-4F96F58B5AFC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e339d8b5648c00f2c0f715690f24cbe5829a2513","datavalue":{"value":{"entity-type":"item","numeric-id":4575918,"id":"Q4575918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$56774679-1486-4605-A586-943B57D8B152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"159075c063ffea6cd20cb1e38164030cf3029734","datavalue":{"value":{"entity-type":"item","numeric-id":4608038,"id":"Q4608038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$34129D9A-8AD1-435E-9FFB-A63A289CC8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b93eb9ad0e60a7acfb2f4a5151d0196898406a","datavalue":{"value":{"entity-type":"item","numeric-id":2480002,"id":"Q2480002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$9233A5BE-7DA1-448E-A175-055A01B209E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabb9fa3786c8647bd8e3610eed9ca90017f1f6c","datavalue":{"value":{"entity-type":"item","numeric-id":5501509,"id":"Q5501509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$6EF8B534-07F9-4D69-8CDC-8B9637D5ECBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94a34ef9306bdded0ee4f49da10d7542d8abbde8","datavalue":{"value":{"entity-type":"item","numeric-id":1954251,"id":"Q1954251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$D105BFE1-6AEB-46E9-B15C-466C6C22DF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2565ba3b3494907220c9a72417fe6db7c3d14d1","datavalue":{"value":{"entity-type":"item","numeric-id":609029,"id":"Q609029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$17356DBC-764A-4459-877F-E0F6B4749010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$A72C5051-8F6F-40B0-825A-620B6EEF6C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce031a4af2b98142a21d214ba3e5fcd6ea8222d","datavalue":{"value":{"entity-type":"item","numeric-id":5207878,"id":"Q5207878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$8DA22181-B439-4658-8182-EC05B29B0394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$0DBAC8E1-7B0B-4CCC-9737-955CDFFE1875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e989c5ce90970afc6841d1d20b69bcabf5250","datavalue":{"value":{"entity-type":"item","numeric-id":5357724,"id":"Q5357724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$2BF263EB-5499-415E-AE7C-E8F4F8901204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61277ed646dad81075628dca476438c05abb23e7","datavalue":{"value":{"entity-type":"item","numeric-id":523133,"id":"Q523133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$D81FF4F1-FB21-44DA-9166-8F068E798B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d483b2e8216cf650c0df02b3dec811c334f3af22","datavalue":{"value":{"entity-type":"item","numeric-id":5009448,"id":"Q5009448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$AC9F1276-68A1-4647-8A1E-2C236B22F42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fd99712b38a9572104293126d94d3907dbf33c","datavalue":{"value":{"entity-type":"item","numeric-id":553903,"id":"Q553903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$879B1277-9759-43F8-9E34-BA7A1243E0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d350498f04278cf0ab7002c8d83ce349a5ef96","datavalue":{"value":{"entity-type":"item","numeric-id":5166771,"id":"Q5166771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6144223$E9964DAA-9298-484E-B268-8A01B833B753","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581f11af9e9f3a71720eec086a480932e42bf20","datavalue":{"value":{"entity-type":"item","numeric-id":2941148,"id":"Q2941148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187f4034bb50b9780568cbfc9a9ef45ca80b0222","datavalue":{"value":{"amount":"+0.7965620756149292","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":"Q6144223$AA0B74B3-A732-4666-9DC7-9CD8F2F9061D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76ca1e47147d1969bafa2f046339a8323e0bd687","datavalue":{"value":{"entity-type":"item","numeric-id":6044494,"id":"Q6044494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11192f122c1af411b9998f0801258bb28731474f","datavalue":{"value":{"amount":"+0.7954246997833252","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":"Q6144223$E674D6FA-27B4-4C3E-A4EF-82F4BD5E2C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ac11be9298730c2273548fc20284ab4ba5f822","datavalue":{"value":{"entity-type":"item","numeric-id":2805418,"id":"Q2805418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7340c68fd032e0fc9f578ed1f2fe5cb610c38185","datavalue":{"value":{"amount":"+0.7781457901000977","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":"Q6144223$2821CC09-A322-4F88-8A89-B244E77F8AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22f554b9652b57dbfb18b2910acaca2f5e69fd20","datavalue":{"value":{"entity-type":"item","numeric-id":5111627,"id":"Q5111627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f51d0e8a9148036ab9be0ed58a1009f6d452fb7e","datavalue":{"value":{"amount":"+0.7778468728065491","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":"Q6144223$15E9F0FB-2260-47E8-B053-6E6C17C4EE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a350de04205ffa1bf6148b0b75929b66b93c0e7","datavalue":{"value":{"entity-type":"item","numeric-id":2920142,"id":"Q2920142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"034553a9192c394048399eba7e298a72f34f8845","datavalue":{"value":{"amount":"+0.768572986125946","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":"Q6144223$89A7CE7C-4B77-43BA-9A7B-FCDF789202CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6144223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6144223"}}}}}