{"entities":{"Q2814388":{"pageid":2825126,"ns":120,"title":"Item:Q2814388","lastrevid":83349740,"modified":"2026-05-07T07:18:34Z","type":"item","id":"Q2814388","labels":{"en":{"language":"en","value":"Termination Proofs for Recursive Functions in FoCaLiZe"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596129"}},"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":"Q2814388$E9CAA710-D566-42F8-8192-40F45E4DE222","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c84768ce72b6534fa84ea4adb053654bf8835115","datavalue":{"value":{"text":"Termination Proofs for Recursive Functions in FoCaLiZe","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814388$554D51D1-C707-49A9-8F7E-411A271BCB1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccd96ef0c109c988239a8ff03a4d826467b73b5d","datavalue":{"value":"1338.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$94D1D1BA-EC27-4D55-B80A-B6E689761F08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b768a8a34c951b893d58b023ecd96844bd7da677","datavalue":{"value":"10.1007/978-3-319-39110-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$81B5AAA9-B716-4E26-9C05-B889531C8384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c40e2cd3207dd1d19085f0b79e8fee7be86ced","datavalue":{"value":{"entity-type":"item","numeric-id":1624591,"id":"Q1624591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$58245646-A6C4-4AE5-977A-3D49726270AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb2dd99c2d484319f5f1e0acf330f4588cb35035","datavalue":{"value":{"entity-type":"item","numeric-id":2814387,"id":"Q2814387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$1A7D19D2-A319-46F9-A78B-8A577E3EF5D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$BED42E93-0D1B-491B-89DA-FF1991FE0FEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09eb967c0b32704312f4ea43f6ba9597a7e5145f","datavalue":{"value":{"time":"+2016-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814388$533A4E8B-2E12-4F1E-B48A-6F120C1F8C3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$FC71CC93-2AB9-4B5D-8625-9A655367F2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$AB78298A-F942-4103-B314-BADDCF38AE48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"90c14365e62eade91e04c711c217d07886f4005e","datavalue":{"value":"6596129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$EDFFAFCC-E004-498C-94D0-D4D70A333558","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$5CDBA4F5-F548-4241-BFDF-D5B74133E8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$C30572F7-F9D0-4330-89D4-406997449171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d71a259c976f18eaa969f85e44ffcb2ff74a45d","datavalue":{"value":"FoCaLiZe","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$5ED4A3AC-633C-4CD9-B418-9CFD56B881A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$E81658A0-2197-467C-8633-812F53914E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$E328B1B3-675C-4EAA-BCBE-4A048F7E8557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814388$F84933E6-E5BC-4081-8CC3-F5CB1E96D3AB","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":"Q2814388$99D6D266-CE28-478F-BA46-6E056E3D2A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$EA8F8E46-7308-4BF6-9525-83190D795220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$0580EF47-69F8-4714-AEEB-A675DE117339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3517a2607fd5501e7abf98f71a49c3e02398ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":24313,"id":"Q24313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814388$BA310833-BC50-4694-801F-7EE63B1C4845","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":"Q2814388$8CBC8B06-64A2-4B5A-B014-A260F4F8E655","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":"Q2814388$AD7250C7-A98A-4EED-93C5-EA6A911915D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7eb21ecf251d61ac1b8e82a1bbd323cf3383329","datavalue":{"value":"https://doi.org/10.1007/978-3-319-39110-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814388$1D8EE181-8CFD-445E-AFF5-1288EF28C99D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f29f3520e30edbd2fce845895a632c2228cc0b9f","datavalue":{"value":"W2461166840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814388$63500DEB-E746-49BC-BE09-B12E24B2BCCF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b842f6c5c6f6cb13a80a9ee17335820078928091","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad9da0ef9c038718fd88bb5bca6ffe5ced5677b","datavalue":{"value":{"amount":"+0.9102625","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":"Q2814388$12F56E29-1EFF-4021-868E-C5474841F35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8945dd5ea8b23803758fedaea5e36aad46444f","datavalue":{"value":{"entity-type":"item","numeric-id":4494365,"id":"Q4494365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"113400ddb2e93f27801397fd6da1646eabf166a9","datavalue":{"value":{"amount":"+0.9090964","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":"Q2814388$51C8BF87-C7A9-4A7C-8700-FBAA3827A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb77c37da2ba8179f2ef7e2874492ef5009d64cb","datavalue":{"value":{"entity-type":"item","numeric-id":6099621,"id":"Q6099621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0cb2368751d1d9ae3a8aa43692a7555e36c138","datavalue":{"value":{"amount":"+0.8811667","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":"Q2814388$C1DF0AD5-A951-42E0-8D92-7104051C73D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09764d9d8f299c60ba4f1a023f1af6df1944a97","datavalue":{"value":{"entity-type":"item","numeric-id":3323258,"id":"Q3323258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32b4f35bc1fcaf30db5aed1c3293cb6a119a729c","datavalue":{"value":{"amount":"+0.8729138","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":"Q2814388$B0C16AC1-DF19-4091-BA8B-15DD266F048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38e1c444f9687ef1a2f063580845efc85ca055c4","datavalue":{"value":{"entity-type":"item","numeric-id":1349246,"id":"Q1349246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d25088de42a0b1906599f9dd6a13c5b51fce30d","datavalue":{"value":{"amount":"+0.8721905","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":"Q2814388$8947849E-B6A8-45AE-912D-85410CAE5341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3facc881cced9b12b346337d658d9d9ece014757","datavalue":{"value":{"entity-type":"item","numeric-id":5491901,"id":"Q5491901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c415954cbf87999ebbcb2a9aab59fea43f484c","datavalue":{"value":{"amount":"+0.8668802","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":"Q2814388$6AED2A71-3B68-4435-8215-25ABFC8D23B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b3f45783cda7cbcf6cd35ce95ebae073e0ef531","datavalue":{"value":{"entity-type":"item","numeric-id":3024848,"id":"Q3024848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b136cf5db5f207c45afb83921da3d2243bcb4c5a","datavalue":{"value":{"amount":"+0.8611262","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":"Q2814388$BD8132C7-901D-4EA3-93D5-335945006D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73732f22ae9e393a28f631d7255522eb6210bdc2","datavalue":{"value":{"entity-type":"item","numeric-id":2702599,"id":"Q2702599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f1b05e3c625d623344463c4bfbe5698bdda70f2","datavalue":{"value":{"amount":"+0.85860544","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":"Q2814388$F921A88B-9013-4E05-A549-D23F28A00342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"559f441ff0eee48694f4ac49e0aacc680d9ffe5d","datavalue":{"value":{"entity-type":"item","numeric-id":5055854,"id":"Q5055854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915383dfbf1d03ab3ea29d08d9090e9f78ae9cbe","datavalue":{"value":{"amount":"+0.8564549","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":"Q2814388$21C2E446-DC9C-4143-BEFF-01477B3BA258","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination Proofs for Recursive Functions in FoCaLiZe","badges":[]}}}}}