{"entities":{"Q672326":{"pageid":674175,"ns":120,"title":"Item:Q672326","lastrevid":63461502,"modified":"2026-04-11T13:19:47Z","type":"item","id":"Q672326","labels":{"en":{"language":"en","value":"Undecidability of bisimilarity for Petri nets and some related problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984928"}},"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":"Q672326$A36D32F3-0F6E-41AF-87D8-7D667F1DDF59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"77d1865e19d83c35dd490ceff02e297222de2c16","datavalue":{"value":{"text":"Undecidability of bisimilarity for Petri nets and some related problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672326$14F209E7-B68A-4B87-8DC2-5D5BB6708D7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19d4e71f55a2ccca6755a5861468714716ba26b8","datavalue":{"value":"0873.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672326$FA24DFE3-AE03-4906-A200-138897A10CDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"359e3a3f2fe4135e7cc49562053cb19565b235d2","datavalue":{"value":"10.1016/0304-3975(95)00037-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672326$F9AD69F0-6200-4341-8D45-0F04CC90AB3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34b34490b42e542c961f98f9ba6d799768378b70","datavalue":{"value":{"entity-type":"item","numeric-id":672325,"id":"Q672325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$3BE3DB81-BEFB-4113-84EA-600D3F11FD5C","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":"Q672326$B277AA22-448B-4C77-B41E-D28D00C6AA9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672326$1771E0FF-5476-419C-B458-3CA24CA0B2D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672326$DADB01ED-41A4-457D-AD62-2673CA8CD11A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c3db3853644762c43ebe58b510836583e43ef11","datavalue":{"value":"984928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672326$486BF554-33BB-4999-9AE4-AA2620F36717","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q672326$6350A571-855B-4D27-8D9A-6DB153CE81D4","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":"Q672326$730A464B-92EA-45AA-8094-2FEFA6D677B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a11adc3e6af702a76e9c76af294c3975279c1d","datavalue":{"value":{"entity-type":"item","numeric-id":1118393,"id":"Q1118393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$0536391B-4A19-4961-B7BE-2778FAA3A423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$CEB3E7C3-8089-46F8-866F-7C4ED68BABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$D85B55D7-193E-4552-AF32-8DBC6DE85412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6981775c3bdaad566fe065afd3c04ece6176878a","datavalue":{"value":{"entity-type":"item","numeric-id":1238997,"id":"Q1238997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$407DD9B7-38FE-45D7-AD4D-CF33809159BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$7F93AE7F-CAC3-4BF1-A8FF-93352967BEC0","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":"Q672326$FF02B38E-186A-4E7D-97A2-414D7CB254C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e742a7f7b01578489aba7482eacdf4a4dd311e40","datavalue":{"value":{"entity-type":"item","numeric-id":1096388,"id":"Q1096388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$85087D6D-6B74-47A5-A3B3-824445F8077E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$CAD22477-363E-4EE4-8CF2-818C4CE716D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$619F24F3-52F9-45FB-910D-A155ADFFF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce511bd02960a809fd21ecf773460f1a6a507a7","datavalue":{"value":{"entity-type":"item","numeric-id":4942620,"id":"Q4942620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$C3EBFE29-13E1-4378-BA8D-1CECB50B3E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca41435a84244fe0399069b765ff29bb08d6b267","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$0772A71D-9AAA-413D-AAEA-5EDFFE7968B8","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":"Q672326$5C49BA83-0239-4BE8-8786-FB78DDF7D1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$68A63E1B-4909-483B-B1D3-975312ECF874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$2D4FFCD1-D503-4CC4-B322-045F78C9C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$EA1979CF-8AC6-4840-B294-57D18577A217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$221A216B-7B6D-48FF-9833-3D9C974B6BA6","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":"Q672326$94ADB467-FB26-4885-84A5-FEA298152F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$17A42108-6246-4242-8908-FFE7A84D316C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a04643079bb03672b8a1dbe12aa7b0f8cb6861ad","datavalue":{"value":{"entity-type":"item","numeric-id":5729305,"id":"Q5729305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$FE5C66DA-6592-418A-BDE6-5A3720549539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$8CEFA697-4D08-4373-BBED-CEC6A7C0CE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4742fb3b3c48c73bcf3c896ebed6b9469ae658","datavalue":{"value":{"entity-type":"item","numeric-id":1158763,"id":"Q1158763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$4183219F-C2C3-46B0-BF60-B9C40C7A1815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e96b691fd3418c23318e386f97f9be78e6fadf04","datavalue":{"value":{"entity-type":"item","numeric-id":396979,"id":"Q396979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672326$677BD8BD-F2F5-4EE9-9C96-F177FD60D594","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74b05712e19e3b92740ab5ba8348e04b5f9ad4fd","datavalue":{"value":"Q127613938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672326$15ABB39B-9463-45D8-A09A-AF71B89642A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76e8fc93a67887c97f5139257894ef7fcabc8e09","datavalue":{"value":{"entity-type":"item","numeric-id":4818859,"id":"Q4818859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06257bc40fa656bbf6a11aee6e63efc6bfdd71a7","datavalue":{"value":{"amount":"+0.9100623726844788","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":"Q672326$503EB629-432D-4CD2-8CA5-A8CA3B465C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc224367185c7e2f0bb6d7917b4953a02609c4d7","datavalue":{"value":{"entity-type":"item","numeric-id":5096742,"id":"Q5096742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdfd78294e43336d5769832847d910679d247bcc","datavalue":{"value":{"amount":"+0.9096527099609376","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":"Q672326$F0AE0872-B611-455B-8D93-FD7D433345AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abb30e3eee666b877e4ddf6129a9ed8bd18a8f71","datavalue":{"value":{"entity-type":"item","numeric-id":5941099,"id":"Q5941099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0269adea0489ce932018e9b16f580548a62e1e0f","datavalue":{"value":{"amount":"+0.8792513608932495","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":"Q672326$3F987D99-D070-408F-9E4B-B68418862279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fc7fb833175fb37418f8d63220dc8581562c89","datavalue":{"value":{"entity-type":"item","numeric-id":4449204,"id":"Q4449204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0269adea0489ce932018e9b16f580548a62e1e0f","datavalue":{"value":{"amount":"+0.8792513608932495","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":"Q672326$D8B329C5-B37B-4915-A394-1ACBEA007F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9026d896545204cf85749b30cb0a542308452f","datavalue":{"value":{"amount":"+0.8664234280586243","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":"Q672326$04E57E17-5A6C-43E1-A683-733BF9745389","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of bisimilarity for Petri nets and some related problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_bisimilarity_for_Petri_nets_and_some_related_problems"}}}}}