{"entities":{"Q4621160":{"pageid":6650743,"ns":120,"title":"Item:Q4621160","lastrevid":89892851,"modified":"2026-06-04T18:33:00Z","type":"item","id":"Q4621160","labels":{"en":{"language":"en","value":"Innocent strategies as presheaves and interactive equivalences for CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020158"}},"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":"Q4621160$357FC440-1FF1-48DC-A098-3607246350A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48836e23354a8103c09c0e6068936a0b3d261824","datavalue":{"value":"1424.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621160$209F307D-2BF3-48FD-B9C7-008A7C22F6F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621160$F42BA235-1F3C-4AD4-8A8E-78C6D0257F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621160$3BFB1382-E641-4C31-A711-864AA9AE49D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621160$887746FC-51FD-4CCC-9A81-16C1CB3665E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"477d16b8e53f8ee487dedc380836caeffe9f556a","datavalue":{"value":"https://arxiv.org/abs/1108.0463","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621160$F7170EFD-7A24-40EB-B99F-366C80C16E44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621160$BF9F87FC-C1DC-4C84-B06C-D2A230662BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621160$639C2AFD-BAAB-470B-A6D2-3CEA7EF9B13C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48cdf7dd87457b1800f0c578c8ccec764793e145","datavalue":{"value":"7020158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621160$EA79674E-D2D6-487D-8F71-54CF00B68DEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0efeaf96905c5dc2b2c7fc3fd8b202ea61a1a1","datavalue":{"value":"programming language semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$C9645151-BD1D-409B-B1F7-A60990551801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$377A8FAF-2814-4281-ADA4-BD16A97BFB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d2db8243c44e119efae19b0e3063adb7818575f","datavalue":{"value":"presheaf models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$E58C3D16-CD0B-4C4F-A634-D914AD290D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$763682F3-E05A-4505-B743-62020485403F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f79e31496d11f73c7d8c7a3026ef41cc58d335a8","datavalue":{"value":"behavioural equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$32E0B47E-AC41-422A-B234-F036B9A5C492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d6e9139bc8d9165519dcad0001a9996b24d107","datavalue":{"value":"fair testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621160$63B6AB90-3411-4814-92ED-4D1EC41CF269","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":"Q4621160$82DEA189-616C-4789-87F2-3F5806F39C01","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c9096f95d0d8ac06d7d76247b52fc74bd86e21","datavalue":{"value":{"entity-type":"item","numeric-id":2929593,"id":"Q2929593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b4099b4df3bf75963f1858971cc9eb2bc03bac2","datavalue":{"value":{"amount":"+0.7887587547302246","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":"Q4621160$DEA93BBD-534A-4DCA-AC0D-31161C32E85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe44e8cb894017c151bfaaa38da61076b2daeff","datavalue":{"value":{"entity-type":"item","numeric-id":2848947,"id":"Q2848947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd2f33615e40dfa1f12e3ee5fa86d912a5fdaef","datavalue":{"value":{"amount":"+0.7792287468910217","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":"Q4621160$FF3DBA5B-7F36-4669-9978-05A7B1CCA33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9bfb5dd7cca4348b868153f1963992263dd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1399958,"id":"Q1399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e2438e5c9c72805a877648e75b0f7edf05f4da","datavalue":{"value":{"amount":"+0.7452558279037476","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":"Q4621160$350D9284-B3A7-4131-9F48-E6D37E88E9AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ff147a482a33c166b929d245f43f6814e1cc9b","datavalue":{"value":{"entity-type":"item","numeric-id":3348429,"id":"Q3348429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d031e9577476a45ab702127d2f256bf96adca9cd","datavalue":{"value":{"amount":"+0.7269605398178101","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":"Q4621160$C19EFC0D-F4C7-4846-B1C1-B7C3805E1E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"febe8f4f56b17f207fd90231eabc87aa95daf276","datavalue":{"value":{"entity-type":"item","numeric-id":1398465,"id":"Q1398465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6ddb2655b1f51c8f73635b73439652800baa61","datavalue":{"value":{"amount":"+0.7191683053970337","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":"Q4621160$88223519-C2F7-4BE8-B48A-59D68ED500E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Innocent strategies as presheaves and interactive equivalences for CCS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Innocent_strategies_as_presheaves_and_interactive_equivalences_for_CCS"}}}}}