{"entities":{"Q2914742":{"pageid":2925462,"ns":120,"title":"Item:Q2914742","lastrevid":85096112,"modified":"2026-06-03T05:51:57Z","type":"item","id":"Q2914742","labels":{"en":{"language":"en","value":"Synthesis of distributed mobile programs using monadic types in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6084489"}},"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":"Q2914742$D794CC39-F4B6-4ABC-898A-EFC5750DAC0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a8e335ac811cb7efe0202048f87797244ad1f90","datavalue":{"value":{"text":"Synthesis of Distributed Mobile Programs Using Monadic Types in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2914742$B25B5FD3-AB8D-4D47-9E98-4B025F3173B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cd0bd1339d669926600fdab41fcafaec436665d","datavalue":{"value":"1360.68760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$72859B33-5F72-45EE-9A32-D5443D6253DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9767098a622c5906b32583c73c59896189e4b7f6","datavalue":{"value":"10.1007/978-3-642-32347-8_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$B25CACD6-DE6D-431C-82A7-4C46D6D4DFB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"980feb4557ce980fc3913fdc63a43f303f4040ab","datavalue":{"value":{"entity-type":"item","numeric-id":418840,"id":"Q418840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$E9BEA1AD-58B0-4AC8-AE7B-6F0FC909D0E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b7c3bc2f5e57d91d112c0ae0116bc7c92ed6da","datavalue":{"value":{"entity-type":"item","numeric-id":1683697,"id":"Q1683697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$4D6F944A-AB3C-438B-93BA-19B3BA361B54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$E8265E05-F07E-47A2-81DB-1646C445ED8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e7cab8cb58b1ff0209167a4d2783976232f08c4","datavalue":{"value":{"time":"+2012-09-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":"Q2914742$A5EA0283-9B19-4378-9F9A-AACFD32120C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$1D111DCE-E93A-4C56-BA83-E0C6AAD8A5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$9CE49925-F03D-487A-A35A-2C29675DC7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$BC3B1A50-4CFC-45C5-ABF9-B9884A9D8101","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bade600c1f12d2a40b1c407b4f03ee87c421d41","datavalue":{"value":"6084489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$FB7EF40E-0826-4F45-81D0-DFE4DE70578F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914742$687F1925-6A2E-43F7-8CEE-70442D725EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2914742$FA3710DB-6B44-40DE-B209-1F2F9312344E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$75D855AC-6860-49C9-B970-82E1323898AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$BF7ADE3E-C8A6-4B21-A624-978381974568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$1645A97C-A165-4418-8D65-5B9CFAEDBD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2914742$64CFDBC1-B98E-4323-BED8-E3A74DFE211D","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":"Q2914742$45A71F74-579B-4C8C-9549-7B8E1B0581C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f07a7df5c38b4f3d1fc8861b775680e4eef0569","datavalue":{"value":"https://doi.org/10.1007/978-3-642-32347-8_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2914742$76541376-6F53-4247-A472-D4B9E1D43328","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f28bd6053db0750055e75afd4903bee51e977163","datavalue":{"value":"W2277796289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2914742$D7C3EAC4-7094-4391-BEAA-D77411D4050C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"259f749e26b92ada5e506674b71ad17af20cf070","datavalue":{"value":{"entity-type":"item","numeric-id":5712315,"id":"Q5712315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51aa31eecb976b1fb0ad4850ae3bfb612c4cab4f","datavalue":{"value":{"amount":"+0.7303008437156677","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":"Q2914742$BE70264F-5ACB-4F34-BDB9-DF2C79A22D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9556bf7f6ed0e05daee465305db68b6b32bd1c8c","datavalue":{"value":{"entity-type":"item","numeric-id":2208292,"id":"Q2208292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba79cb539e53904306b7e2e2baefca895444cf5f","datavalue":{"value":{"amount":"+0.7103889584541321","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":"Q2914742$A1DF296A-9D3A-4696-86E8-5F1F0C76DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e82239519d59d1ac25c976c2117835da5a89017","datavalue":{"value":{"entity-type":"item","numeric-id":1799129,"id":"Q1799129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f73230ff5f4bc42ab7fd4f3ca8ba0f9100656c71","datavalue":{"value":{"amount":"+0.7081072926521301","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":"Q2914742$BA839A24-DE7A-4E1B-B99A-5742F5218BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84da22d89f611771fcef42cef90290aa4795cca0","datavalue":{"value":{"amount":"+0.7076990008354187","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":"Q2914742$5AC36D5A-037D-4D2A-8161-C77392139FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278db361681ca031f2e1c5a88de9b91c1d3c6b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2996188,"id":"Q2996188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15add2f7e3a801deeaa407eec946b83e7b406ab9","datavalue":{"value":{"amount":"+0.7076988816261292","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":"Q2914742$1E8FF046-C919-4861-88F2-3285E4A8EEF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of distributed mobile programs using monadic types in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Synthesis_of_distributed_mobile_programs_using_monadic_types_in_Coq"}}}}}