{"entities":{"Q2851046":{"pageid":2861766,"ns":120,"title":"Item:Q2851046","lastrevid":51837704,"modified":"2026-01-20T07:12:27Z","type":"item","id":"Q2851046","labels":{"en":{"language":"en","value":"Rewriting calculus with(out) types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213288"}},"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":"Q2851046$4CC7DEA2-17FE-46A5-B4D2-A67053CE832E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80fd32ea33102eea02767c86c085bdb9dc38589b","datavalue":{"value":"1272.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851046$72E4C495-FD35-4A59-B16F-CAFD747835A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$843B67FB-6F42-4133-9D40-D73554036EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$AD1E3664-1A40-4512-AD97-DBD019BF6C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$EA82B598-AF1D-4708-ADD0-451E61D81CEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851046$BD916BFC-B957-4B0F-9AF2-8F39D78B5053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c265181e4fb12c340e0fe3cd4b2d2fda336f90ec","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105825265","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851046$8575C017-492F-479D-84DE-89E6064DE5A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851046$BFA88402-EF67-46AE-81CF-8D524DFFA278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851046$7E49AFC3-8C02-4FD7-8475-12B6676117A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b742401429100942581c31ed5e6a5d6069f56e","datavalue":{"value":"6213288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851046$0B850065-DCAB-406F-AE02-E78A41E12C19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$F81DD86E-8324-4F98-A590-BF705CEACAF1","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":"Q2851046$ED7B1DD2-65E1-4ABA-8ED9-123885264D92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$3AF0B041-891B-4100-B904-64C3075A6D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db81cf7e79e54426ef60a161c70f4ae06ee9844e","datavalue":{"value":{"entity-type":"item","numeric-id":2942930,"id":"Q2942930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$427FFF13-16E6-486E-82B1-93A7A57ADBB2","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":"Q2851046$B66AEE17-F840-4717-83C3-E893F45E702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$3D3A1A50-6622-452B-858F-D0DF29DAC7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31fcd88bc247f11f5eae364935a1532cc4a60785","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$749051D8-1C8F-46D1-AACE-55B34ACD27A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dbadc4f23dde6b0ad4e1b02a7e97bfefd33609","datavalue":{"value":{"entity-type":"item","numeric-id":2778872,"id":"Q2778872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$6CFBE261-9D71-4297-8AB8-D2E2C1B97A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68451ca4549e729233336d652ad1a927a7053cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$0A04625C-BCDB-4FEA-B727-3F874A10002F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46d45bdcdda49c91d6e93a66d8047da1a40fc82","datavalue":{"value":{"entity-type":"item","numeric-id":4808738,"id":"Q4808738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$B495E3C3-538B-40FD-A47B-758DEB62F1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d56b81cc149fd4c5f4f4c86815da5f5d4ddf0b2b","datavalue":{"value":{"entity-type":"item","numeric-id":1263961,"id":"Q1263961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$12E86752-A26B-4BA0-9E17-C6B8B1DDE29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32e072b62ae8a8febbed4970d6ec11bdb2a4f40","datavalue":{"value":{"entity-type":"item","numeric-id":4205074,"id":"Q4205074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$00B54870-290B-4369-917D-8416B42FCDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$26BC9062-99C1-4BDA-A6E9-7757D554E69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc2a73cce9c4f8ef22ec17ccc31acff7fc597204","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$8B3AE7AF-85CF-4EEE-8511-B75D96BEF9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2585040e6058cc953401d05dab4a4741915708eb","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$FAFF3F39-5BD3-44C2-B63F-791581215BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$2EE453D9-0715-409C-A4A1-936AF5EF2D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e12a81eacd6b45bc4b4689eee451512cadf31d","datavalue":{"value":{"entity-type":"item","numeric-id":3985547,"id":"Q3985547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$C622514C-13CC-4AB0-AC45-D50EFCB3ABD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$07C01729-FD5F-47D0-8493-8C3DC8BA0EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89b9780b195307f350a3baf785f9c51b86008c8","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$5E6B12A1-56E2-4C5E-8EB1-DB207B76DC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$537DFE00-E4A3-4DDC-AFB1-BA7E3A8BEECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958413115413c7ac80dee161e64cd008fb5c0bb3","datavalue":{"value":{"entity-type":"item","numeric-id":930865,"id":"Q930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851046$D74EA713-29E7-453F-B15B-746A6D4CD913","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6f3427a76a2bf6250f78e3902d5c659e27265ec","datavalue":{"value":{"text":"Rewriting calculus with(out) types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851046$C9C22416-F5E8-41F6-BA1E-DD295CF4C062","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a609f8f045d8527c3d504018e5821d3568dce","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff95725aec1a7f74a90bc5682f397b56dff69e47","datavalue":{"value":{"amount":"+0.8561115860939026","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":"Q2851046$16BED2B2-E8BE-4BDC-9A1E-68E089FB23FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8068ca63b8e35f9862f18e281bdb86d496bad05e","datavalue":{"value":{"entity-type":"item","numeric-id":2720293,"id":"Q2720293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3288cb4f8f8c118f8f86dee94914392289b7dfc3","datavalue":{"value":{"amount":"+0.8545764684677124","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":"Q2851046$D194E297-A5F4-4595-B596-4F54344742B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a2f17e7b41024f72a0383c39ae3e08e9cbe0d31","datavalue":{"value":{"entity-type":"item","numeric-id":5758041,"id":"Q5758041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3288cb4f8f8c118f8f86dee94914392289b7dfc3","datavalue":{"value":{"amount":"+0.8545764684677124","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":"Q2851046$3C98A999-2522-4F7A-A3CC-87A89DD1ECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dae14d1f98a742f9c607eaff2cba9a0d69e3844","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340ab36896a47d1b89230a7923b5c4528ed9c8f6","datavalue":{"value":{"amount":"+0.8540636897087097","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":"Q2851046$1AA62F02-8C65-4724-99BD-0C91C38A1DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd397cb05dee6db9f8a74735a3c3400aa91f014","datavalue":{"value":{"entity-type":"item","numeric-id":2848117,"id":"Q2848117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"340ab36896a47d1b89230a7923b5c4528ed9c8f6","datavalue":{"value":{"amount":"+0.8540636897087097","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":"Q2851046$24CAD8DD-C62A-488B-BE7B-66BE202CD7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851046","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851046"}}}}}