{"entities":{"Q672052":{"pageid":673901,"ns":120,"title":"Item:Q672052","lastrevid":63452520,"modified":"2026-04-11T13:15:49Z","type":"item","id":"Q672052","labels":{"en":{"language":"en","value":"An axiomatization of the algebra of Petri net concatenable processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984754"}},"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":"Q672052$D97D62B4-F437-4F29-BEBC-0B781C9BB26C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89eb128276b7ecc139c5f2c876748d773146be0","datavalue":{"value":{"text":"An axiomatization of the algebra of Petri net concatenable processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672052$8AA65E7D-910F-4E1C-B34C-D4187CBAA3A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aacde2bc203c336ee95102c21e15a9a354877b4e","datavalue":{"value":"0874.68224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672052$E12C471C-D8D5-496C-9054-A5D132740FA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ca1d7cab29d7a4eede8504b0d86328b540c5cf4","datavalue":{"value":"10.1016/S0304-3975(96)80709-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672052$36F7EE0D-7A6E-4286-A68E-3DBC349EC574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72cf230e3fde5ecd81513857d6a2a255a86452d0","datavalue":{"value":{"entity-type":"item","numeric-id":383371,"id":"Q383371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$3D69E3CC-6239-4FAA-A5BD-4E1730FE2257","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":"Q672052$80396453-15A3-40A5-992E-EB9825BBF9CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-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":"Q672052$95AABF84-ADFA-4978-8B58-9C5D6355F25D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672052$FA003CA0-BFA7-4AAF-9CD2-5B829DC7BC75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcf60885a08914e647fefffbea9b020458bc5c84","datavalue":{"value":"984754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672052$6BCFD971-CBD3-4C19-9DFF-ECA2D9A3E796","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226ccb5d64e4dca42231c4ca02ee31d98529df99","datavalue":{"value":"concatenable processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q672052$7CD5A182-01EA-4F58-A4FE-EFB45F53017B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63ec0ce5cf08c3eb82d4c9fc663af2989b539e44","datavalue":{"value":"petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q672052$85D20A8D-A7F6-4B8A-9D16-326DA7799B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93386d1e6ae49ce2aab6e3e24841f24772606599","datavalue":{"value":"symmetric monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q672052$7CC64635-5395-4C1C-A58A-473A66C8B574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cf531807d1424e6515228822fe70f93a61e21d","datavalue":{"value":"axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q672052$00880A39-10A5-4833-A730-7F6AFAA5AA56","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":"Q672052$5D25363B-0648-46A6-A82D-C2486F30BE46","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2266224524b59688f3f5f36049c5d735368d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3848220,"id":"Q3848220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$58120443-8B0A-4CF7-B952-37BDC22180B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5d5022a03ef90b60bd9d94e10d019f66d2ead8","datavalue":{"value":{"entity-type":"item","numeric-id":1119024,"id":"Q1119024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$5C5D4637-47E1-4E33-A495-642E73A96475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb5fe0c5736570e1f150d7c829e8c2408912f0f","datavalue":{"value":{"entity-type":"item","numeric-id":3210197,"id":"Q3210197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$3A53B8BA-9154-4C83-B0BD-637DAE994DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$DFD80087-8C08-4332-9B73-9724707590D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2af4c0d8f7240bbf9343bb6798fb99c89343b13","datavalue":{"value":{"entity-type":"item","numeric-id":3343446,"id":"Q3343446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$F5768127-D0FF-419E-A8FE-CA0080F697CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$76DE779A-9E07-4FA8-B912-C26F75D71227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$FA053D14-DD56-45A3-BF39-29F9C18AB94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$807BD7AF-6389-4ED6-8FEF-5880848A3789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b363bc7055a2eb6216b60ec72df8524cf95f23b2","datavalue":{"value":{"entity-type":"item","numeric-id":5545545,"id":"Q5545545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$9D54F4B5-39AF-4A69-B33B-3C39ECF42596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$4C163E2C-D575-44BA-B05E-63E601FBCB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$D3D1A47E-665E-4E68-A217-3CCB91530523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77834770e77402d45e3b436ca1c7633e82f8fa52","datavalue":{"value":{"entity-type":"item","numeric-id":5096741,"id":"Q5096741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$D7451240-5F76-4FF5-A684-9B7C3B794E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668e0eb0e0bc1371a45251942249c8849adf5169","datavalue":{"value":{"entity-type":"item","numeric-id":5055915,"id":"Q5055915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672052$DBD6F09A-992C-4779-A1E5-ACD06CDF6D9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca9097dd60c25ddd851d6cfe44aa6fa8d8a10d54","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80709-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q672052$B5679D86-E9A0-4492-8890-44BD4BB89702","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77abe8be399dadf16856f41ecad337e88820ab84","datavalue":{"value":"W4256193793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672052$7B3F63E7-7D22-4848-81CE-C055AA829BD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"007d0d4c01a93f09f02630bcd41431a1eed70775","datavalue":{"value":{"entity-type":"item","numeric-id":5055915,"id":"Q5055915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b1ed59b7da227ea574bdf1878b6e675c2c0240","datavalue":{"value":{"amount":"+0.9790315628051758","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":"Q672052$CD291097-1919-4827-B6B2-960324C5518A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6daf67b1eda51d2b63ffadce9040f819a363c097","datavalue":{"value":{"entity-type":"item","numeric-id":4236218,"id":"Q4236218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f92fa3e4960d57be5fb3ec5c1494567dc851575","datavalue":{"value":{"amount":"+0.8865134716033936","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":"Q672052$FA4361DD-396D-43C3-92A3-D806ED2B5CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b823d80f310d1cca55180b0091589776e72835f","datavalue":{"value":{"entity-type":"item","numeric-id":5486076,"id":"Q5486076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70477490ea78e5c4f48dc1cd3747073dc161c253","datavalue":{"value":{"amount":"+0.8642661571502686","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":"Q672052$4EDA9118-B183-4309-9097-0AB95A7430AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb16213c6980829a5ad6fcb8dd02804e7394891","datavalue":{"value":{"entity-type":"item","numeric-id":1901718,"id":"Q1901718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c98ea93f22234ffe56ba1a86198ef55b1d9622","datavalue":{"value":{"amount":"+0.863135576248169","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":"Q672052$D15CA67D-8F63-46C4-86FB-7E799C57524D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"477247a2688ec7ca26a8b623f4f1026ae1a0fd49","datavalue":{"value":{"entity-type":"item","numeric-id":4219030,"id":"Q4219030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c98ea93f22234ffe56ba1a86198ef55b1d9622","datavalue":{"value":{"amount":"+0.863135576248169","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":"Q672052$820053F8-089E-4010-9DEB-DBCA897F8485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiomatization of the algebra of Petri net concatenable processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiomatization_of_the_algebra_of_Petri_net_concatenable_processes"}}}}}