{"entities":{"Q1129263":{"pageid":1140012,"ns":120,"title":"Item:Q1129263","lastrevid":42900820,"modified":"2025-07-15T20:54:53Z","type":"item","id":"Q1129263","labels":{"en":{"language":"en","value":"Reachability in live and safe free-choice Petri nets is NP-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190303"}},"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":"Q1129263$7F5ED672-68F9-49B3-AAF8-401510BCBBF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"156b6f59af8e93fa60c006fd28df6a951debb457","datavalue":{"value":{"text":"Reachability in live and safe free-choice Petri nets is NP-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129263$E00C3954-1935-44A7-AED9-60D228EFFF9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6a30cc12f27277917b04ab697c055d7bbb329a9","datavalue":{"value":"0902.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129263$695668F1-8DA4-485D-8D6B-2D4F57776D37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6c0fb9b867f49d3f998faca34cf2b170a19396d","datavalue":{"value":"10.1016/S0304-3975(97)00235-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129263$2934B5C6-0C15-4C67-85AC-E192404C1C6F","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":"Q1129263$34353534-F6B9-4CC3-A316-53B000E71848","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$05B25920-78F2-478B-B6ED-1EA852790BB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-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":"Q1129263$792A52D5-1700-4CEB-8C0C-522369FE0D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129263$508B47D0-3601-4ECE-8BB4-0CF1C369A296","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19f26abfbd5b931023dbd7ea004d0db2cc842a37","datavalue":{"value":"1190303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129263$E0508EE3-48EA-4848-9FDE-CB4055ACDD2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129263$62AFADAF-14D1-4970-BA77-50E0C49A8873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129263$B97B9E57-BFC5-454E-A148-BF6718BDB623","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":"Q1129263$250E7FCC-B75F-4ECE-8217-95A6BA275D22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5525f6e1458f5f3798ee1bd4566396d0a722e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":685410,"id":"Q685410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$DD89BD93-4779-42A9-8F61-5045F9A50BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$1D37F863-D192-4C7B-A12F-FAD102D4FADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09514781fdad28b363a82bb6c7615d7be249fe84","datavalue":{"value":{"entity-type":"item","numeric-id":1193656,"id":"Q1193656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$FC7B5E72-18AA-4D77-B012-940AAB7D3463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$DA7DE33C-28CD-4980-B258-B42CF8E50805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$50F8DD44-66B9-4ED3-9229-A7C239918EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcd53ff74cba134ebfff9b223ccf96927937be9","datavalue":{"value":{"entity-type":"item","numeric-id":5096369,"id":"Q5096369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$B9D07635-6622-4D19-BFFD-289FFE742E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db0019c76a494b3f566dd25d043b97b07d237b56","datavalue":{"value":{"entity-type":"item","numeric-id":3999014,"id":"Q3999014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129263$004DC1BA-23B6-423E-8F86-2834773372B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aba78a162cd57fc48962ba2bedf26b6535545b50","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00235-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1129263$5DB0A00D-821C-4183-8A96-2A4BCD89ACE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaee9fedc477b7e38a5078d0f112cb47c7aaf5f1","datavalue":{"value":"W2018409411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129263$43C6C578-25BF-4DD9-84A7-DB57F6A3C014","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5f75d2dd4887ca493d789dce68a71b4ec3cd78","datavalue":{"value":{"entity-type":"item","numeric-id":3773359,"id":"Q3773359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c60ecff5552cc1135eb73db79a1a7678ba4f9e8","datavalue":{"value":{"amount":"+0.876974","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":"Q1129263$DA7D6D7A-5F1C-4448-9C9B-E202BFBC7005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d320e89574876ab1ac892c2bd0df275d997cce","datavalue":{"value":{"entity-type":"item","numeric-id":4835904,"id":"Q4835904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3300c0a873589aa06ebb643d357bcf48b2ca293a","datavalue":{"value":{"amount":"+0.87696147","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":"Q1129263$DFF9C212-A301-49D5-8E3F-5C5E31F4D591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3783b9b49c397d2b0c1335edecc4c7fca1984fd","datavalue":{"value":{"entity-type":"item","numeric-id":2911620,"id":"Q2911620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57ef3fe33afe4a4b5c8c4a32f6258c961f076fa6","datavalue":{"value":{"amount":"+0.8741139","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":"Q1129263$82469EB5-108E-4C68-985D-2D542AD86074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cd85afc1b487861c80ae5a48234899eac820a9","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b6513cc46f1b7390194ba199ce3bc4c73462d5","datavalue":{"value":{"amount":"+0.8715862","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":"Q1129263$4B5C20BA-6054-48F8-8D08-1751F9652400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950ea8c3ba024df2ba47d9a89385075b7ac47510","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b6513cc46f1b7390194ba199ce3bc4c73462d5","datavalue":{"value":{"amount":"+0.8715862","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":"Q1129263$7BA8A25F-AFFA-462C-A896-B6D3B1CCD892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3223d66c1b00bcc1584a98fbd81c480717817311","datavalue":{"value":{"entity-type":"item","numeric-id":3447710,"id":"Q3447710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f074fa947984c5d67db8a3a80faf2202c5cd92","datavalue":{"value":{"amount":"+0.871223","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":"Q1129263$6A6D30E4-7E77-4B69-9364-B9DD342B03FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366cb32940a187f6934c6a7ed8b26d5e0eb50799","datavalue":{"value":{"entity-type":"item","numeric-id":2117182,"id":"Q2117182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57270e49b563c6bdfcb201a31a02988d56b0cc4","datavalue":{"value":{"amount":"+0.87050027","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":"Q1129263$81F8DD70-ACD1-49E2-B975-0A8C839DC46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e4fbda8c7429d0d1d5c91f23f00fd506daf3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":1336048,"id":"Q1336048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6598d77edb8ee7d9f0b3ee66c9b4e019aba4463e","datavalue":{"value":{"amount":"+0.86873215","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":"Q1129263$D3C0E37D-4709-4880-AED2-C0F6B77178EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57bd6ac72013525746b2584deb88948fbd8f254","datavalue":{"value":{"entity-type":"item","numeric-id":3018198,"id":"Q3018198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e1b27142986e345ffe8aa1f44b3320d8add5506","datavalue":{"value":{"amount":"+0.8681313","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":"Q1129263$65EFFD10-FF77-42E8-B295-B37C600D9C7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1129263","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1129263"}}}}}