{"entities":{"Q276479":{"pageid":278246,"ns":120,"title":"Item:Q276479","lastrevid":60579435,"modified":"2026-04-10T17:50:44Z","type":"item","id":"Q276479","labels":{"en":{"language":"en","value":"Contextual equivalence for higher-order \\(\\pi\\)-calculus revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6577015"}},"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":"Q276479$27AC6378-CD42-4CF7-A8F8-921DC096A387","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"251ee184399bfb1611f8b18797d5751582f92656","datavalue":{"value":{"text":"Contextual equivalence for higher-order \\(\\pi\\)-calculus revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q276479$94B6F902-0AEE-416D-B188-C4A3233E4CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78a191884802bc5a93df1aab5be987f4824c3613","datavalue":{"value":"1337.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276479$160EAE08-AA3A-44A9-8677-C2D11716E96B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dfec54b1f5ebbd7ecb366fd07469690b5fcac23","datavalue":{"value":"10.1016/S1571-0661(03)50008-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276479$A958A494-F885-4416-8A3A-D595D5ADA30D","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":"Q276479$C00B3E24-31A5-42A0-A010-A92AC1EB151A","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":"Q276479$2402420A-D75C-4755-BD3F-2C462B591145","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e14340917da0b560f1aa784255616bd78a4a4ba6","datavalue":{"value":{"time":"+2016-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q276479$E5263866-21C9-4E7F-B7CD-2E75948BED87","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276479$F3DF922E-8A30-4880-B3CB-5DBFAEC99D5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3af5eb232cd86f11611bf97f61f3acbcc5e5f485","datavalue":{"value":"6577015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276479$5DA9ABD1-3739-410B-80BF-7E1847C797C0","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":"Q276479$E7390B61-37B5-4F96-A36E-F3BC4290CF84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae3f70b3b9a472297dcd7cc7ca4643e21a071fc9","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(03)50008-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q276479$5D472D6C-2883-4107-8102-03587ACB9408","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f03e92db926d1e72d415106378a9626261cffec7","datavalue":{"value":"W2171350732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q276479$BDC7905F-F750-407F-8939-CB6360E1DB91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"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":"Q276479$13A17D24-8698-4778-A015-4C9768FE8995","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":"c1816b4b5a624de1c19d18422432e8ed65101c20","datavalue":{"value":{"amount":"+0.8230879902839661","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":"Q276479$953AF740-7B67-4319-82E6-1431FC3C68FC","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":"6c69d098423cf355625b428d02b67fe6315f8b24","datavalue":{"value":{"amount":"+0.820379912853241","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":"Q276479$BA4CF39F-3096-4E7B-9148-132E76CD00C2","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":"195e73d9564712246ec428c69ca3410215151fef","datavalue":{"value":{"amount":"+0.8170074820518494","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":"Q276479$416715F4-6B9C-4C58-8A89-C07C41BDB96A","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":"69d94081cdc817e34e51311149be00e293f2ae0e","datavalue":{"value":{"amount":"+0.8085640072822571","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":"Q276479$D7808A87-B6EF-4742-B7BB-77E08F17EFC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Contextual equivalence for higher-order \\(\\pi\\)-calculus revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Contextual_equivalence_for_higher-order_%5C(%5Cpi%5C)-calculus_revisited"}}}}}