{"entities":{"Q2866803":{"pageid":2877523,"ns":120,"title":"Item:Q2866803","lastrevid":42330603,"modified":"2025-06-10T17:23:37Z","type":"item","id":"Q2866803","labels":{"en":{"language":"en","value":"Reduction and conversion strategies for the calculus of (co)inductive constructions. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236529"}},"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":"Q2866803$641D29BD-39C2-4EB7-A9A0-82C78083E635","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bbf5a92c364245a3984f409a13234cddb236b1b","datavalue":{"value":"1277.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$E387C948-7734-4C6C-840A-854AC03884D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6fcc0863f3310792433a26fbf0220fe6380173d","datavalue":{"value":{"entity-type":"item","numeric-id":651318,"id":"Q651318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$999E6291-68C4-4EC8-B87C-0BD136CFDAE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$69606E24-BD61-4A79-AA7B-2AC43E0ACED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2866803$91BF3119-FB84-4BE9-B961-0D37FEA80E57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$95CEFFDA-80F5-453F-A356-DE8789ED4FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$ED23964A-4872-44B7-B6DF-6DAC6F9A74BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$9DB7B747-3773-4429-A74F-BD2CE6CFC361","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04fd18a08e72aa8c5617bce373f098532c9452a6","datavalue":{"value":"6236529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$94E54E6C-7757-49F7-84D4-F86597118E6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb89b155fcbbd9c0698b2648e4229d862f99cbac","datavalue":{"value":"reduction strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866803$33EB2386-3D31-48AE-8CD3-95F53C492540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b45322503bc74ba8caa3e549f4f7612baf63aa60","datavalue":{"value":"conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866803$E5F8B62C-0229-4BDA-8D56-B28D96DB8D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fca4f2618cdd71aac049e4a493bed77fecdbbb","datavalue":{"value":"calculus of inductive construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866803$8111F088-D2F3-4EC1-AA8F-C3ED30AFB08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866803$CB8547BA-170E-4A2C-A052-BB8CD9E1B57C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$5450A5CD-EB7D-4637-B8DC-69B5F168986C","rank":"normal"},{"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":"Q2866803$2F8D03FF-AEC0-4738-8E4C-B72216EF0E50","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":"Q2866803$200757FD-5327-4F8E-ACF4-1B52AFAE3857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f5d800c049ecb47330d06de771a7d5faf448da3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.050","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866803$854DB04F-7A40-40EC-880B-EC416B2F7801","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b81747768747633b93db8084b2e016c65baac34","datavalue":{"value":"W2070114636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$6A09CF3F-EE84-4F7E-BE07-CFD960C3335B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$C6A1654B-355E-4561-9B14-1D20804DFA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$3A091E77-F8EC-440B-BE29-3F7914FC247B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca9b21e92d1e385b1aa703cba49bf61d8d21f05a","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$0BF0A474-E6BB-463B-BA15-61A39C6A3833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f10d994e8a97bbbe2becee90fad178192db2e602","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$4293BFDD-CB07-466E-A57A-34163209A366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5193e6a5a3c0a2fde95ed5212e577b55eaa533fa","datavalue":{"value":{"entity-type":"item","numeric-id":4413879,"id":"Q4413879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866803$44C1A44F-2757-45DF-BE5E-2B1F96FCA0CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1082fb5b5a39b56bf3786eaa04ad9d39d2ed73b6","datavalue":{"value":"10.1016/J.ENTCS.2007.02.050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866803$E61BF8BD-0EEF-4FFE-97BC-06A12FC67580","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbc4570acf10bb946cf736fe3cb959b65034f9f","datavalue":{"value":{"entity-type":"item","numeric-id":2881085,"id":"Q2881085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e9c3752bcf2b9ea94a02a5b70d2fbfb794a540","datavalue":{"value":{"amount":"+0.87705904","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":"Q2866803$16168727-7316-4E49-B405-5FB1F2904DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe18158a6ce01f773853a6291b89d428a861bf80","datavalue":{"value":{"entity-type":"item","numeric-id":897480,"id":"Q897480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56071a5b07a588998bf7cde649cbb3b920bec3c","datavalue":{"value":{"amount":"+0.8663317","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":"Q2866803$8C52FA79-8C70-4469-8F5B-EA09F54116DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd6d437810c57cc5debbc20171e5f9d59bdb9772","datavalue":{"value":{"entity-type":"item","numeric-id":1040007,"id":"Q1040007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effa9bb6b49e79c0130eff9e3fbbb6bce25c615f","datavalue":{"value":{"amount":"+0.8612576","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":"Q2866803$87521960-2BCE-4DB1-9070-F1817B7F48C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4e5f69ac10da5dfbf809d1b24702f6902e7150","datavalue":{"value":{"entity-type":"item","numeric-id":5747669,"id":"Q5747669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f2a169dd0690ca28a4a4d45af57aa6060a031db","datavalue":{"value":{"amount":"+0.8606293","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":"Q2866803$94B9A247-12F6-473C-B0C4-E58CD5E7C428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04fe00dd16f83f29e78f1f29866c0bdd4cd88a8b","datavalue":{"value":{"entity-type":"item","numeric-id":4457447,"id":"Q4457447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5baeb0d1e7af78a11ec4ddf41ff96560fb3724","datavalue":{"value":{"amount":"+0.8605436","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":"Q2866803$D28B104B-ECB5-4482-952C-D5A393BFCC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"387cce94216297b66f69d2aa4feef49d02d8cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":4681362,"id":"Q4681362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5baeb0d1e7af78a11ec4ddf41ff96560fb3724","datavalue":{"value":{"amount":"+0.8605436","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":"Q2866803$B0BCE92B-5FEF-4CBC-AE06-EB430384D38B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3cae8e6da6ecc813341c855071d0d4b7f7fa2c8","datavalue":{"value":{"amount":"+0.86044824","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":"Q2866803$5193B726-C7DE-412A-82D3-38FED67DD778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fa832c9f679ac8d467437b0c437e298bca5df","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e341a2dd9edb4aaa84519f95050c7ff7ed7a762a","datavalue":{"value":{"amount":"+0.8558539","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":"Q2866803$82ED45CC-1FC9-4CEC-9F8C-977777684A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3059def3a1d11991a42b48d069012b0de3f3f","datavalue":{"value":{"entity-type":"item","numeric-id":3638245,"id":"Q3638245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f8dc7a80e132aafe3837ece6c5889bde7bc349","datavalue":{"value":{"amount":"+0.85318923","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":"Q2866803$1BD8BCA6-8055-4F13-8C59-DA933CDC8A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3c7b8de097b4be467676211e2afc74edd39844","datavalue":{"value":{"entity-type":"item","numeric-id":4945227,"id":"Q4945227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb0a16831121c003467245131652388aa4ce504","datavalue":{"value":{"amount":"+0.8504689","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":"Q2866803$1EE59DCE-BC66-4919-8216-D33A267D271A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"072e1506dfe24639524719590c7ab94901e89872","datavalue":{"value":{"text":"Reduction and conversion strategies for the calculus of (co)inductive constructions. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866803$AECCF024-1284-486D-8E14-C15852FDB2D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866803"}}}}}