{"entities":{"Q4635842":{"pageid":6665423,"ns":120,"title":"Item:Q4635842","lastrevid":58308480,"modified":"2026-04-04T16:07:36Z","type":"item","id":"Q4635842","labels":{"en":{"language":"en","value":"Metric reasoning about λ-terms: The affine case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863425"}},"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":"Q4635842$B6370250-E63A-422D-B851-800B36048525","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"873e0b0a106180bba1b408b3e08f1569767d2b0f","datavalue":{"value":{"text":"Metric reasoning about λ-terms: The affine case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4635842$70477546-5622-4A2A-8C67-0EFC41698898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa0b58e05320e03d9b8362e3449510f2d551378a","datavalue":{"value":"1394.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635842$337E93C6-13E4-450C-8149-750AF4AFA258","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b24371ccfa824b9f4b37dca8ae107a56e3d1bd30","datavalue":{"value":"10.1109/LICS.2015.64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635842$839A23EE-B24F-446B-A2C7-A6ABD3CC52D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f43fb5ae92882e75e51ef0c1040f41512c353d0","datavalue":{"value":{"entity-type":"item","numeric-id":2988357,"id":"Q2988357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635842$B65B06C0-4290-4D76-B03E-D193DD468D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635842$CD8AC28B-0E20-457D-B209-F59E91218C0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"83d65420a138b2c4ae4851502a73366edaf00743","datavalue":{"value":{"entity-type":"item","numeric-id":4635786,"id":"Q4635786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4635842$96608B2C-A856-41F7-A7E2-9A3FE8EC3A2F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4635842$BA7AC783-05C3-4E8F-9B0D-0137F23DC841","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"23b6cb1085e1dc977bbc00f215eec8d2c2375ea0","datavalue":{"value":"https://arxiv.org/abs/1505.03638","type":"string"},"datatype":"url"},"type":"statement","id":"Q4635842$C50F67B4-1A16-4C40-B360-3FC7378561B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635842$374D349E-27CD-4E1E-861B-31CA63DDCB41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f2b06975a2cbadef80ce54a8f0201f0889d5075","datavalue":{"value":"6863425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635842$E52AADFB-5703-4F89-88BB-44A42B2ADC25","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":"Q4635842$41CB1920-495B-4F7B-B8C0-E33F3FFF47FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1faf24f0c3eac49a08cc0726bd54d889966f92f6","datavalue":{"value":"W1483535695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4635842$0AB95F21-C2FC-4578-8839-2835F2413F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544600f512b177ddd4c59090b87e2212296fba0d","datavalue":{"value":{"entity-type":"item","numeric-id":2988646,"id":"Q2988646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f576ac3f1730c5efbbe4fbacdde6c93bdd3c5a83","datavalue":{"value":{"amount":"+0.96556985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$DAE1AF42-C910-47AE-ABBE-2CD0CDBB976E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67bb0573e2ff53ce5de127ad7480ba0d4c73675","datavalue":{"value":{"entity-type":"item","numeric-id":3609630,"id":"Q3609630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f4b1dca140a34bc8cdf96568ebde8957b53650","datavalue":{"value":{"amount":"+0.8487913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$65850C0D-A559-421C-B2CD-D699A21E0AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46332aa9cf556597b59a902312fbe1c527808c25","datavalue":{"value":{"entity-type":"item","numeric-id":5739454,"id":"Q5739454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f98b188b50b18250882d9c57fa238416051660eb","datavalue":{"value":{"amount":"+0.84817445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$1AAC56DC-0091-42DE-8C37-68890A45CBBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ae7ac72b3a7e80c9f96cfbc8cd7e5f1bda7cc37","datavalue":{"value":{"entity-type":"item","numeric-id":1365795,"id":"Q1365795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41114b27da74a0d236a3ee6940713b6345481977","datavalue":{"value":{"amount":"+0.8475069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$DB9635D8-3EC3-4B09-92A3-105580D564CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19a0b5a34a7b143826a16a4528d6b32e1105f36a","datavalue":{"value":{"entity-type":"item","numeric-id":878157,"id":"Q878157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841579ad38ab0bd630690902e4b2d7b4cf3d07ef","datavalue":{"value":{"amount":"+0.8461396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$4B475808-EF25-495B-B355-AF4EAED42B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f2a99c0c31e782707510463f9631a669cab953","datavalue":{"value":{"entity-type":"item","numeric-id":3509066,"id":"Q3509066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d450a040213dbceecf3d5b8f72a551c2ac742779","datavalue":{"value":{"amount":"+0.84602857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$7A5796AA-E6CE-484D-837C-4AFF58EE331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d520c88ec288f19fa4975778da18b4876500f282","datavalue":{"value":{"entity-type":"item","numeric-id":5267430,"id":"Q5267430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf763d2417b0d5db738387f1f7ff73c1131e425","datavalue":{"value":{"amount":"+0.84279394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$40D09950-209D-4CE4-8373-D7D596E435C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eee988527256476d5c57353d07fec8e4fabab2a","datavalue":{"value":{"entity-type":"item","numeric-id":2987925,"id":"Q2987925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e59fdadbbbc99e4bb06a0c0839d7618e1d8b3bc","datavalue":{"value":{"amount":"+0.83979607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$01F840C3-B98F-46AB-A70D-EADE058FED2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222ee19280149af9988f1ec36ab26f8d689f95b1","datavalue":{"value":{"entity-type":"item","numeric-id":4240681,"id":"Q4240681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c51636e5b66c2cca631bd66917e08f73009cf0af","datavalue":{"value":{"amount":"+0.8384068","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$A3AF31AA-0DE9-482E-9BC0-411A1FC61037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a368fd1bf49a6d4204e4f72e0ef1356772eef705","datavalue":{"value":{"entity-type":"item","numeric-id":5247348,"id":"Q5247348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c811bb5da8f0382f035759b38a02a4e2a65a4c7","datavalue":{"value":{"amount":"+0.8376071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4635842$2BC81531-0400-4E53-91FF-464D2F6C6A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4635842","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4635842"}}}}}