{"entities":{"Q2373704":{"pageid":2384447,"ns":120,"title":"Item:Q2373704","lastrevid":50129738,"modified":"2026-01-13T06:00:31Z","type":"item","id":"Q2373704","labels":{"en":{"language":"en","value":"Operational semantics for Petri net components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5171329"}},"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":"Q2373704$4383FE2F-4E93-49A7-81DC-F5F31C976A74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b3c5995db9ecd0feb9e91eccb8358510c454e37","datavalue":{"value":{"text":"Operational semantics for Petri net components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2373704$69BF9A44-ABC7-4FEE-83B9-189D129462CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77022d0193a24962f9649c63039172cc32d0abb7","datavalue":{"value":"1118.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$3B5E4952-8E0C-4E1D-98B1-78AAF661A40D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$46A01A62-D49A-4D50-AB6D-B40B8C3E4754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1dc6cdd5d4a24a1dfb60a4bf78ddc98fe9f8bf","datavalue":{"value":{"entity-type":"item","numeric-id":974132,"id":"Q974132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$241614FB-0D12-4CA9-8434-25AEDB0F15F6","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":"Q2373704$6CB6A1E1-383D-445E-B9E4-E251565F0C8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e3acd577c56b212087d574010dc1f6e1c3c3b90","datavalue":{"value":{"time":"+2007-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2373704$70489D15-FAC4-4B3D-BBCE-3ABBC96A1D96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$B3A103BB-FBC2-4ED6-8918-97BA3DB41FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$9860FF4D-01C7-4C41-A4C5-A4FA671C2D4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a80728cca7a87aa38962b3f8c10666acd17a852","datavalue":{"value":"5171329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$DADBF0D6-8CE8-4847-A11F-D0D491C2321D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$53C0FD44-1D8A-4AD5-A3BF-F02410C102C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$51B35E4A-0A7D-459B-AE0D-75C007225E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$503CCDE5-C4DD-4F66-B361-1451292052BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$A1E63DE4-850F-4480-B878-5BA02AF21B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9778e1c50ad040fdbd47bced21cb9b0823eb5ce","datavalue":{"value":"modelling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$42C36ED8-6DE6-48A6-BFAF-F4B10058CCC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2373704$08D07B56-4E96-4116-819F-B9F397E36828","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":"Q2373704$7073B885-4586-4325-AC79-5E67C46C7D36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"825f1f7878dd9005668254cd491457afdabf465b","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.01.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q2373704$A23B5772-C176-435F-8673-8987FA979522","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a85c2c534711b76c13f8e7b94c7ef97092fec63","datavalue":{"value":"W2048541292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$000FF06F-8DD5-4B34-B888-BEA44D5F0CA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$D5E400B1-132D-4B91-BBCB-7D7BD7D298A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8625d4274683c0c292894b22be2497f5b16d4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4791852,"id":"Q4791852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$C7E04E90-2285-486E-8A4E-3635866D99BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ddd70adb898992a0a52ba8ed78c1e961e471e0","datavalue":{"value":{"entity-type":"item","numeric-id":1350620,"id":"Q1350620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$EDE27F57-C703-48F1-A680-34091E423403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$2CE728C5-FD8F-4F68-829B-BA5960E3B52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f61dbae4a30f08ddf795a4f68494f79ad4122a","datavalue":{"value":{"entity-type":"item","numeric-id":1975965,"id":"Q1975965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$9B889B6C-10E4-4F38-9607-1EA37A72E287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$889FCBB2-D48E-4B32-856E-8C06ED6E045C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f069a555dad2c65107609610875dd9596320e501","datavalue":{"value":{"entity-type":"item","numeric-id":3771632,"id":"Q3771632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$5E618D08-0E77-407E-886B-961E4888814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$1C7C5EF9-C7B9-4491-B118-5F8D68AE0A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ff68e05bf4998969b4e9bdeab8058208576f74","datavalue":{"value":{"entity-type":"item","numeric-id":4301180,"id":"Q4301180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$F43E9CDE-88C5-4D44-90B4-800D2B07017D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$06A6C4A6-1A52-49CD-AF5D-B2B2225E492B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af50059e8e1b6fd884ee17d2bf5d3eea2af941ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023496,"id":"Q4023496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$D2C13DE0-CC55-4F3A-86BE-F5B163D4FEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a005d1d8670709d466e18edb24da5115b74be5","datavalue":{"value":{"entity-type":"item","numeric-id":1274445,"id":"Q1274445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$1B7DA876-7370-4260-90CA-D569D8058FBE","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":"Q2373704$9B6D7606-3E9C-48AC-8512-D4A90333B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$7A29F2A5-ABA2-4AE3-8AF2-E77CBEB09709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c415d44b7e32fb4c8de0aa895fb17933c7af9911","datavalue":{"value":{"entity-type":"item","numeric-id":1274975,"id":"Q1274975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$DCCEFA54-E0BB-47F8-8486-4FE1856B8967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b764f56fce885c9d5b8a36fee8a93ac5ddbdafc2","datavalue":{"value":{"entity-type":"item","numeric-id":6487378,"id":"Q6487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$96CCB27C-0DEE-441E-A917-2BB5AE494F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c2c67d9264afcb96d287b3b8cef95dbdb5e5a6","datavalue":{"value":{"entity-type":"item","numeric-id":6487400,"id":"Q6487400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2373704$A083CBB3-D7E0-4930-A440-CAA0276B2868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7aea39ca6f98bec99a1bcf9301490d1f6708f51","datavalue":{"value":"10.1016/J.TCS.2007.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2373704$9E420503-FA44-4BD4-BE06-BD65D52A88ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64a16bafb6309423f9170363530ee9cdf1d5d978","datavalue":{"value":{"entity-type":"item","numeric-id":6487378,"id":"Q6487378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1faf3a690b18b4c0744d3dcc548e123161ad360b","datavalue":{"value":{"amount":"+0.8414163589477539","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":"Q2373704$538881EA-1024-48C3-BE00-68D2DF13056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a7a2fc0d55bea040636f63c9d7b7e081a95f65","datavalue":{"value":{"entity-type":"item","numeric-id":3776645,"id":"Q3776645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340a7d26fa8f0ccbd7ce60e5b25d84c1a19f399","datavalue":{"value":{"amount":"+0.8194059729576111","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":"Q2373704$21235B7C-6F51-4883-A78E-D474D988637F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400627587d1e34a6d02f9163d4f773c5065ace13","datavalue":{"value":{"entity-type":"item","numeric-id":1902302,"id":"Q1902302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17587cc93f15748cfef9e5085d8cf2db4d948466","datavalue":{"value":{"amount":"+0.8140310049057007","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":"Q2373704$161F284A-95AA-4B6C-ABCA-C9EDB2076384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7523421eaeaf7f235de5ecad6e6fd3700d0f640","datavalue":{"value":{"entity-type":"item","numeric-id":3735084,"id":"Q3735084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd047c5e6d8c48a277f0fccc61dabb072a753a26","datavalue":{"value":{"amount":"+0.8137211203575134","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":"Q2373704$C5CC0CD6-8352-4373-BBB5-A02520656082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1505cd702548673d371268e3bfb81a0ae333a7f0","datavalue":{"value":{"entity-type":"item","numeric-id":3745292,"id":"Q3745292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e07aa54a7b040d65f88aa67f783e34147bd8cb9","datavalue":{"value":{"amount":"+0.7991881966590881","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":"Q2373704$DD7EA912-FC5E-4D81-B3F8-0EA15DFF5128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2373704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2373704"}}}}}