{"entities":{"Q6124241":{"pageid":13258548,"ns":120,"title":"Item:Q6124241","lastrevid":94117127,"modified":"2026-06-05T05:55:03Z","type":"item","id":"Q6124241","labels":{"en":{"language":"en","value":"The reflective higher-order calculus: encodability, typability and separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7825550"}},"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":"Q6124241$EDBA6798-9C5D-46C5-87D4-73DEAAB59D0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"648611e36df7a715dd9ba5aad004a6f88dc6a055","datavalue":{"value":{"text":"The reflective higher-order calculus: encodability, typability and separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6124241$B5AEB579-48B1-4A39-A3F7-61D8A82A055A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"051f2e57761b2464154eb450e4e8fa314bf7ac75","datavalue":{"value":{"entity-type":"item","numeric-id":6124240,"id":"Q6124240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$10017EFF-3884-402F-B484-ED7221F92B32","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":"Q6124241$4A63FD96-0841-41B8-B6FF-8933E6F51A69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2549ebd9566a08a7b400a597ec844668754697ab","datavalue":{"value":{"time":"+2024-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6124241$97932427-9893-4B67-88C9-83D0C25B1BB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$894CA292-8CAE-46B6-A218-7A5E872623A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$49F69439-869C-476F-BA63-A8F869442ED5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ea687c6256ee4c60fcfd66348fe1978a45aa849","datavalue":{"value":"7825550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$A9C1ADC4-267A-4212-A503-FE853757C09D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6649066048f4f1825665f847ba28e58172428a1","datavalue":{"value":"\\(\\rho\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$731663BD-F111-4ACA-AB9D-B0A980790043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$04A85388-A226-4685-B0CC-DA9D30AC3630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86858b19e06e7f53cefb9a2372bf5b13d0adff66","datavalue":{"value":"encoding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$5086F8CE-AC2F-41F1-B033-393CCCB7E269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$AAB741DB-9CDF-4CE6-9289-19AE8F8EA407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80c99afc4950f85b79a2fe3707eb2e870b9567f","datavalue":{"value":"separation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$0C78EAA9-59A4-4204-B0BD-6232DED04785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q6124241$5CD28B6C-A457-4F8E-8843-34DEEE0F1CED","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":"Q6124241$295AD3BB-82F2-418D-A688-F4A83CF55CE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"262b540308a6b004a625a721b81326bf559f7546","datavalue":{"value":"https://doi.org/10.1016/j.ic.2024.105138","type":"string"},"datatype":"url"},"type":"statement","id":"Q6124241$3AC8BFB6-0FAF-456D-8634-628886C7013C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a22c412651fa8807b05d492894349abf7c60b8cc","datavalue":{"value":"W4390811171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$8534419A-D6E3-4758-B001-EDD87984DEA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$977DCD05-A50D-40BA-A12B-CD59403494ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9846856153ffd17c5006d95a69a5f40967e0700","datavalue":{"value":{"entity-type":"item","numeric-id":4813226,"id":"Q4813226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$968662DD-5F92-4CFD-A211-A4AE820849A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$BF3F2F33-B764-4F19-8C82-C7C4ACBFF9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd215abf4972f8944db60ffe9e3dfc10b4ef2195","datavalue":{"value":{"entity-type":"item","numeric-id":2863844,"id":"Q2863844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$C67E7164-AB20-4EA5-8DEA-E35B6E46BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e702400d80318b7f723da1016b209ad740011327","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$D91399F7-40AF-42C8-8CD8-838DAA70FEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b489051a8449fc1979e8e8dadf2729a749ef7af0","datavalue":{"value":{"entity-type":"item","numeric-id":1959439,"id":"Q1959439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$F360966C-A10C-419C-961F-CF7D5EA6FAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da4578993b4884a31a2d690fce1a3b9aab2b0b0","datavalue":{"value":{"entity-type":"item","numeric-id":6076852,"id":"Q6076852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$08004212-1362-4E1E-9A9E-286B2247DFC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dc2f7f952092927dacd0d7a73c8568f10e239b8","datavalue":{"value":{"entity-type":"item","numeric-id":2760245,"id":"Q2760245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$54CE5B07-16D8-4191-8E38-A8857AD54E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"647d3a7d2a7f0ed9bde004babd371441cd6c284a","datavalue":{"value":{"entity-type":"item","numeric-id":5741573,"id":"Q5741573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$A608F6F6-4AD2-4F9B-8442-3DCFF1DC6130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6acbfdd3333d6adb3e2aeb9151b25bf5ca49280d","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$D9373782-73F7-4EA6-BDA8-DC984BF65BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$5E2AC735-B732-450B-A512-78F5EE2D74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5bb5cbcfbfad5b368785c06d818194391a6e85","datavalue":{"value":{"entity-type":"item","numeric-id":1652980,"id":"Q1652980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$50E68190-D877-441B-8C33-E22A4D8105EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9eed8b1166c48d3b61aecd61bb3c4e60ea341f19","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$A2F6FB65-BCFA-4623-8C69-EC0FF0790BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef704b25a56efa5b64e7d48076eb438fae5430f6","datavalue":{"value":{"entity-type":"item","numeric-id":5740353,"id":"Q5740353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$676EB90D-0DD6-4607-A8B8-7AEDA9D4D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6124241$24512569-5BC9-4686-9EE9-2E3027E216EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f92088f903f95b04fa05b89130671ba55d3c64d8","datavalue":{"value":"Q130023114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$FCC744D1-4D63-4A06-8D46-C53C8302D2EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b5d959712069eba50365408d0d7349060265edf0","datavalue":{"value":"10.1016/J.IC.2024.105138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6124241$A205769D-2601-46F6-94D3-9A22BB2ED463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The reflective higher-order calculus: encodability, typability and separation","badges":[]}}}}}