{"entities":{"Q651309":{"pageid":653158,"ns":120,"title":"Item:Q651309","lastrevid":63324138,"modified":"2026-04-11T12:06:13Z","type":"item","id":"Q651309","labels":{"en":{"language":"en","value":"Characterizing contextual equivalence in calculi with passivation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5987962"}},"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":"Q651309$0D705FF8-C04B-40FB-B142-202A2A9E6619","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f839a58e002c7ea7382df40bcebc0c56c5b9c1","datavalue":{"value":{"text":"Characterizing contextual equivalence in calculi with passivation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q651309$6A1A4AB3-1C74-4D9C-A8D7-CF597225ABF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d447ef337d69b4686916dfc47ac694a6cfde48c","datavalue":{"value":"1251.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$42BBC0F9-1D8B-4607-9725-5CBFC316643C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$FB78E186-E7CD-49AB-B0D3-DBEAE452E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804005712457a09ab2c0aa30bf1784b0df9b733c","datavalue":{"value":{"entity-type":"item","numeric-id":627132,"id":"Q627132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$06A6C146-DBD0-431F-AE99-5953F019C36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c81fa914816673215f0fc2fbca4f9fe394b7c3d9","datavalue":{"value":{"entity-type":"item","numeric-id":264995,"id":"Q264995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$9577C6DA-FF08-4264-834E-612EBF44EA1D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$A44EC85B-6062-40D3-B9A4-4CE841395BBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c499612d352adb9bf630a964e4498c3cb854f6a","datavalue":{"value":{"time":"+2011-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q651309$D0E58AFA-DF98-48D3-8B72-D8DDA8424DFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$E4058CB1-EB01-456F-94C4-01A4003D1DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$D57BC1F0-CB97-43AF-AC10-70E33CECCC69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db17e988d9eb18c35a2725577dbcce874ed86cde","datavalue":{"value":"5987962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$B6320A72-B09A-4105-830B-76D071455556","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q651309$BD4CFB00-4303-4A68-8766-AAEC8161009A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f56d350b5b90fc1fddf0b43b4d5ff923c1661bb","datavalue":{"value":"higher-order languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q651309$DC19B24C-9008-432D-AABC-2B544A2752F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"383866048a26e22585a016b5b82d272ceacd9c79","datavalue":{"value":"bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q651309$C310657B-1E6D-45E6-935F-6D667534C337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c79a69af756dfeae52a2c570253e1de46415e01","datavalue":{"value":"HO\\(\\pi \\)P calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q651309$8CBD32AD-BDA6-4031-AF63-52E021D6D449","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bb93cf78691f43914bdf854eb0aa4deba2c2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":14610,"id":"Q14610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$3CC68044-B365-4E19-87AB-24B4976ACCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5b6cf5488433e7da04f83ac176f478d30fd56ef9","datavalue":{"value":{"entity-type":"item","numeric-id":14537,"id":"Q14537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$3BFD8594-E0D4-4A48-9687-12A742DFF279","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":"Q651309$0279A0CA-C9A4-42C9-B86F-DD93056BBED4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"088f0a87fa5f33042559cf1701a9fc9e7e97b243","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.08.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q651309$A093F111-C610-41D2-BB59-15148DBDA018","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edb3e15192d3631a50ab6f9f6c2a709f487ebad1","datavalue":{"value":"W2018456712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$DA658ADD-9EDF-4D79-81AC-2AD9A7CFFF7B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33b896adef51cac52b8472065a22eb5b89392df","datavalue":{"value":{"entity-type":"item","numeric-id":3617735,"id":"Q3617735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$60863970-6CC5-4DDC-9655-84E1221530A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd7b7321e4a98239f3abea89be9f13ce010a0ff","datavalue":{"value":{"entity-type":"item","numeric-id":2573334,"id":"Q2573334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$26779C11-3FB1-402A-8E18-68CE63A1A753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db182edce241513a9902528a24fdabe535739aaa","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$CF53CBE3-9D6E-43E0-BAD8-2E20F1D5A838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$C82DAAE0-5A95-46D0-A00D-EA1434207584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0d36bbf83616714d044d5fbaf7637bcd122a92f","datavalue":{"value":{"entity-type":"item","numeric-id":2566220,"id":"Q2566220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$5A8C410C-5007-4145-8A63-49DEECCF7573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9853ebd672b3d807cdf988b6f20dc6e1babdc46","datavalue":{"value":{"entity-type":"item","numeric-id":1012125,"id":"Q1012125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$FF3EF5C2-7F37-4DC8-B23D-AC9E417C207C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b5c7d5eee7461f0678334c9dac93257a3672253","datavalue":{"value":{"entity-type":"item","numeric-id":5897765,"id":"Q5897765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$BB3E1D32-A561-477E-80AE-54482E60D8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a234090039c43f361b3c5de92feabbd0ed6e47d","datavalue":{"value":{"entity-type":"item","numeric-id":2581010,"id":"Q2581010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$0ACED5A8-709D-48BA-9075-D8A0D22E3725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e99c8a1a515cfbcdabdca4af5514d4d7f54bf01","datavalue":{"value":{"entity-type":"item","numeric-id":2848140,"id":"Q2848140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$27636D3A-3DA5-4A5D-B10C-FAA7CE1D0402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef8e8a1bd6a36d7048ab6f3cc2d1559d18184388","datavalue":{"value":{"entity-type":"item","numeric-id":1917068,"id":"Q1917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$5A008368-99A7-4820-A313-DAE9CC34EC04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a38afda5b02f7521f890d112a8cba2020fcff83","datavalue":{"value":{"entity-type":"item","numeric-id":1882896,"id":"Q1882896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$720D64BC-CF87-4D49-90B5-38418EBA5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1dc7f6cfd1bcba36f6b78c2feb82d8ffb024cc","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$23FFEF2A-33F6-4B19-947C-A71D2911BA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043679d090fab0c3b3941ed4b712a0f744468173","datavalue":{"value":{"entity-type":"item","numeric-id":3617734,"id":"Q3617734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$D1232479-F410-47DA-AD71-D17BEF9636A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085bea6392be74b0391c63af9b743bb2439a1bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3184692,"id":"Q3184692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$D1C9C382-099A-4B08-80A7-9720AFF43979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a619ca80ec175ae0a49597525942a0fe06eb39","datavalue":{"value":{"entity-type":"item","numeric-id":4364390,"id":"Q4364390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$D3488FD7-EB06-4C6E-960B-C48A092CD54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d27dea8a5b32fb27f65cc37b9c19fbd34d8825","datavalue":{"value":{"entity-type":"item","numeric-id":3455211,"id":"Q3455211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$1BD266A0-8F57-4FC0-BB07-3DF1EC214972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d435c0f67ddf85d33870a390e8862774ba1ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":4248252,"id":"Q4248252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$ED03A59B-2A57-43B8-967C-7F36C60B79E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde321b65edc6ca92c524be1f1dc3a54d0ce2735","datavalue":{"value":{"entity-type":"item","numeric-id":5897491,"id":"Q5897491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$32076360-957A-4448-BB29-0CF817C83AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ad408d201835fe81322d6510f08582304b548c","datavalue":{"value":{"entity-type":"item","numeric-id":3000603,"id":"Q3000603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$AD046DEE-A4A4-4BDA-891C-0BBD94F61B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa22b894615c9558226d014a95a1deff4421311","datavalue":{"value":{"entity-type":"item","numeric-id":3541038,"id":"Q3541038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$128C9EE4-70B5-4F8D-B1ED-5434DCD456A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$A8D340C5-BACB-4317-97C5-32FC23D5D6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98ee454784eee5e5e07ac795aec39dd374f502","datavalue":{"value":{"entity-type":"item","numeric-id":2734510,"id":"Q2734510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$50B15598-F511-48C6-A1CB-9CD245F1DF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e066db4daf5a2e6e5cd0878b5ec6c4b962f6e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2942912,"id":"Q2942912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$37F2572A-658A-4F8D-A9D5-0096ADE84865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad09004ede4a1cbb641b5507bc7222c782135c97","datavalue":{"value":{"entity-type":"item","numeric-id":5464841,"id":"Q5464841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$D269EA56-2BF0-4EA2-8C05-49C51FBDF161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da80543676c842f3f42bede388cb140fa9759e04","datavalue":{"value":{"entity-type":"item","numeric-id":5308092,"id":"Q5308092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$C3E4259B-B518-41A6-9C9C-B9BA8DE9E240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$F050F312-416F-45C7-BC6E-BE47C49DEC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"234ca72d36654d00b6e8980f7c7e9a102739c5e4","datavalue":{"value":{"entity-type":"item","numeric-id":2852102,"id":"Q2852102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q651309$6F319864-0CBF-459E-848E-204E59B89671","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d755f5f8dd530f4d97846007ba0e2bd96e046ac3","datavalue":{"value":"10.1016/J.IC.2011.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q651309$DF97BD9A-40D6-42AF-8301-C9626A51F4E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58062bc0d448592c49637f9e14562daddc75515d","datavalue":{"value":{"entity-type":"item","numeric-id":3184692,"id":"Q3184692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3771a3da9c46874a5333db201b09bce39dcfebf","datavalue":{"value":{"amount":"+0.8492377996444702","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":"Q651309$14278265-6FF8-430D-93EA-83A16F65E632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07b3783c71532365473740c1a6bc9b9939d6c84","datavalue":{"value":{"entity-type":"item","numeric-id":3617734,"id":"Q3617734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87bd1cdc2fd55be90491a0b6cb54028c6bfcc7e2","datavalue":{"value":{"amount":"+0.8168820738792419","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":"Q651309$1E9C04F8-DD36-4A5A-934E-DE94E535E19C","rank":"normal"},{"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":"6a8f5588b0a901264f11cc1603ab80553f9f800c","datavalue":{"value":{"amount":"+0.8040770292282104","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":"Q651309$2F6894FB-C2C9-4DC0-ACF5-E6242485D0C2","rank":"normal"},{"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":"2cb5ebc9b10f80117009af63bc79b1a128b4aa2c","datavalue":{"value":{"amount":"+0.791297972202301","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":"Q651309$9789E0EA-A467-4A4D-A77E-A8666E125B00","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":"74989258ab2ece0293244d86710cf5c3ba1eeaf7","datavalue":{"value":{"amount":"+0.7838807702064514","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":"Q651309$1049BA86-1989-4B4E-BF2E-3CA0CA5B95E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizing contextual equivalence in calculi with passivation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizing_contextual_equivalence_in_calculi_with_passivation"}}}}}