{"entities":{"Q6190870":{"pageid":13325758,"ns":120,"title":"Item:Q6190870","lastrevid":98806775,"modified":"2026-06-05T18:32:01Z","type":"item","id":"Q6190870","labels":{"en":{"language":"en","value":"Encodability and separation for a reflective higher-order calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800871"}},"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":"Q6190870$18A963F4-080C-46BE-A093-135C5011363D","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":"Q6190870$92B7B6B6-EDD8-4085-AF58-2798CE8F1808","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6190870$DC86B966-61B8-4234-8AFF-57B280CADD44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8189d5e213b51afcad23fc930ef198bd9876c8f9","datavalue":{"value":"https://arxiv.org/abs/2209.02356","type":"string"},"datatype":"url"},"type":"statement","id":"Q6190870$DFE9129D-DF71-4508-B252-B497F5AF0CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef4fd576cd9bacccafab07046a1205955dc0b4ef","datavalue":{"value":"https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?EXPSOS22.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q6190870$ADD1F49E-A864-4420-86DF-7E4EE469F765","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190870$2FA9D810-20DE-4C94-94C9-DC14200B9A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190870$46D482F9-1283-48EB-9C79-77784A9C1B3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52d86b937d22ff5629cb680e9ca58c0183d2df6a","datavalue":{"value":"7800871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190870$603C30B8-B8D5-49D9-957C-DA0728A71ABB","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":"Q6190870$88F1587B-5BB5-4158-8F59-E1562ACA4242","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab3e6fdf44e230796843aeb1d241df35dd480c12","datavalue":{"value":{"entity-type":"item","numeric-id":2842599,"id":"Q2842599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190870$5A391293-E59A-4848-B4C7-F510B72267A7","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":"Q6190870$AA04C824-9517-4615-B539-2ECAC2B04EAD","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":"Q6190870$1CC00E14-2477-4500-B44C-4A97FE4F55C2","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":"Q6190870$D8A438F3-332E-4A22-82A7-B72354FF2C1A","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":"Q6190870$38A80D0B-1C17-4678-8097-EE010542435A","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":"Q6190870$67B1E4BE-32B9-47CF-BF96-1159B3BA470E","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":"Q6190870$43BA2991-AE6A-436F-A3F6-307FBB641F35","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":"Q6190870$6942D717-606B-4EB7-85FA-3B877A682304","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":"Q6190870$F898BD37-FACC-4BCE-AE9D-65BB791DB4B7","rank":"normal"},{"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":"Q6190870$B1BC4913-4C61-45A9-A41F-E36E30F01FFD","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":"Q6190870$08B73856-7475-438E-A64D-4876FB193F32","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":"Q6190870$C3F4064E-8FB8-455E-9F33-45A97CEDFD64","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":"Q6190870$F7D18933-A6E7-4635-952F-6050C8B6788A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a04630b1bb1716af720cffa88c6dd00c07e0d69","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466b819d84e6ab78b0d1029a220192b304a9f784","datavalue":{"value":{"amount":"+0.735500693321228","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":"Q6190870$30C0D9EF-E323-49CF-9E0E-4C065851861B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe73ea52f7059ad537ee81c5cc2d046be455e3e","datavalue":{"value":{"entity-type":"item","numeric-id":2863844,"id":"Q2863844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3dd638e48b45f246c9b573dec910fc7670fc79","datavalue":{"value":{"amount":"+0.7330856919288635","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":"Q6190870$5258BD0B-3149-4BF0-BD6B-C807DA7F03A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"413cb040add77f44419155140af130dd355f7251","datavalue":{"value":{"entity-type":"item","numeric-id":5044732,"id":"Q5044732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea3cf6581cfe9222e23360efd00c079026e62eb","datavalue":{"value":{"amount":"+0.7272213697433472","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":"Q6190870$6B928791-C3EB-4132-A586-71F4F6A44172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92df13203aa5a88f9deba0b51dab6e6ab03cdf36","datavalue":{"value":{"entity-type":"item","numeric-id":6150431,"id":"Q6150431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65ddd62423eeeb5dece7f2d0e607a280b9c5182c","datavalue":{"value":{"amount":"+0.7259056568145752","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":"Q6190870$31103A7C-289B-4476-A474-00244D15C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c7b6e5bdd0ee2463bb86185d60ece2fdb609d8e","datavalue":{"value":{"entity-type":"item","numeric-id":5704020,"id":"Q5704020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30ed7653514a6bbef8d99aecde1a3b00fcfeed1c","datavalue":{"value":{"amount":"+0.7159722447395325","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":"Q6190870$681F83C0-2E7F-4523-968B-ECD68DF93018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encodability and separation for a reflective higher-order calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encodability_and_separation_for_a_reflective_higher-order_calculus"}}}}}