{"entities":{"Q1193891":{"pageid":1204640,"ns":120,"title":"Item:Q1193891","lastrevid":66825354,"modified":"2026-04-12T13:06:45Z","type":"item","id":"Q1193891","labels":{"en":{"language":"en","value":"A structure to decide reachability in Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65324"}},"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":"Q1193891$7B41586C-CD8C-469C-8F81-9CC92E0A6B5E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10e6a494e5d02d4400775dee1805bd76ac3e6a72","datavalue":{"value":{"text":"A structure to decide reachability in Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193891$437790FE-5DB7-42C6-94E0-5D4AC96A82F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e11bd1cb52a21d71d74dfcf3f37a5c5b40dfccc9","datavalue":{"value":"0769.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$AF3D2BE7-2FCB-418F-93B6-53AA5C829094","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1921361a087ae6fe87ce90977bef516f3502df04","datavalue":{"value":"10.1016/0304-3975(92)90173-D","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$A04D1EF1-259F-4227-9C62-B0D1C75E04E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af54ebef0108f96a39da170513fb034b5de5398","datavalue":{"value":{"entity-type":"item","numeric-id":1105985,"id":"Q1105985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$93F65056-DA37-47E0-B649-B0E608BDEAD5","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":"Q1193891$1715C004-0241-4E48-A3C4-981F33FFB013","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193891$48D90206-7F5F-43A3-841A-4FA518B0CA13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$E48340C0-8FBA-47BD-97D3-696844B6AA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$4873BFB4-F9E2-40E9-BA09-48B029CA4959","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c837c46286e83b55ff9f3c6758914a315114e7ac","datavalue":{"value":"65324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$A9BB992E-970A-4513-AC5D-C78BB559A487","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193891$CAFB91F2-7B94-49D3-8FB6-564791AD0FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193891$9DF8220E-31C2-411D-8FD8-CE1083E1244C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"146e97f2bb37c2a52f5ba16a37ecfe9a486b4522","datavalue":{"value":"precovering graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193891$F4900D69-8BD0-40F3-B03D-4EB0635C5709","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":"Q1193891$7A61EB81-C146-4482-AF18-0E358501B5D1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f4896b2b37d7836caabde9e0c30bf3087be77","datavalue":{"value":{"entity-type":"item","numeric-id":4190106,"id":"Q4190106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$819216DF-243B-4EBF-AA07-B827F11CDD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7139c65837eb8115c64cb4d4e1bbefc86dded","datavalue":{"value":{"entity-type":"item","numeric-id":4198075,"id":"Q4198075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$6845B8D3-5695-44C0-B435-EE3C4C7AFB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$EAF41C96-F9E8-4D57-9341-8D21E7174C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e41085ab187796e90a7b396d19c84db2e1c4a21e","datavalue":{"value":{"entity-type":"item","numeric-id":4190159,"id":"Q4190159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$0A235E21-9FF1-4218-8D25-42B85F2A4684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$6D3E4FE7-F833-4F60-A88B-326B459C51B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66cd6b440f793c01e4d16982881b10ce4db8c0bf","datavalue":{"value":{"entity-type":"item","numeric-id":1105986,"id":"Q1105986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$494A95A2-51D5-46FA-9A83-D911585A5845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$7EE4C3F4-B541-43A6-840E-F087E477F7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a6c1a113fc3720802514f93d2c84c00edba5bc5","datavalue":{"value":{"entity-type":"item","numeric-id":3702518,"id":"Q3702518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$FACE8297-C67E-46F3-825C-9EAD74559709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be596647bf9c7a50661d5f35ff9e1f126501f042","datavalue":{"value":{"entity-type":"item","numeric-id":4720790,"id":"Q4720790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$AD8A97DF-6F79-4611-A8AC-054591563D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b5467bac8c2b14c65957d9305470ea5fcf1d67","datavalue":{"value":{"entity-type":"item","numeric-id":3911403,"id":"Q3911403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193891$97F2F63A-F1D1-42A2-9D26-BBF10860D449","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6c68fa090246f0420ca99ff1c2396f970cb935de","datavalue":{"value":"Q127976180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193891$77E3B9B8-D45B-432F-9445-96DCEC329CA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a466e2b363e2f475e0f622d17d63bb650ee2d89","datavalue":{"value":{"amount":"+0.9267221","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":"Q1193891$4FD7B68E-F825-4E30-AF70-68A04DF51699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eb5acd23d08a3ed08ee2687fcd84b5ed6ccbb","datavalue":{"value":{"entity-type":"item","numeric-id":3820016,"id":"Q3820016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454274230343fc63cdfc48530bfbba3aa75b05d1","datavalue":{"value":{"amount":"+0.9173579","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":"Q1193891$6CEA4869-2F5B-429C-ACBA-D4D68FE47FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d57fc9db7a08b0a529fd12ed1e2caebbd25b23a","datavalue":{"value":{"entity-type":"item","numeric-id":1860056,"id":"Q1860056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa46001152fb820d3f81a10e3b1d99d61819dcb","datavalue":{"value":{"amount":"+0.916816","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":"Q1193891$BC473829-D69B-4B53-AE7D-5FA3E979EEAB","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":"41b6985764ab0ad73d9de54716c295d0106b3461","datavalue":{"value":{"amount":"+0.91333306","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":"Q1193891$74133149-11F3-4255-B729-539C69150998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c195f30d9152613b58e022b571a62444dfbccc","datavalue":{"value":{"entity-type":"item","numeric-id":4515247,"id":"Q4515247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229b54a043c39da53388f9db995e9ff471579929","datavalue":{"value":{"amount":"+0.9106633","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":"Q1193891$E5F520B2-B95B-4978-8AEC-9864790135B4","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":"b0674329b6dce287abb279d6aaaadd92d0561972","datavalue":{"value":{"amount":"+0.9096439","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":"Q1193891$D66767AB-FCCD-4C18-88F7-C66539CB7A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0c966eb4160bf20caf2f9bc177ad05cf41d2b64","datavalue":{"value":{"entity-type":"item","numeric-id":5959841,"id":"Q5959841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b5831f88349c9490f2275f196b38e40f4c050c","datavalue":{"value":{"amount":"+0.90922475","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":"Q1193891$75DA939F-65B3-4994-84A6-9E3F00988EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbc9ba4180a6d2f6a294eaf1dba353bc08ae4cb","datavalue":{"value":{"entity-type":"item","numeric-id":4823615,"id":"Q4823615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a050f796bc0d7f0657f6ac6eab7f15511bfb4dd","datavalue":{"value":{"amount":"+0.90392065","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":"Q1193891$2BA6D257-7BB1-46ED-A98C-3013045327B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bf4d37158eb3abb2df535f027a48df933e29c6","datavalue":{"value":{"entity-type":"item","numeric-id":2911619,"id":"Q2911619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8facaa815a9153dd2c7e14a9f9a27c1f8493051a","datavalue":{"value":{"amount":"+0.90285516","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":"Q1193891$CA34BC82-FFA4-416D-877B-4D44C552FA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6a7d624023e16dabc560c655c617ddf8cec13d","datavalue":{"value":{"entity-type":"item","numeric-id":702167,"id":"Q702167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a7ad2c76fd9904d064d414319dc36dbb1cd8fd","datavalue":{"value":{"amount":"+0.90146136","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":"Q1193891$A21C5133-E40B-4EEB-BBB2-B7D0F3A99117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structure to decide reachability in Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structure_to_decide_reachability_in_Petri_nets"}}}}}