{"entities":{"Q672873":{"pageid":674722,"ns":120,"title":"Item:Q672873","lastrevid":46467888,"modified":"2025-12-24T20:40:50Z","type":"item","id":"Q672873","labels":{"en":{"language":"en","value":"Petri nets and bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985239"}},"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":"Q672873$E6EAF889-317D-41A1-B7C9-8292394C7BFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e74d6634d3ccafd05b98fe40acb8903de982a04","datavalue":{"value":{"text":"Petri nets and bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672873$8C287A9A-C3D6-4FAA-ABF3-F77D430664DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80f464ad44d2c1c1400aacff00b75530c5c29519","datavalue":{"value":"0872.68129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$03DFD900-74E8-42C8-A575-80E7E2EA7A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1727e7ee613c3698e054df19256dfbca4a48c558","datavalue":{"value":"10.1016/0304-3975(95)00122-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$BD1BF880-E5BC-4311-95DF-65BB1FDA8CC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$1CF9E48E-3CC1-4BDB-82BB-1FE94B92F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$07587BAF-33CE-4F10-8C65-675802941188","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":"Q672873$3808D472-F4D5-4194-A2A5-E6133A646D33","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":"Q672873$18CB58F9-2383-4C17-B987-1655DF24D091","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$5FE4906F-6159-47A0-9250-2BD310B6CB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$263A4AD2-3A8D-4D3A-BE59-01BF0B8DBA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$6A2DA6FC-0832-4002-9053-B63C3970E4CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46a7c2cb43b69f9e549be45a77915e4c55819bca","datavalue":{"value":"985239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$9EDCF3CF-EBD1-46E4-A057-AEE53487F978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q672873$60E00614-A68B-4122-869C-4C0E756F9005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q672873$BAD438AC-9425-4497-AEE6-0F9E1DEDEBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55fa68b73664a8080272b8793e0d48dce50b8a96","datavalue":{"value":"asynchronous transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672873$30B16E07-35C5-4CF8-B0D7-86F858D6265C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q672873$1AE65290-8C82-4B6F-B08F-3DDF505D77ED","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":"Q672873$D8808138-61D4-4FF1-84FC-1DBAE54D7A2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"519d0980ecc7a947ff4dba5c5a4e6e2b921d2558","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00122-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q672873$51A98CD8-3E6D-4D72-9F89-523BEE31B466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88e460caceefe39b196ba0106bb6af57b7aad860","datavalue":{"value":"W2075412006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672873$9CFD25BF-8C9E-4DED-B395-33D18C10730F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ceae87c9949031701fd6e8a998c407d594f1a0e","datavalue":{"value":{"entity-type":"item","numeric-id":1822987,"id":"Q1822987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$C9FD44EB-826D-467B-AB17-E9ACC21B9D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb8d5e06882c433853d7ee2893203e268f644ef","datavalue":{"value":{"entity-type":"item","numeric-id":3677164,"id":"Q3677164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$334740FE-1709-49B1-8589-7F42AC0FFFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$B73E8636-82AC-4E24-B161-368BF468945B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$E63306D8-32CB-4CC5-AE11-BA66AF2016E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb4168e06b9f07252f0d4651c8b05749e149f88","datavalue":{"value":{"entity-type":"item","numeric-id":1338199,"id":"Q1338199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$594B3451-D760-469A-9DD9-10DE0E01B0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91869d0ebd85d409febc981bba3d100f4938d22e","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$8869F79D-E5BE-4E89-AEAF-ACA861FF0BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$BBDE46C4-1D4E-47B8-9E4A-E85374179017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$A0D9CE48-B8BB-4637-A558-870271705662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$4E1539C9-E0BC-4B7E-B1D5-5289CC1F10FE","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":"Q672873$6E081838-7C15-4791-80C7-A9642D8980FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81e0a238584099d45d56494a58bf9fa6829124b3","datavalue":{"value":{"entity-type":"item","numeric-id":4032923,"id":"Q4032923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$4D07E027-B329-4EF4-A62F-553A867BE660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$2A17A594-35C0-4C05-8A8F-F07049ED3054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"285c19c59dc95826932a2529929811a81869a857","datavalue":{"value":{"entity-type":"item","numeric-id":1190485,"id":"Q1190485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$C119196B-86EF-4AE4-9DE6-D29589A60302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a00cb2fe82ff8f03a9038d269192da73736cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4733431,"id":"Q4733431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$42F735B3-135D-4F80-A4EE-4593A63A2316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$9928B66B-A362-4B04-AD72-08BA281C60EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cac7fbe3edf8dd45e61377edf3265a1c6bdbb5","datavalue":{"value":{"entity-type":"item","numeric-id":3805922,"id":"Q3805922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$7A88D802-D529-4356-AE10-47CC55B28AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0649aa478635799a327e19a4326f199f9255ca9d","datavalue":{"value":{"entity-type":"item","numeric-id":3691067,"id":"Q3691067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$552F531F-D483-4157-9173-51C7594781BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$EB1C1C4D-A43E-47F6-901F-1C646287D854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8537f6a57826b3db1ef7a461ab0575417933ffc7","datavalue":{"value":{"entity-type":"item","numeric-id":4036588,"id":"Q4036588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$AF41F7BD-9BE6-44F3-8CAC-38953494EFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$B0175738-69DE-4114-8BB3-BC739054976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"561af13c87e50291ff68f61fc96790f93d6204d9","datavalue":{"value":{"entity-type":"item","numeric-id":1091145,"id":"Q1091145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672873$A7B35902-A483-47CA-9C60-D284337FC29F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a690733f401771e9b107715d7982ef93d85889","datavalue":{"value":{"entity-type":"item","numeric-id":4247292,"id":"Q4247292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26df56176e12c6cdc8db30bc6c5b70004f4ef6d","datavalue":{"value":{"amount":"+0.8579937219619751","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":"Q672873$054473F1-1A16-48D6-A8B7-9E9776C72491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"480c0284de893ad13ad67403f8f5b448c8979db0","datavalue":{"value":{"entity-type":"item","numeric-id":3683531,"id":"Q3683531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394eb5ccd9e1c9442c4761295bc6afd629477f91","datavalue":{"value":{"amount":"+0.8472501039505005","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":"Q672873$0461B6DE-E434-49A4-92A3-5406B889CEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564eca937914e5a242596acad7b5934c3b2b9fcd","datavalue":{"value":{"entity-type":"item","numeric-id":2639636,"id":"Q2639636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163e6b0333771fc0d6795c3b122713792f439f13","datavalue":{"value":{"amount":"+0.8348463177680969","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":"Q672873$3174E494-D5A9-4FAB-8ABE-1820DA0B2400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64d282362ec69035b2c38ba296b53077582682","datavalue":{"value":{"entity-type":"item","numeric-id":1610275,"id":"Q1610275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e511a6ad5e0ee535c9009a4b604bb44b119e76a8","datavalue":{"value":{"amount":"+0.8231369256973267","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":"Q672873$38D1F03D-13F1-4F9B-8D5C-BEFB66403F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"640dc3a06f7f623e807404ffd4e9499190243795","datavalue":{"value":{"entity-type":"item","numeric-id":3751021,"id":"Q3751021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcc84035ad0f9872fa96438d2908a4e9760f4f4","datavalue":{"value":{"amount":"+0.8160228133201599","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":"Q672873$619FC397-EAA6-4061-A4BF-FE342EC72BF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:672873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:672873"}}}}}