{"entities":{"Q2842866":{"pageid":2853586,"ns":120,"title":"Item:Q2842866","lastrevid":42256950,"modified":"2025-06-03T17:26:49Z","type":"item","id":"Q2842866","labels":{"en":{"language":"en","value":"Petri nets with causal time for system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199179"}},"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":"Q2842866$7E0E11E3-1AD9-4A23-AD99-7D8BC117E55E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c455e1bafd97c80cc0d2cbb29ce79c46ba405bc7","datavalue":{"value":"1270.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842866$673D2F46-653F-47EF-B772-A9B35A4942BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d813821bd2a7033d2ecf1abd8224ddc49daff7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2842865,"id":"Q2842865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$1B133F4A-75AE-4579-A45D-C65088A952CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$9692C027-71A0-48E3-B807-399F8AC49E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"251a808fff74ce5335640aab6d5f066cde242d2f","datavalue":{"value":{"entity-type":"item","numeric-id":418850,"id":"Q418850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$6E6EADD7-04C2-46F6-AAB6-D0CCF8C3BBD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842866$B13F200D-F07D-4D1D-9D34-DBA62129E857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"103b4b9d0e05c7f01e3947708ac228e2e2a22035","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805218","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842866$4B925322-96F8-44CD-9E17-E5EAE3F8E6E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842866$A16179F4-2546-4155-B868-881A6821B285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842866$CCB3A697-4DAD-4C5C-9038-549597980142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842866$F0CC2A15-8C8A-4605-A630-74C0A377B561","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d869f06aace9848b88ff329441a5d4763c77a14e","datavalue":{"value":"6199179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842866$4D7E1D52-2587-480D-AA3C-F2F57FC0601A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$98DBC5D1-23C8-4632-8313-4CAEEB54D6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4138e3a677fc7dde9f63e3d3afbc71fe6f94f495","datavalue":{"value":{"entity-type":"item","numeric-id":21125,"id":"Q21125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$640A18AE-0D8B-4B2D-905C-01FD39B22734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$E7A457ED-39D3-4CAF-B1D3-CB753D59C6C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcace3dc89b22d58a69f050505a82c29f25cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":16312,"id":"Q16312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$618FE509-30EE-47B5-B5B4-E38D7185EBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b63416d352770f4f8c0811340e4c96e99b8865a","datavalue":{"value":{"entity-type":"item","numeric-id":28416,"id":"Q28416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$F8DA2D62-8534-49E8-8457-FB742AA6995F","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":"Q2842866$0ECE5804-5E03-4D6A-8A71-2F823F3DD67D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$2A1BC55A-2D76-4DEC-8363-5F7E3896B66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85797bcde27357bf2a53318210daffab6d576778","datavalue":{"value":{"entity-type":"item","numeric-id":1284690,"id":"Q1284690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$A5E944A9-2522-4879-BB05-47E68848F868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93cf0a7bbd5e1003c238e3ca40b433dbfd4b7fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1285652,"id":"Q1285652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$838A6308-FC74-44B1-B5DD-8BD35C419DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$9BF33437-7EC4-49E1-92AE-B67632658AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b58b6e891ceaaf10dbc5c4d9dbd4c4529d90e41e","datavalue":{"value":{"entity-type":"item","numeric-id":3883515,"id":"Q3883515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$735B10F0-81E5-4AB7-ACFE-B220E81DFBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$E06E6E1B-969A-4235-8BFA-C857B07976A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$C85E5238-3391-4B13-8870-8CFCE7EC0563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13950d7cfa38cc2766db83451be9ea1a2eaf0ec8","datavalue":{"value":{"entity-type":"item","numeric-id":4804927,"id":"Q4804927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$F9A80AF8-7F61-4143-A261-E33B6A95AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d88c08c8a228622285217573db8aedce4b53e82","datavalue":{"value":{"entity-type":"item","numeric-id":4501583,"id":"Q4501583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$F342FF74-392B-4649-88A9-111079B38398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ab428d9dcabc39de64fafc30cf693f29b75a08f","datavalue":{"value":{"entity-type":"item","numeric-id":3045275,"id":"Q3045275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$D52A561A-BE97-4F5A-9DCF-494D1DC99800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$E12CA27A-D743-4CD9-A503-9419B5EC2FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842866$4EDB160B-1789-4D1B-AD9A-DB104842F2D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab02ca288c0bce125f18a423e3e553c95b8a5d02","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e3c400962a46cee1fcfbaab20c3daaacee9bb2","datavalue":{"value":{"amount":"+0.926377","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":"Q2842866$CA24C12D-36A6-47CB-AD77-3286155B6CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47ee14ac24bb24040fc9acd1ebd2e6bbb195aaf","datavalue":{"value":{"entity-type":"item","numeric-id":4034400,"id":"Q4034400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a182d135ecb8a5f521f4f8f43dee6c5d054325","datavalue":{"value":{"amount":"+0.9245256","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":"Q2842866$659DA3A7-615B-41C6-857E-CA0B289DFA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e1e19284e6b95de3d8b933a0a84713ff6df6e9","datavalue":{"value":{"entity-type":"item","numeric-id":5496934,"id":"Q5496934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a2dcd3d9f7984e7a5d1cdcb00edf5495af7f3f5","datavalue":{"value":{"amount":"+0.9171593","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":"Q2842866$A9EE6B18-16C4-4E8B-8747-EBC4A10A473F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a1cac1d38d067f829ce99755b8b85e55c1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5168522,"id":"Q5168522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47eade627d6a2765930471540f4c8912eda05691","datavalue":{"value":{"amount":"+0.916079","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":"Q2842866$6C13BAB9-2219-4742-A32E-71CE81370792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"456789dc91724296f717eea8bafdfdf072bc028b","datavalue":{"value":{"entity-type":"item","numeric-id":5930822,"id":"Q5930822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3c1bdf515dd9d973e0de82660289d8abd78ea","datavalue":{"value":{"amount":"+0.90965","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":"Q2842866$E53C9AB9-1217-4182-B33F-A9FA80C71EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2cb677a98ec126ad021f5e0b361be6bddc8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1264589,"id":"Q1264589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e191f8e7841e84f327fa913a06958ba873c1271","datavalue":{"value":{"amount":"+0.90920335","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":"Q2842866$E2ADEEF9-216A-4787-B6A8-6C7661AE2FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4d5eb5d654679ab864f5857887e8412bf7154f","datavalue":{"value":{"entity-type":"item","numeric-id":3075507,"id":"Q3075507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2561ba9ae3fc9028f8da8374951fa4e4a1a166","datavalue":{"value":{"amount":"+0.9082768","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":"Q2842866$5993DF4B-EB7A-4184-825E-7F788E2790C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0fc6ef197a9b760a2f0b31c4c5d54e1acf2848","datavalue":{"value":{"entity-type":"item","numeric-id":4951403,"id":"Q4951403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786cc8ceadd94f98f98a4669895f379331be3e3e","datavalue":{"value":{"amount":"+0.9081794","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":"Q2842866$D9F85965-939C-4AAA-928B-229F35A30B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb90e869468c913de049b9bb48fb10e8e145dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4924449,"id":"Q4924449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c61afeee4b287b1670d64b5cdb98abe9cfddae0","datavalue":{"value":{"amount":"+0.9073466","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":"Q2842866$D370134E-4CE2-4CA1-BE5F-919F88C4EA94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f1879aa6ed9157338c81081024ef2bd9371adc7","datavalue":{"value":{"text":"Petri nets with causal time for system verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842866$DE1B08EB-7176-43EF-AE04-4010899777FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842866"}}}}}