{"entities":{"Q5310635":{"pageid":7340209,"ns":120,"title":"Item:Q5310635","lastrevid":50182445,"modified":"2026-01-13T10:24:37Z","type":"item","id":"Q5310635","labels":{"en":{"language":"en","value":"Contextual equivalence for higher-order pi-calculus revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200105"}},"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":"Q5310635$DE523E9A-EEA3-4EA8-BC30-2B91B49B7DDC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e744dfc0ba7ef926073ce94aaa78d029622c212c","datavalue":{"value":{"text":"Contextual equivalence for higher-order pi-calculus revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310635$CAE576AD-3573-4FEE-A37B-6FF6D9154350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"560f01ffeabf3638d16c2ae03973c15b4dbaddb8","datavalue":{"value":"1125.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310635$E757F193-7466-441C-AE4D-141AA6510269","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dee22065336a9f23fddfa9ab6c3ae02588c8ba13","datavalue":{"value":"10.2168/LMCS-1(1:4)2005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310635$618FF885-017A-4CCC-AFDC-4F9313E6B373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c07df3e9710693ca2029d56f2786e60cd031e8","datavalue":{"value":{"entity-type":"item","numeric-id":276477,"id":"Q276477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310635$C5DD9A2F-3B08-4993-A2CF-19AD2609AF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bbd40d4efe0881f4b580c8aabcfc53801fe8c1c","datavalue":{"value":{"entity-type":"item","numeric-id":276478,"id":"Q276478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310635$8A9F82D9-2C2F-4415-88A2-7506F2CC7071","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310635$C637839A-3FB9-4D9C-8F5A-0FE793834E21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310635$8D2C2875-467A-49BF-B4DC-5A01ACCB9FE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310635$4B725931-E588-421D-BD0B-2EE1279D1350","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57296311865627974730cfb41b57f2f336693a83","datavalue":{"value":"5200105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310635$167DCFCF-1756-4980-965E-ED5208B263AF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29b8415bb4c295a269f9dc8fd3592af051b33888","datavalue":{"value":{"entity-type":"item","numeric-id":20682,"id":"Q20682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310635$59D3DB49-B46D-44D2-BCF7-976654F28194","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":"Q5310635$D0FF041B-E4D5-4DAE-B1E5-0D144E9C2DF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2fe1ec546d70510809ffc308f6e299d187b668d","datavalue":{"value":"https://doi.org/10.2168/lmcs-1(1:4)2005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310635$AFF98CC0-3416-450A-8A27-298FD66C319B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbb40bc8d7c561560eb45a8adecf9a909336fc1d","datavalue":{"value":"W2951546131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310635$033B08AA-C671-4EC7-89C3-9190B9929E0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21adb7b87c7544b655a1f327a64472199052fdd0","datavalue":{"value":{"amount":"+0.9820554256439208","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":"Q5310635$CD7EBE3A-57DD-40A2-A75D-BC6ADFEA33FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3345000446955fe87dcfaa6558693bffdbd6a7e","datavalue":{"value":{"entity-type":"item","numeric-id":2848669,"id":"Q2848669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3756d8fd0a42bd10b4df77b38af69043ed69b5ad","datavalue":{"value":{"amount":"+0.8230987787246704","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":"Q5310635$33640B20-4F25-4749-A158-1310326E1362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c435853a0d126487f4a90ae7df530ece00b80596","datavalue":{"value":{"entity-type":"item","numeric-id":456466,"id":"Q456466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"270f53f5564956591b2270b10970da12572fd260","datavalue":{"value":{"amount":"+0.8181769251823425","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":"Q5310635$A7B05F01-BFF0-4C95-9C22-01FB330B6617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34caa272a445218c96ac6e0e068c27aeddc73a84","datavalue":{"value":{"entity-type":"item","numeric-id":5458809,"id":"Q5458809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23863e7683fefa634e5c7255ab52562654c5d801","datavalue":{"value":{"amount":"+0.8148362040519714","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":"Q5310635$353B8378-1434-4163-A253-4F827453938C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e754f846f52fa390c347cb04398ac1b55110a46","datavalue":{"value":{"entity-type":"item","numeric-id":2357655,"id":"Q2357655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c50f03bcb77c284931a3e6dd1a54fdab8f7858","datavalue":{"value":{"amount":"+0.8095812201499939","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":"Q5310635$F263D90C-61B7-49C9-A4E2-24545A4DBB22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310635"}}}}}