{"entities":{"Q3817589":{"pageid":5847495,"ns":120,"title":"Item:Q3817589","lastrevid":81147869,"modified":"2026-05-06T17:50:38Z","type":"item","id":"Q3817589","labels":{"en":{"language":"en","value":"Axiomatising Finite Concurrent Processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090778"}},"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":"Q3817589$6449E7C9-1225-4D9A-B2C7-33C1E17A17E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af34a40d5eaebae2a4be45132c0e6dc464b87989","datavalue":{"value":{"text":"Axiomatising Finite Concurrent Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3817589$9B1E4D9A-DD3B-43EC-883B-19D7E264FCE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ac099bd48b28801ddbfb7066121134a200e6128","datavalue":{"value":"0666.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$31279E1C-3B7F-4B20-B5AB-5D2FBE72A595","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93822b75378843cef43f8e6734195e6dc50ee142","datavalue":{"value":"10.1137/0217063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$5D89A09B-5F24-4DE0-A5A5-DE1A9699222A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817589$2A98316E-9530-419F-9D7D-425E141FF6C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3817589$9C99DBA3-15D4-4BD8-B0B0-AB7AB1479512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$4998DBE3-E4C0-4946-B871-D94C012A8109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$7D4136EF-81B8-42D6-BC80-E4E82D6775E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$691B5B32-172A-4A65-8094-44CAC44A72A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$21A1ACCC-3EC0-4F3E-B19C-47B52C1A3E5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fb95e388b0b09c8f582907fec75afe00d4a5954","datavalue":{"value":"4090778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$C60E2FAD-59B9-4DE2-A6E9-7C399DDEA54D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bdce5d56df85d2f98b468a4e596f40dce6733c9","datavalue":{"value":"noninterleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817589$35520196-BF49-4EDF-871B-9789A30D4849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817589$E59099C0-9A54-471A-A6C5-D265B63F9C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817589$3B16EC08-79C6-49ED-8D9E-BDFE64C212ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ace8bf4699cb64394d0b2677300163ec8dcbc25","datavalue":{"value":"observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817589$8EA0D0DC-E6FF-426C-9F6D-840E55CE61F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817589$0498A3BB-2F4C-499F-975D-7244B3847EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817589$5B8DE872-748E-4D3C-95AA-B0F58141601B","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":"Q3817589$B64BED3F-AD31-4E5F-8BA2-D2AB353D266D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c69a98bfb90dc0d35c2780e5ab2eb85c732c86d","datavalue":{"value":"https://doi.org/10.1137/0217063","type":"string"},"datatype":"url"},"type":"statement","id":"Q3817589$B733DEA3-0FFE-4A31-A50B-3684771D4837","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"183eb85ef94f47f9a2e6c2dec5b15a577e7167a3","datavalue":{"value":"W2063465006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817589$CA1377C0-F68F-4F17-BF5F-6B9D9AA66C56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a882d98826ab607d7fd8022a4e917d98865c2148","datavalue":{"value":{"entity-type":"item","numeric-id":4733391,"id":"Q4733391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21a39e1740b6e94d5e747c07d453c471b984233a","datavalue":{"value":{"amount":"+0.866772472858429","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":"Q3817589$8E375EDA-3EDE-448C-B270-B02B91A997EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"655fe7b35717e634f58941003b86a53f047375f3","datavalue":{"value":{"entity-type":"item","numeric-id":4305361,"id":"Q4305361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a70f68927b1e0f14cc169e6f25aba502e258a56","datavalue":{"value":{"amount":"+0.8464107513427734","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":"Q3817589$8796CE13-F75A-46B2-83A1-2C56D2974DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d158b25560d092cf0b25072c8cd41654d8652809","datavalue":{"value":{"amount":"+0.8459159731864929","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":"Q3817589$3B2977D7-7BC4-42E5-8258-575A0E7BA75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd6659cc29953711d81fb5333b8a1d428568eb5","datavalue":{"value":{"entity-type":"item","numeric-id":3326820,"id":"Q3326820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3670dcefe2cfe5ac03b0f5fa7626e6e31e2f7d","datavalue":{"value":{"amount":"+0.8047444224357605","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":"Q3817589$F73E6C95-E424-450D-804E-4377FCB3A1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338b9acf2a0cf968d42afe574569220c098a6508","datavalue":{"value":{"entity-type":"item","numeric-id":1060006,"id":"Q1060006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf4855e4bec93efb6d975a3b7ba07203242a719","datavalue":{"value":{"amount":"+0.8043808341026306","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":"Q3817589$806D0A97-622D-4683-BF2C-40F9F7017DCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatising Finite Concurrent Processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatising_Finite_Concurrent_Processes"}}}}}