{"entities":{"Q3644936":{"pageid":5674842,"ns":120,"title":"Item:Q3644936","lastrevid":88711547,"modified":"2026-06-04T15:15:11Z","type":"item","id":"Q3644936","labels":{"en":{"language":"en","value":"The \u03bb-calculus with constructors: Syntax, confluence and separation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633216"}},"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":"Q3644936$98F41ED1-B70A-47B0-9460-C4C72CD49EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a23a8b7f60b61bfacddaac86d3b76825b090985","datavalue":{"value":{"text":"The \u03bb-calculus with constructors: Syntax, confluence and separation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644936$C628CDD0-D208-4F39-A355-D3EB315AE76A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2557e642163d72adf6170adac9ce570aa8e6e39e","datavalue":{"value":"1191.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644936$48969D8F-76AA-45D1-B75B-D7D9DD54BE97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c84fc0b2b030b850a1c059af6b596c040485d02","datavalue":{"value":"10.1017/S0956796809007369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644936$87F2722A-3AF7-4F7E-AD6B-A819FE8BE2E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74ddffb839e67fcf9cf810df1c9f370a382a84","datavalue":{"value":{"entity-type":"item","numeric-id":3527293,"id":"Q3527293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$F9F14CE2-7FEB-446B-ABB4-33C2A2421E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$FBF93D9D-AE7F-4B2A-857F-41B90DDCC26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$0439C33F-F1F1-41F7-BEBC-6439A14D2879","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$D65F1291-59E0-4088-B081-F3E46B00E6B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f53dd3e5b38789996a6dcf854c0199193defe23","datavalue":{"value":{"time":"+2009-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644936$AF3451DD-653F-4107-84BD-6ED1C6E61D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644936$0ED626D1-82DC-4B4D-B8D0-108633E9CB63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea9971e27e2bddcc676b2b0b0f49c7b55b016e18","datavalue":{"value":"5633216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644936$18C9703B-20F0-4864-9F20-739896CD28E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355b0b08179e3c168930afa914369e7a478827dc","datavalue":{"value":"separation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644936$198D1108-D0D1-4D72-934D-88A7251E8390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6413b877eae48c16ba966fd4b98a92f140b7e9ad","datavalue":{"value":"B\u00f6hm's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3644936$93629756-F526-48E9-9218-29A905552F45","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$F71D0FFC-1605-4256-B9D6-52571BAE7CEE","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":"Q3644936$F5D4134E-54D6-4233-B74E-FC988C088DDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86f643d8e66f52adb7b0f50d83caa81327cbd4e","datavalue":{"value":{"entity-type":"item","numeric-id":2732138,"id":"Q2732138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644936$FCB0248F-35DA-49E9-918C-B782FC35751C","rank":"normal"},{"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":"Q3644936$CA34BF21-7C01-4BC3-AC66-1597D3681EDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29dcd90ead356030cf28c7417f903966f8fb19b2","datavalue":{"value":"https://doi.org/10.1017/s0956796809007369","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644936$6C88F030-E166-4FC9-963C-F5A9CE7A0D49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d56042e808bdc99d9f33ada7c09265b66849d06d","datavalue":{"value":"W2052166813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644936$91E1ABFA-8443-4C0A-ACCD-742532D8B618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25874115f7b5639622ddada8abaf228c3ee7bf7f","datavalue":{"value":{"entity-type":"item","numeric-id":3527294,"id":"Q3527294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7100d34bf0ecbbaa84da5df916d9fe0950848593","datavalue":{"value":{"amount":"+0.9278858","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":"Q3644936$9DF6A1B8-B014-4E77-9C70-F9A697A77DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e8356be2d62533834705232e97b52f0b5f5da2","datavalue":{"value":{"entity-type":"item","numeric-id":3003303,"id":"Q3003303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ee967ecf61974cf83e503fa1b5433d6606523c","datavalue":{"value":{"amount":"+0.9277273","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":"Q3644936$9A32C76D-FFFB-4CD3-822F-6B501CC62D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592dbd5cbb0cff0033572b3a212ef55d68bbc7a0","datavalue":{"value":{"entity-type":"item","numeric-id":2904629,"id":"Q2904629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b15be63760f9784efc6e4126860d57ab3da311a","datavalue":{"value":{"amount":"+0.9209452","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":"Q3644936$3D57BEE0-05AD-413D-8D37-06590E783B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e1d24aa94a413bd5eefe1104f8ec9789fdb8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3638093,"id":"Q3638093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c146dc48006929be4e73063fbee0046c0cb5484a","datavalue":{"value":{"amount":"+0.91954184","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":"Q3644936$B742F2AB-0F9D-4EBB-9EEA-43A88FBBC6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a020cdec295853b77cdfe9fec2964fdae112d7a","datavalue":{"value":{"entity-type":"item","numeric-id":3178293,"id":"Q3178293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558e46fa70e766a57ca2b3a372c3920886d8fb91","datavalue":{"value":{"amount":"+0.91175944","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":"Q3644936$C845C9B7-416C-4D7C-B872-6F94C7D526FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"545213a7bb9fa7b414bd853021c008b016ce7765","datavalue":{"value":{"amount":"+0.9105231","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":"Q3644936$4762016B-10EE-43AB-AAC2-18D40CB67702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca3215d2c5258272190aa79597315f220b7bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":1350342,"id":"Q1350342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56ecc88bf2f2f269853ede5b6c090bda5b75a0c","datavalue":{"value":{"amount":"+0.9002994","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":"Q3644936$4F9AE034-0DEF-4B4B-84AA-E2DF4B9685A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d10014aeb484d2d1415d368ee9b8d616af0ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268465,"id":"Q4268465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56ecc88bf2f2f269853ede5b6c090bda5b75a0c","datavalue":{"value":{"amount":"+0.9002994","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":"Q3644936$02BE7A4D-BC35-4127-AB54-DD0A1EA91B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c05d8ceb30fb7dee16c2d6c4f9b7a6d009e0cb","datavalue":{"value":{"entity-type":"item","numeric-id":968531,"id":"Q968531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd004c9707a05c6ea40a3893b5fabc76c6ecf66b","datavalue":{"value":{"amount":"+0.899985","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":"Q3644936$D2C0BD7F-E9B4-440B-8454-AFB001FBF8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a715d38b9608064b19a7f411bef7ba6321fa368","datavalue":{"value":{"entity-type":"item","numeric-id":3784044,"id":"Q3784044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaaa3aa4d8cedb147337da16f7b2405e9661cd1","datavalue":{"value":{"amount":"+0.8951719","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":"Q3644936$71EC8E68-192B-4248-A304-98388AA21CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \u03bb-calculus with constructors: Syntax, confluence and separation","badges":[]}}}}}