{"entities":{"Q4995150":{"pageid":7024727,"ns":120,"title":"Item:Q4995150","lastrevid":58386204,"modified":"2026-04-05T00:05:23Z","type":"item","id":"Q4995150","labels":{"en":{"language":"en","value":"Priorities without priorities: representing preemption in psi-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362455"}},"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":"Q4995150$00B1BAD3-AC57-4E4A-9D7D-4EB617D4B07F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32fc1a3ac365b8acfb968c9fd8a8794c92e57206","datavalue":{"value":"1464.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995150$6BEEB8D6-D823-47FD-BF59-E0ED80290E27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995150$835E35FD-B725-40EC-AC06-6131604D530D","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":"Q4995150$26D4AF3D-58F5-46B5-A206-06D2C611FB5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4b5964c0ca7f3b359de324eb5df9fa69569a066","datavalue":{"value":{"time":"+2021-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995150$F555AED9-80D7-4311-80BE-DD22A293B471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea4bd12c9c77f4bf31c81eb39a36f84f4bc2778","datavalue":{"value":"https://arxiv.org/abs/1408.1453","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995150$99311623-0498-4312-8B6B-796BCAAAE723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"47178217d0f1619b6d2b33ca24b38dd012d14cb3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995150$BAE8077E-3A6C-42D1-A1DD-2A806E3EC519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995150$365EFC49-9F90-4E4E-85F3-56D8A8E5C0DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a649bb1d3fdca974bb794e38c34c5f0a8c94cbf","datavalue":{"value":"7362455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995150$F0C6B85A-666A-4D87-A21E-979226780A45","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":"Q4995150$085AB612-88B0-40CB-96CB-1EC436062F99","rank":"normal"}],"P1643":[{"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":"c0421e259e9327d367e8c4ef0a0ccde4a36e747a","datavalue":{"value":{"amount":"+0.8258732557296753","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":"Q4995150$D12AC293-0681-4E49-907C-83F2FFB1EAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45458fd3318e280540e69f01747a611f12b1842e","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d52388409ddc54fc33d9a2ecc7f96e52982d78","datavalue":{"value":{"amount":"+0.7886297702789307","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":"Q4995150$44901C37-0860-469A-9E16-49A0BDBFC45F","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":"4db2cd2af9f18bb60ae44511d730e6cffd2f4f44","datavalue":{"value":{"amount":"+0.7756794095039368","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":"Q4995150$DFA79617-3551-4446-8316-F8FC1F91A1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04247e1d1d6e5ba24d36f296aa7a013c2ed3561d","datavalue":{"value":{"entity-type":"item","numeric-id":5216075,"id":"Q5216075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88af325d6fc8e5f42f6cdad7f1b44aed44ab3181","datavalue":{"value":{"amount":"+0.7688739895820618","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":"Q4995150$50D8C73E-3DCB-4C20-9164-9F1E69B0A1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"504dc547c7968536a289d648e3eb87b06ac8d9f0","datavalue":{"value":{"entity-type":"item","numeric-id":5150128,"id":"Q5150128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44109ed01c88e48811c71005540cff9aab977583","datavalue":{"value":{"amount":"+0.7606024742126465","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":"Q4995150$97AD958D-6841-4831-95CA-FCA61CA058B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4995150","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4995150"}}}}}