{"entities":{"Q1860056":{"pageid":1870798,"ns":120,"title":"Item:Q1860056","lastrevid":71006463,"modified":"2026-04-13T18:51:47Z","type":"item","id":"Q1860056","labels":{"en":{"language":"en","value":"On reachability graphs of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1872216"}},"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":"Q1860056$6E35CA86-2EE9-487B-A816-8E2D6B815FD3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4909a47ffa13a27ce246787f4598791ccfae68c9","datavalue":{"value":{"text":"On reachability graphs of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1860056$EBC31648-D908-4B40-9C85-564B938A88D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4a880a34c1d461ab6f16f204379a34e9527cc62","datavalue":{"value":"1006.68615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$1F24D4BD-3B46-4DE6-ACE0-C1F797D1F134","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38b81c2acc297d2ea81acaf68b470303de2e59a6","datavalue":{"value":"10.1016/S0045-7906(01)00034-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$1372E03C-C5D4-4A03-98D0-0BD376995415","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008098fecca008b1ada01d49f31ae5cfc2496c2","datavalue":{"value":{"entity-type":"item","numeric-id":364435,"id":"Q364435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860056$337D3E5C-BFFF-4F17-A4F5-2E997478CBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f955e215938698f75abd9f0773b104d5b256ea3d","datavalue":{"value":{"entity-type":"item","numeric-id":902557,"id":"Q902557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860056$C8AF1614-2AE6-42A8-B527-BD8EDC937052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07abc0868bbf3c0352f8089c12b27e770f5814c5","datavalue":{"value":{"entity-type":"item","numeric-id":364476,"id":"Q364476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860056$4BB89482-5DB1-418D-932F-5BD932773342","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1860056$F1A2649C-D414-4FFA-8807-4C16FEAAFE22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0a53bad61274f688eca5bb25f8643ebbae25531","datavalue":{"value":{"time":"+2003-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1860056$738D70C4-A134-4059-89A0-3262BD7ABC77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$45627395-35EB-4B21-B52C-EAC7C099B6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$DADC9531-3F9B-42F3-A330-DA861E0E5C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$DD3AF676-46C0-427B-BEFC-70A5364F6A27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4de3f9e1e84198f243fd019ef861e94a6c03a7dc","datavalue":{"value":"1872216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$47F1F1F6-D404-419B-AD5A-6893617C472D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$3D681AAD-FE54-4C13-AD7A-82EFC6A5D390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6521ccd380c236f763faef98a7efcf1ee65a7c4","datavalue":{"value":"reachability tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$FC32F103-2965-4509-8CC4-4E214C55FFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$4AA6B726-BA23-4094-B02D-128C7978C736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb1fccea9893a75d0edb01779fef607bc38eb63","datavalue":{"value":"safeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$A77B1937-1397-4C11-BEB3-4F696CB460E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$DEE89482-B876-4FB1-80DB-F63868B89891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39ece27df4663c7fd54c61ee7602b62b0604cc6a","datavalue":{"value":"conservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$51CC93ED-95AF-43CC-BD2B-9686637A40E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$B53EF943-B895-41D1-98E6-13B49D505990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$FCFF2AE9-0E75-48F2-9CDF-7DED25FAC940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97378df6857232915fa2b1f482014a0c8c4a538d","datavalue":{"value":"coverability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1860056$DB00E73C-30A5-4FAD-99D8-829ECBDC6936","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":"Q1860056$7786D5ED-5E99-46AF-9DEA-C8FFFDF09B68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1ae3b539b66abff4f731cef6c3ab8085cd0afb","datavalue":{"value":"https://doi.org/10.1016/s0045-7906(01)00034-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1860056$16E66E80-27C8-448B-ABDF-DEAE353A03F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bdca8f0ed876b53bfc7c7b1a49b6ebca74c3a7b","datavalue":{"value":"W2095048141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1860056$2E0DC4E1-03EF-4FA6-B3E3-6F6128E1F65D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdc01d57b4067868952446079d8ede1fbfa8c7","datavalue":{"value":{"entity-type":"item","numeric-id":4982092,"id":"Q4982092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48432f1c7b4fd7bff4f5fd92480ffc3b66d43118","datavalue":{"value":{"amount":"+0.7718977332115173","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":"Q1860056$91F733E4-9A3F-4389-A21D-CB6CF8470A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5faebe144bcb56da3dfb13a6d1eed04de146e1","datavalue":{"value":{"entity-type":"item","numeric-id":5903739,"id":"Q5903739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdf7845e5938d1c0405698252ce27ae111505b8","datavalue":{"value":{"amount":"+0.7694337368011475","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":"Q1860056$91F8F8ED-DDB6-49DD-B156-08D725E1FD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad82a7a686c1eae9cd7895531665e3a318487e00","datavalue":{"value":{"entity-type":"item","numeric-id":3694702,"id":"Q3694702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a41d452dc1f9e1516932f3807b62f7f911d528f1","datavalue":{"value":{"amount":"+0.7528036832809448","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":"Q1860056$D6D86C9D-932F-42E1-BEE1-22E7EA8C415F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655ddbe517fc3f24d8acfed97c7816f58f2fabcd","datavalue":{"value":{"entity-type":"item","numeric-id":3341915,"id":"Q3341915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd95e9218087bb6dfe5d7f247741c4e581076489","datavalue":{"value":{"amount":"+0.75225830078125","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":"Q1860056$3B928DEB-0143-4EFB-B841-68210D8D90C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5b4c9734ce304638822b962c563c5f4e372db78","datavalue":{"value":{"entity-type":"item","numeric-id":856211,"id":"Q856211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb338391870c3b13a3587e9fcf4d1c022552170b","datavalue":{"value":{"amount":"+0.748546838760376","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":"Q1860056$BAC4B686-FD9E-4079-96D5-6DFD3955A79A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On reachability graphs of Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_reachability_graphs_of_Petri_nets"}}}}}