{"entities":{"Q5150128":{"pageid":7179699,"ns":120,"title":"Item:Q5150128","lastrevid":53929967,"modified":"2026-01-25T23:02:08Z","type":"item","id":"Q5150128","labels":{"en":{"language":"en","value":"A fully abstract symbolic semantics for psi-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7308361"}},"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":"Q5150128$A13231E4-852B-43D3-854F-7151B1FB0835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9842f71396ccb5d3068bada35535101b12d9a35e","datavalue":{"value":"1454.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150128$B6DDCEFA-9809-4E0F-96A9-A1D625872F5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5757ffd53a105bd739ffe786c1d2226a702b594","datavalue":{"value":{"entity-type":"item","numeric-id":228211,"id":"Q228211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150128$7434200F-285F-4B07-9057-F46E52B530A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ed4a778147dfc838492305e6341530d9443bb1","datavalue":{"value":{"entity-type":"item","numeric-id":444456,"id":"Q444456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150128$22B70F6A-2A66-41D2-9E0A-577369662C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5150128$DC128059-95ED-4878-9A77-B3201BE89474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5150128$83FE1094-F2F6-4C33-8343-5C660CB1D4CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e38487ec8cf3745cb1af1f0a11bc56f43d76d4b0","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?SOS2009.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5150128$748A30A0-92A0-491A-9208-5810E3CBDE2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150128$83779856-CEE2-4406-ABF0-DA47D5CE393E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150128$F2CDBE92-0ECF-4706-8237-EC9C59428E0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6cc93da8f6ba5df6dc45d409c1e93e4b8f8e964","datavalue":{"value":"7308361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5150128$E0DD2A24-8CA8-4345-9B14-66209A7E6B08","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":"Q5150128$7FF290D1-24DE-47CE-841C-5E7F6D6F3B15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11d83fd81c2826e7a81b84f66d209780cfeb124","datavalue":{"value":{"entity-type":"item","numeric-id":444457,"id":"Q444457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceb85e1250efdfece1e6fd0d8801a16a585a1b53","datavalue":{"value":{"amount":"+0.8995525240898132","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":"Q5150128$1BDA2781-8C24-47C2-BD83-7C39A5BC4A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d6012ed1b57f99f2378cf4c64283883227ac49","datavalue":{"value":{"amount":"+0.8254414796829224","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":"Q5150128$3898306A-5F21-4DB5-AED9-A679309EA00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13562b4c4373e6196ad9a64b0ebfcaf092490020","datavalue":{"value":{"entity-type":"item","numeric-id":5141619,"id":"Q5141619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163f6533bbcc6640ba6fca47ccf7914f07291711","datavalue":{"value":{"amount":"+0.8178840279579163","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":"Q5150128$B0C82369-AF32-4A0E-83E6-833E5FC02C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db37a08cfe39e1f13e5b90cc0551267cfa3ec21","datavalue":{"value":{"amount":"+0.8023335337638855","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":"Q5150128$9DD5CF31-CE9F-4E4F-823A-70AB9C8928C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11aa503535803b5754f661f66a3dea217e9cf462","datavalue":{"value":{"entity-type":"item","numeric-id":5895110,"id":"Q5895110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69f846fbfeb8c633af0046f6b0959639e176e852","datavalue":{"value":{"amount":"+0.7991039156913757","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":"Q5150128$EFEC2F37-7C02-4D92-A530-C91451E32E67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5150128","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5150128"}}}}}