{"entities":{"Q2819699":{"pageid":2830437,"ns":120,"title":"Item:Q2819699","lastrevid":83361350,"modified":"2026-05-07T07:22:17Z","type":"item","id":"Q2819699","labels":{"en":{"language":"en","value":"Krivine nets: a semantic foundation for distributed execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631204"}},"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":"Q2819699$D84E1EC5-8398-4C7F-815F-5EAB53ED55DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13351b1f3ed523d95e06dad4f96490a64e7dad64","datavalue":{"value":"1345.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$5B4B53B4-C279-40D5-A1A8-BD077B8EF26E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83eea9801b644090586917f72b252e436fd7453f","datavalue":{"value":"10.1145/2628136.2628152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$2AD638DC-94DF-4682-A36F-D2F16D3682CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44a2daabe6270c06302eac12c2be38863b3bfa4d","datavalue":{"value":{"entity-type":"item","numeric-id":2819698,"id":"Q2819698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819699$848D5750-62B5-4D0E-83DC-D72C5EFFCE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819699$69736E34-6FD0-4D59-9D8F-4FDBA541EC90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"634f1ea1676ae7835264bad5a15e4c75868049fd","datavalue":{"value":{"entity-type":"item","numeric-id":2819658,"id":"Q2819658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819699$D6F76E38-83B2-4C27-A117-41FEA82A47A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819699$11799B14-C625-482B-BF84-3A7DFFB9E753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$7D489CE6-DF72-4714-884B-B0407F4CFFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$050A43D7-6246-44C3-859B-770AE336F524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$F9F2F13E-D86D-44B0-8F69-6F9A7E03A6E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c0980238a66209767cb71d41ed44eca831fe8b3","datavalue":{"value":"6631204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$2DEDCCF4-F250-4DD4-9F1C-F0CAF31C14F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71a5b9aad670dfe0190a54cac4758ffc7a9be962","datavalue":{"value":"abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819699$BC73CD23-490F-429A-951E-43AD02198E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819699$014ADC19-5759-489F-A185-7541D70CE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea75367de2884471d73bdc197392915f6941ca56","datavalue":{"value":"distributed execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819699$1D4D40B8-5EF8-4617-99CD-374D8181F8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819699$34758022-C306-4FB8-907E-9618F3079AD5","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":"Q2819699$B7F0ABE0-A54A-4344-8188-2B97E13E3B76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ef4cbac03a9c3f481b85d0f08e6a6b6964b03c4","datavalue":{"value":"https://doi.org/10.1145/2628136.2628152","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819699$AA12E5EF-D5AA-4AD3-AA4F-8E6B6C1373DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4270e26c38093a4f41620f155bdd23a1fb56e0de","datavalue":{"value":"W2013130391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819699$94090D1E-D65D-41EC-A9CB-B988C4C534F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3095cfa5135420850da3ab8c010b77521ca25c4e","datavalue":{"value":{"text":"Krivine nets: a semantic foundation for distributed execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819699$FA064759-8BC0-473F-AE55-E0ECA4F9DDBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b73d2c5a91c1598f4f5382f667e3592533cc05","datavalue":{"value":{"entity-type":"item","numeric-id":2464721,"id":"Q2464721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"093f893709e59dacc86f42cb60524b64dbb756d5","datavalue":{"value":{"amount":"+0.735319972038269","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":"Q2819699$EFCDC0E7-E74D-43DA-9081-806E7FBD78ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6587c6a269765ac68d1979a5a402c89a9fd0bfe3","datavalue":{"value":{"entity-type":"item","numeric-id":5271094,"id":"Q5271094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffdc20882ab821494b7fb44caed1a0944275e585","datavalue":{"value":{"amount":"+0.720974862575531","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":"Q2819699$5364A8F3-449C-45AE-A2CE-6A1BA3409DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567e22a8da1d24d85736f223cd20ef46952cefd3","datavalue":{"value":{"entity-type":"item","numeric-id":5464039,"id":"Q5464039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423861b0fa00631827a9db3298d2a127cc056887","datavalue":{"value":{"amount":"+0.7141222357749939","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":"Q2819699$72F02474-529E-4F4E-AF9F-2A07F85A63D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d32ff9e26a16d8673c4c012d2e7d4a9898186c6","datavalue":{"value":{"entity-type":"item","numeric-id":2464713,"id":"Q2464713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db23ccc2bb343841eb8907fc5bdeef407e35a74d","datavalue":{"value":{"amount":"+0.7042478322982788","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":"Q2819699$98E95F48-A23F-455D-8EF6-71CDB48AF1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b543828662cf24a8a599d1271e352e7d15f2b65f","datavalue":{"value":{"entity-type":"item","numeric-id":2464720,"id":"Q2464720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a105ffe328fe08d3bf4e610026b7651b1b3c7d55","datavalue":{"value":{"amount":"+0.6845066547393799","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":"Q2819699$D375D7AC-CA44-4465-B52B-5A85B8E0FC97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Krivine nets: a semantic foundation for distributed execution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Krivine_nets:_a_semantic_foundation_for_distributed_execution"}}}}}