{"entities":{"Q2863844":{"pageid":2874564,"ns":120,"title":"Item:Q2863844","lastrevid":83571596,"modified":"2026-05-07T09:03:44Z","type":"item","id":"Q2863844","labels":{"en":{"language":"en","value":"A reflective higher-order calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235714"}},"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":"Q2863844$1EC504E3-385B-4EE5-B487-143C4C9197D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cb4d6e0d0b87eaa1e2357fbb4000be3ee027f98","datavalue":{"value":"1276.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863844$532A44BF-5D4F-4591-8B08-0C1B1AABBE04","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8169267cc13f45b919f070289cca340624fe64d5","datavalue":{"value":{"entity-type":"item","numeric-id":2863842,"id":"Q2863842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863844$DDE4122D-AA44-40B3-BE18-D54954248A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c51acdf1629e4a6e5d164a0273c69800780cf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":2863843,"id":"Q2863843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863844$451A0D40-F4E9-479A-9B87-75FB39AFFA56","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863844$F470FEB0-1E73-4136-8B6E-357B6E431E63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ae96952b30375d107b583cf6b26e868a593df96","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105051893?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863844$6429DACE-0C44-4105-9787-55AC0690612B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863844$56934536-621E-4218-ADEE-A84B4CB48A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863844$12B59492-402B-4B7D-BEF2-7C2BA259F615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863844$77E71694-4396-4466-9C97-3D4E417FB097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7fe0eb5371ba6a8051b2a5a537c113fcb0cfff7","datavalue":{"value":"6235714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863844$BCD415E4-47DC-4888-8CA3-DD31D200B934","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863844$CF1F37CB-F2F7-4643-AEFC-53DAD8F0C83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"142ad176b509766fc626fc5ad6b3d60ce7604d3c","datavalue":{"value":"message-passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863844$EE718EF2-49D5-4A7E-BAA7-9849176059AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863844$EBE231B2-CA55-48F5-85C7-22683A6A0651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863844$549EF198-8591-4AD9-AB8C-BB7BDA315FF5","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":"Q2863844$E3A262D5-7715-4042-8FEC-6EB877A880C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95329198c1fec5c8ca38e29aaac9bd191bbd6685","datavalue":{"value":{"text":"A reflective higher-order calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863844$AE059ACB-635B-44EA-961E-60EA304986D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd8012adc7b64157dd5aaa4afe8436d1f9a2ee4","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805435cf944dc784996133038bef2c3c71dc5a9f","datavalue":{"value":{"amount":"+0.7797282338142395","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":"Q2863844$041AC735-A5E2-49C4-8E97-20B32F8A040D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877e985b3380fe71465aa52cef28be711fc2e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4365103,"id":"Q4365103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b35bdd556532f476468fa302a10c6432d5cf4725","datavalue":{"value":{"amount":"+0.778723955154419","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":"Q2863844$3DEB67A1-73CF-49F9-A1AE-9E40574F1CE0","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":"50343a923ee7e2a2735540557aaec8751e1b62f1","datavalue":{"value":{"amount":"+0.774167537689209","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":"Q2863844$489690C5-FC83-4BD5-A330-34D7D3B6C69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f35d7b95c06dd70c7931c4ef53897eb31daa05a","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa49c63903ae1c5119864d338ecbdfaff0dde2b","datavalue":{"value":{"amount":"+0.7602550983428955","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":"Q2863844$F7782966-C508-4F3B-B526-C46D73856D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20abd8e74f5680af31de6c60904a8e9087db38c0","datavalue":{"value":{"entity-type":"item","numeric-id":5394808,"id":"Q5394808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa49c63903ae1c5119864d338ecbdfaff0dde2b","datavalue":{"value":{"amount":"+0.7602550983428955","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":"Q2863844$62C17882-8F9D-4F4B-9766-474323929EF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A reflective higher-order calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_reflective_higher-order_calculus"}}}}}