{"entities":{"Q522959":{"pageid":524726,"ns":120,"title":"Item:Q522959","lastrevid":62475525,"modified":"2026-04-11T06:20:43Z","type":"item","id":"Q522959","labels":{"en":{"language":"en","value":"Finite-state concurrent programs can be expressed succinctly in triple normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706361"}},"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":"Q522959$16640D7D-3834-4497-A178-8F0B04E6A3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"421626ceb614cdb140e2183eccac48fb2e8e5a52","datavalue":{"value":{"text":"Finite-state concurrent programs can be expressed succinctly in triple normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q522959$E919CF3D-D755-41D7-B41F-C1945061B541","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50b566a00db05a028ec141490e375b325a78d2f4","datavalue":{"value":"1405.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$80094747-FA9D-47F7-AF77-06FA74A12FC9","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":"Q522959$14302C0D-03D7-471E-8505-4E502DC682CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q522959$541ECD22-8A94-4AA7-87BC-80C0ACE303D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q522959$4C031D91-995F-42AB-884C-D9F4157054A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$382EB095-BC67-40CD-A511-46E19263CB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$D0087EF4-B7FE-4D4A-8FB4-0467412802FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a5f00338328645759271256582ee8315dee06ef","datavalue":{"value":"6706361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$EA8DBFC8-8764-4D0B-9E0F-CD7EBD796FFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q522959$BA7EC9E4-7854-4586-AF0B-546C945C85D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38b2eb61edefbce464ceed281afa52b7ab09eb48","datavalue":{"value":"finite-state concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q522959$C7AEEFB5-09DC-479F-8101-23CBC6A81AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85fa719687a863a2711abb88df1c8caf1ac555c9","datavalue":{"value":"expressive completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q522959$B65FA6D5-E181-4E9B-84BF-9C8E1B810AFE","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":"Q522959$2A99F858-A7BC-4681-97FB-86D4546D78AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94b65b812a768226363a5af1df182a7a5c91c6be","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2017.02.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q522959$B8C53AE6-8BC0-4106-A218-C8729E17EE57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03236c9c4345de8a9a5d28e811bf315324e75100","datavalue":{"value":"W2606206656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$049C2AA0-DFD6-41EE-8B8E-74DA79E42FCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8415059a42f6a17c0636c8479ce0ea1a834cf5df","datavalue":{"value":{"entity-type":"item","numeric-id":5964014,"id":"Q5964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q522959$DF38C1C5-9609-4925-9C8B-FF66446D52A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q522959$F515B713-28E2-4310-897B-453EF2431E00","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":"Q522959$2B8F4DBA-0F6A-4F30-ACEF-241B9748F6C0","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":"Q522959$B126D971-F2E7-4386-B26E-14104AF413E1","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":"Q522959$5C80A4CD-9B19-4613-B5AE-2705BEE1DECE","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":"Q522959$95FBC026-A6EA-4A1E-B5DB-C60C9020B26D","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":"Q522959$3E0F8217-C396-411B-AB2B-C6D611263279","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":"Q522959$D293B996-3BC6-4915-8D09-64EF386C1B80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fda0a908e4eaee8e6a2bb44fd5e4d3993b2fabe6","datavalue":{"value":"10.1016/J.IPL.2017.02.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q522959$291A30BA-2714-4D04-8048-A4EEA5B702A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1411ffa50e4b7669c1ceee32245aaf3082fa9d55","datavalue":{"value":{"entity-type":"item","numeric-id":5964014,"id":"Q5964014"},"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":"Q522959$854663C6-6FF5-422F-AA1C-8E91F1D28AD7","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":"736e61eca4c4e3379e3b17c9a6298e5d1be6a368","datavalue":{"value":{"amount":"+0.7265617251396179","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":"Q522959$A53477A5-C6F5-4F56-912D-F0E100424C7C","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":"b5e63b8a64f187222b50759fd927f3fbfddf58c7","datavalue":{"value":{"amount":"+0.690430760383606","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":"Q522959$D8305CBA-0BB3-40C3-B781-196631C1DD6F","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":"6075db021e4c57c6655e85dfdf77f300b98a4eb6","datavalue":{"value":{"amount":"+0.6870332360267639","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":"Q522959$CF40E260-6137-4788-A30D-9183DB6F8D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e16c3b526ce56b4a12061aebb5f902018952c54","datavalue":{"value":{"entity-type":"item","numeric-id":4305671,"id":"Q4305671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6c70e1f0ec768f5b5adca1ab950b125805f358a","datavalue":{"value":{"amount":"+0.6812614798545837","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":"Q522959$A8C252EE-3CB6-4789-9B9C-814455929443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-state concurrent programs can be expressed succinctly in triple normal form","badges":[]}}}}}