{"entities":{"Q2949209":{"pageid":2959929,"ns":120,"title":"Item:Q2949209","lastrevid":44768958,"modified":"2025-11-25T23:21:04Z","type":"item","id":"Q2949209","labels":{"en":{"language":"en","value":"A compiled implementation of strong reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6491314"}},"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":"Q2949209$3A395CA1-93A1-4B75-B961-86B7DFD13EBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cfae408d020406270dbc79308ae9e6552ab1266","datavalue":{"value":{"text":"A compiled implementation of strong reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2949209$6A24497F-DB6A-4139-9269-D611FD8B6D4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac0ec74dd88878bc1e75ab7390411d89ccd223bd","datavalue":{"value":"1322.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$34BA5AEB-81D9-414F-8D65-1E1189243DCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c8fe14bfbde3a4d4e5a38b404a5ea2efb81425","datavalue":{"value":"10.1145/581478.581501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$4F676D82-A86E-4AEF-97D9-7D6570A4D9C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949209$A823753C-B499-401A-9A3B-84DC2025AB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4b1e35c1c4bff0a8e8e775e8600e2e952b118ae","datavalue":{"value":{"entity-type":"item","numeric-id":848738,"id":"Q848738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949209$E1826F67-B9B1-47A2-A964-6A67DDE5CBAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f0ff6c8c606e0505c72a89b79dd6eac67f258031","datavalue":{"value":{"entity-type":"item","numeric-id":2949185,"id":"Q2949185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2949209$058950F7-8006-4C09-89E2-BAF3B11F1316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"388a42d0e99a3473a403c82b3d4a19525d2c5416","datavalue":{"value":{"time":"+2015-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2949209$83EFA9F3-CA8C-449E-AFB3-03FA1BDB89E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ef4cdb751c633bc25c5c705dd38235ce1984c35","datavalue":{"value":"https://hal.inria.fr/hal-01499941/file/strong-reduction.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2949209$2B87D100-32F8-45E3-8BE8-9446E7438E9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$02CE0DF0-D57D-43E2-A828-2FABAB03C3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$18E6B458-BFDF-416E-9A1A-10463BABC720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$BD5EB832-5167-4109-AA95-D2D093F68B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$3C3B77D8-01EF-4DED-99A5-06F1A5ABFF8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8b4f309163fdca32dbb3f775d87e2d0ac257680","datavalue":{"value":"6491314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$D5693D7B-887D-4D9D-BF96-78919FE08F27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$830448DE-CAE6-44A1-97EF-616D1E6E94DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"854c00e8d24a55ad2ac54a90d02cefdf16b5ce4d","datavalue":{"value":"abstract machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$B8FF6BD1-6703-4670-ACEB-2AFE98C4ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e5aad40b9cd9daaeeca8bcae21d347c40985fa","datavalue":{"value":"beta-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$A2ACA907-09EA-4138-9844-A71083F74DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$74C617BD-D378-41FA-8B46-4C524B580818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54837e2920de4f3acef3a3ae6bd5bd00099230f0","datavalue":{"value":"normalization by evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$3D6E1D3E-4A00-4D09-AED0-B1EE03F00BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"962dacdd382dbbc691c09f5e67b9d1679fc39a14","datavalue":{"value":"strong reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$56D67EB5-0288-491E-9B18-A5FE9B68202E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89121f58d9ccc88a1ad7287fbd9afd9d4b05bbce","datavalue":{"value":"virtual machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q2949209$8AB60129-0844-44AC-818B-13C22F21C396","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":"Q2949209$101E80EB-ADD1-4034-80F7-12F8B84787D9","rank":"normal"},{"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":"Q2949209$373966A6-8F11-40FF-90F9-D2BC6A01F936","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":"Q2949209$364A0844-908B-497B-9DBF-1A45F58D090D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e0fd287f85db9dc2b5467fd248ecca0d2479fa9","datavalue":{"value":"W2168254994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$CDA89B98-6795-49FB-A3F6-A7B9B603E379","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a14ca356ccd9008b64efd64e931698c81fa1b1ae","datavalue":{"value":"Q131122528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2949209$FAD1D39B-C0F5-41AD-97A6-C9C7C28F7D17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b87f4ed35631b6cf4938f9886c0be250e460dfdf","datavalue":{"value":{"entity-type":"item","numeric-id":2352459,"id":"Q2352459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c3fafbb3bb0e46485e9e22b5575810d2ea5b2f6","datavalue":{"value":{"amount":"+0.8734514","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":"Q2949209$2FFFDC20-E795-44A7-AF85-51508BAB08AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62f7bfbc7b13e7b468aea8770d843f045579c064","datavalue":{"value":{"entity-type":"item","numeric-id":2841228,"id":"Q2841228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895266511522ea974d9dd4d33790313dcc76d6a1","datavalue":{"value":{"amount":"+0.8518287","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":"Q2949209$31EEDDE6-9564-45EA-86CA-2955A83CB363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c51c626c86149b4fbeddc5ecca32d8b9e0958fb","datavalue":{"value":{"entity-type":"item","numeric-id":2539218,"id":"Q2539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d82c305fd76d2b14a68118efcf59ca53552b53","datavalue":{"value":{"amount":"+0.8509492","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":"Q2949209$81955781-2338-4E65-B585-237B5527EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9190d217efe5f5ed7cd104e750af5f603be8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":4882541,"id":"Q4882541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f233c47ad6e32b40e812a01aa6e579fa1417074d","datavalue":{"value":{"amount":"+0.8494616","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":"Q2949209$5C9A33C0-43AD-4489-AAC0-BF356E76A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52249134334b105e57b7374b6105133126687fb0","datavalue":{"value":{"amount":"+0.8457039","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":"Q2949209$28346BBC-5891-4E7A-81EF-3B0B59C9365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f523320cd64e03329f4ab3c4fa275590750a0e","datavalue":{"value":{"entity-type":"item","numeric-id":5208771,"id":"Q5208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2a412e4b9f75f429e9838ab68f8468f0fa00b65","datavalue":{"value":{"amount":"+0.8364052","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":"Q2949209$A1072234-44AA-4A1F-8D06-22D387936A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c016ee6b1645c4306a96e67ca6eb5c3d55877323","datavalue":{"value":{"entity-type":"item","numeric-id":2799750,"id":"Q2799750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"052875364f26c02dcabc4dc0dde025639c551b2c","datavalue":{"value":{"amount":"+0.836302","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":"Q2949209$6C41EF82-E80D-4792-BBCE-0788D0A93DFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2949209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2949209"}}}}}