{"entities":{"Q5964014":{"pageid":8140816,"ns":120,"title":"Item:Q5964014","lastrevid":52465460,"modified":"2026-01-22T17:30:20Z","type":"item","id":"Q5964014","labels":{"en":{"language":"en","value":"Finite-state concurrent programs can be expressed in pairwise normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546401"}},"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":"Q5964014$2CBEA35E-1DFB-445F-B57C-DEDCCFD177E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc47204c0f428ed1591e5fb90f3144e88b7c8edd","datavalue":{"value":{"text":"Finite-state concurrent programs can be expressed in pairwise normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5964014$C2BBE838-08E9-4000-8DCE-5182F9285C8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f69806df8c75aa894d0d8b748de885c81d92df8b","datavalue":{"value":"1335.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$202344CC-AB65-4051-9BF4-71FEF151FFD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2081e4d5abe5c999dc65e69553b1dbf43b4b3046","datavalue":{"value":{"entity-type":"item","numeric-id":248920,"id":"Q248920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$7C350B90-EFED-4948-82BA-1512A2A53729","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":"Q5964014$9BBBFF86-DA10-40EE-A3B6-08B6DA18BBAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5964014$642C3CA1-8B7C-46DA-BD79-ED6FAA58F30D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$5B46169F-F961-4A31-84D1-348F170ABB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$7CC4A05D-39DF-4676-A29F-997FAFFB5AAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dc1a4193ae143ef73aa71151bf646b59a3f6ad2","datavalue":{"value":"6546401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$A02D9A06-561C-4950-AE4E-38A0D5366100","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b2eb61edefbce464ceed281afa52b7ab09eb48","datavalue":{"value":"finite-state concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964014$93D0B3DE-599E-4514-A0B3-F74FABA14E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964014$B2522B44-41A5-4DE0-A778-A1A760DD34A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe9b4f7b735f8a2ecb5918488994ac3ee098f20","datavalue":{"value":"atomic registers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964014$F2403041-986A-4341-B6B2-66651341F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23bd0ef93f7e91effe275f4fafd0d3daea9fa451","datavalue":{"value":"state-explosion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5964014$D8C2E879-4AC8-4C78-B510-1D6416BED281","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":"Q5964014$D841A022-F638-48A1-8BEB-FBF588A556BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d63a0d6fdd3c0448d3ce7992becc1366ff206adb","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.11.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q5964014$77AE8F6D-7C08-4D84-BD81-F8923AF07C54","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f604e512bbb8b0921c1fba9a8a2a53bb03042c9","datavalue":{"value":"W2186142421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$641CDE90-769E-400C-A13C-970B611BC976","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc7776f19c269d4e05635ae558d4949e419478a","datavalue":{"value":{"entity-type":"item","numeric-id":4270054,"id":"Q4270054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$3CA1A22B-AC46-4181-B64F-75EFB097658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac06ca83df09724c682ad0cd1bcc0adf6f38ac72","datavalue":{"value":{"entity-type":"item","numeric-id":346790,"id":"Q346790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$C0C01299-181B-4CDA-B521-F433C7A9177B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f13b8d2afaa8109e42b30c9885257af62a17ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5711509,"id":"Q5711509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$35B8368D-4375-45AB-BF02-05A3C40FBF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$91D6305F-0C6C-48AC-9BEB-D53F33DAD17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82c6c38b246b50f12ce10f89cfe0940e072b3fd","datavalue":{"value":{"entity-type":"item","numeric-id":4337631,"id":"Q4337631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$0CA8A4CE-7A41-48B8-8A70-707F455A46E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$68B24C2A-D58F-4DF5-BAD5-4C463E2791E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$A853CD5D-632C-45AA-B53C-37AFC6C205E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab9b2e7851d0f92be06e6e8ba9f6d59918d25b","datavalue":{"value":{"entity-type":"item","numeric-id":1292429,"id":"Q1292429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$317F087B-3F09-4BC8-8155-5A723C5B49F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774e3500a235535f8ffd89c4409b05e46097ac51","datavalue":{"value":{"entity-type":"item","numeric-id":1901695,"id":"Q1901695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$09B22C78-032B-4CE1-B9DA-43115BF3A7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$9DBB213A-A624-4844-9ECC-5534F8B83810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d683b49ce2f765cb0ef780834cf49a7f3a496a48","datavalue":{"value":{"entity-type":"item","numeric-id":5348836,"id":"Q5348836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$DBAB6BF3-C429-4684-9481-4AA485E49A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7144f88f122b714c4fda43fd422fea6acbf99688","datavalue":{"value":{"entity-type":"item","numeric-id":1079945,"id":"Q1079945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$A848D51C-D3B0-48D3-94E2-FAE6F6709417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fcc44b1954af9d70643400ae0de171af7a443d","datavalue":{"value":{"entity-type":"item","numeric-id":4371684,"id":"Q4371684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$979CF1FD-D21E-4659-9F50-102B84A516F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839a9864384eb5ed7113fc6044c9c61b671d2ba3","datavalue":{"value":{"entity-type":"item","numeric-id":1199944,"id":"Q1199944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$02B0A16A-A28E-4287-9070-F933D5BE8DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f4533a245c21db753af232c184081d9b98ae22d","datavalue":{"value":{"entity-type":"item","numeric-id":3833630,"id":"Q3833630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$116363B4-4BA7-44AE-94B0-1F5CFD959047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$7DBED422-3093-471C-BDA5-71579DDAC2F7","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":"Q5964014$58D946E2-E416-4B5A-BAB5-AB16E1D26B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc01c3546dd4a570a6e3cdca264cdb16f26b907a","datavalue":{"value":{"entity-type":"item","numeric-id":5361456,"id":"Q5361456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$9A843BE2-B330-437F-8917-2408810CDBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a6c1e3395cc4a5fee11ed8f2c271a8cfa219b3","datavalue":{"value":{"entity-type":"item","numeric-id":4299010,"id":"Q4299010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5964014$9CFAC3B6-2EA5-4D71-8966-92B1EC987D28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d917aa782968694454199ce8cdccb97ec0c449f0","datavalue":{"value":"10.1016/J.TCS.2015.11.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5964014$F3A7629C-97E1-4FAA-A79C-97C9EC2C6671","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27903fac50a833cbd8d117fa68139da58ffcd073","datavalue":{"value":{"entity-type":"item","numeric-id":522959,"id":"Q522959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b7b9bf42eb719e2bbb060ca5cd322e9005c164","datavalue":{"value":{"amount":"+0.90630704164505","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":"Q5964014$30B62335-30FC-4A57-BBE0-BDA8F86AAB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"488c21a78dd81d683630ef8f3bd4a8fbadae51c6","datavalue":{"value":{"entity-type":"item","numeric-id":1094869,"id":"Q1094869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11fd9cdb0b8021aa1e2753961a299e8b9c220d0","datavalue":{"value":{"amount":"+0.7413458824157715","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":"Q5964014$DBA1C53F-AE26-41B9-A2B5-10A599091D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92422e9dca93670888274cfce8bc2284fb2cf22d","datavalue":{"value":{"entity-type":"item","numeric-id":5184398,"id":"Q5184398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab6780e094175818b60d962016e6ce98d1c905c","datavalue":{"value":{"amount":"+0.6980756521224976","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":"Q5964014$0A251AC8-E2E3-4AD5-A46B-0AC4FB639805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3146751f8c8f7e0894d3c7c900bfa9813ddeeda","datavalue":{"value":{"entity-type":"item","numeric-id":1276245,"id":"Q1276245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b4e218a29a0748ecb11d05d56d2455d841fc9a","datavalue":{"value":{"amount":"+0.695541262626648","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":"Q5964014$8B21D026-2B5D-4950-AB0D-115EF8F8FC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cdc931f42d951f372530823ebb2eaa6fe1a0d1","datavalue":{"value":{"entity-type":"item","numeric-id":1104075,"id":"Q1104075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4172b6ade36721fe49107ca8a080476ee32b228","datavalue":{"value":{"amount":"+0.6861215829849243","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":"Q5964014$C8C6B903-8E6F-4539-A252-EE5B0E0C2769","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5964014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5964014"}}}}}