{"entities":{"Q1346682":{"pageid":1357421,"ns":120,"title":"Item:Q1346682","lastrevid":70208487,"modified":"2026-04-13T13:10:29Z","type":"item","id":"Q1346682","labels":{"en":{"language":"en","value":"Model checking using net unfoldings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741463"}},"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":"Q1346682$943BE930-0DF8-4E18-A32E-F84399369534","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f0a4e02362b93a7a561c68710dbc1278a7409cb","datavalue":{"value":{"text":"Model checking using net unfoldings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346682$E25793AE-A6EE-4D31-84CB-0BFC6DF62B3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf16689d46481e67e4e11a0164a745cecebea928","datavalue":{"value":"0834.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$815EE094-1B12-4F7B-9224-FEFE02295B75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"934521dc4ca3f2497e4adb67602f92bc775d92f9","datavalue":{"value":"10.1016/0167-6423(94)00019-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$0883B78E-D40D-44EC-99AA-0AAB2B311C35","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":"Q1346682$A9F378E1-892F-48D2-8FC5-6A847198684A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346682$A59E301C-A4B9-462B-80BB-58E522E185B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346682$8C7FF4B4-0743-48D3-A944-56CF52B08380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$39D15D71-1905-441A-BCD1-EF1A67A67D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$43932304-184E-4CD3-93C4-122DFF1C7E58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d840efc87f4433be28e5256d624ff85bb8da1a02","datavalue":{"value":"741463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$F71CA7F0-9D13-4113-98CA-C96D8C7554B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdc9d7903fd3ce12e3c243bd5820c9dadc1a9ebf","datavalue":{"value":"deadlock detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346682$10CFEAD0-1B43-42EC-89CF-3724670758BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346682$7FC123B3-D5D0-4BCF-8977-8EE127C0E6C1","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":"Q1346682$A765A0AE-EFBC-46D3-9BC1-717D1316B5F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ab7c5629b0a035e2b8862c90d066e1bac7ce54d","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)00019-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346682$D67D6C80-5DBE-4DF6-9F2C-CFA5CD033D21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ea123eb006e23341426e94ba0c7d336093e937","datavalue":{"value":"W2087409327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346682$4C9506BC-CE7E-4406-A82E-738D7E834A44","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf17709a8c047256871fe56af5a19b26996719f","datavalue":{"value":{"entity-type":"item","numeric-id":5044767,"id":"Q5044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","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":"Q1346682$886D1389-BCCE-45DD-93AB-82C1CF8788C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a5b4abb1327b986fabcd62c5cf3ae178d6cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73672afc17a7131d5e7ec1030f7c6b7de4fecd2b","datavalue":{"value":{"amount":"+0.94423157","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":"Q1346682$6D5EE25E-2AC0-4D52-9C6D-DE3FD8602A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9b793577bd9a5bd2630cdb2e949521c9d3a2aae","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b044435cbc07caf08d03020bf0204340e0db8a1","datavalue":{"value":{"amount":"+0.90641093","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":"Q1346682$7B78849B-46CD-43A1-865C-9A8DBC750B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2af9800700ffdc6ef4126bb5d4b374332f86ca8","datavalue":{"value":{"entity-type":"item","numeric-id":2754166,"id":"Q2754166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a72e46e8bc3b26c584ae2353f0c07bc7a9c4ce1","datavalue":{"value":{"amount":"+0.9002476","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":"Q1346682$5C68DCFF-8EDE-446B-BB6E-31FCC9E20C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e87f41fbe81a90781c9e390d2e1d71c5f342094","datavalue":{"value":{"amount":"+0.8922202","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":"Q1346682$DBC9E0EC-E69F-468A-8B3E-B045A35266CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ae6a8a371404506ca3ba9bccabe945f8895e5f","datavalue":{"value":{"amount":"+0.8922201","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":"Q1346682$46991996-9BD1-49B5-8ABE-A4D7AC84B72E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275e91c1803ce908daf811cae4bf7cc46a6f8ff8","datavalue":{"value":{"entity-type":"item","numeric-id":2766558,"id":"Q2766558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd351a9c9fd76c609ead3749f21e48cc25cd2e27","datavalue":{"value":{"amount":"+0.8920386","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":"Q1346682$DCCC1436-BAA3-4F9C-9B4F-3F0F2404C3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31c3f13f766afaf8bc8e2e1b0204f4741c74c10","datavalue":{"value":{"entity-type":"item","numeric-id":2767091,"id":"Q2767091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c4bfe609376a4f51d27558aa08eaaeb50c48e8","datavalue":{"value":{"amount":"+0.89017534","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":"Q1346682$0B10A942-57E4-42D4-BB0D-9307FA8E3E89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking using net unfoldings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_using_net_unfoldings"}}}}}