{"entities":{"Q2931785":{"pageid":2942505,"ns":120,"title":"Item:Q2931785","lastrevid":52145735,"modified":"2026-01-21T00:56:23Z","type":"item","id":"Q2931785","labels":{"en":{"language":"en","value":"Automating relatively complete verification of higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6374664"}},"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":"Q2931785$4915109F-3DD1-4740-A872-059163A16CBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"302ac8e256d357ae5b36b79a3517b5315df040af","datavalue":{"value":{"text":"Automating relatively complete verification of higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931785$98AED22B-DE82-4604-A6D1-6CB5A95B58B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c08acd0d4ad162fca6a7d2b565a612a68e6075dd","datavalue":{"value":"1301.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$34BF864F-49AF-4F93-A232-3D4C394DC1BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"087e97de224fadc17a135584f76f6d71c6bb2e8e","datavalue":{"value":"10.1145/2429069.2429081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$78BE88F0-63D1-469E-8CBF-475586E8E677","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad89601800dc23413dc7ca174df857b300e44e3e","datavalue":{"value":{"entity-type":"item","numeric-id":832226,"id":"Q832226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931785$5F8A35A4-D3F3-4464-8F00-0681738EB586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbb2b3863299559ef6ebd59e50269b0807955a10","datavalue":{"value":{"entity-type":"item","numeric-id":832227,"id":"Q832227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931785$CD519358-9505-4759-B25D-14E48B6060E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931785$B5C8412A-5524-41E6-8149-70A6210507E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d480da44355e1cba6f97eb0f61979a1910561f9a","datavalue":{"value":{"entity-type":"item","numeric-id":2931775,"id":"Q2931775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931785$7085299D-4207-4C40-9A12-88B0EEB4DE6B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2caf1be9256fb0d3734f25532efe298070e0f96","datavalue":{"value":{"time":"+2014-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931785$73423E5F-A2B2-4BE2-A12F-B225D63C914A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c56edaf42d4a6bc99b26133f45bf7ad5a0e940cc","datavalue":{"value":"https://tsukuba.repo.nii.ac.jp/record/29119/files/POPL2013.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931785$D03A5BB9-1E18-461E-AEC8-FF25C3DC49E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$D3A2F2BD-B7DC-4497-AA63-EDB03BE4BCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$839952DD-E787-478E-BCD1-204969FE9143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$7C3930DB-2966-4AC5-B684-FC5C97C53EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bddaccade665f65f89b3303399961fcc369bb1c","datavalue":{"value":"6374664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$96FDE4AD-C253-4AC3-B4E7-31C210392BD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931785$D49A624C-78B5-4F26-B54F-7AB7DE470826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931785$27047C95-73EF-4823-A2DB-AF16D1A10A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3f8f91d1559da40b3e6abc73d4e0baa9c0808","datavalue":{"value":"software model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931785$3657F125-07C1-4EA9-BAC7-F128D2264A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931785$FE5A2B5F-8C5D-4F3F-94FD-4EDB7812C8A6","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":"Q2931785$73F3A003-60DA-45ED-8950-4A83F3F60BAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"751c19be4aef0afe73d81b90c6d87920ed0e1df6","datavalue":{"value":"W2078578987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931785$5680A3C1-1054-46CB-9605-DF84D28587B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8a386429ad2b4f3e81c443c6d8da4c1385eb5f3","datavalue":{"value":{"entity-type":"item","numeric-id":2988670,"id":"Q2988670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4ce1052de2c92c1a3b50a09771ace934657cf1","datavalue":{"value":{"amount":"+0.8645560145378113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931785$67F9F53B-E3CE-46B6-8C65-09CFD91771C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"991ccdc7101444c3538beea1801b7ec9de90cd87","datavalue":{"value":{"entity-type":"item","numeric-id":1653017,"id":"Q1653017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ca0a10ef33b153c3b7adbb7e4df114916c3fd3","datavalue":{"value":{"amount":"+0.851230800151825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931785$8B31E8D4-FBD7-4123-A051-54C9F1C77A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8bd217ad8c49cdb22fc06add58fa29eb5175e0","datavalue":{"value":{"amount":"+0.8307962417602539","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931785$B19D5C90-7B65-422E-9D44-A9DACE4326A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61857521f829fd35e137fa567f82cf60afd533a","datavalue":{"value":{"amount":"+0.8098155856132507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931785$AD1BCB03-435A-4C9A-B605-B29B3103ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9730363bc03c91cdc203d04c63c15559d8c968c","datavalue":{"value":{"entity-type":"item","numeric-id":3459423,"id":"Q3459423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14fa8233740f4052eb07435e321ccd2d89efdc02","datavalue":{"value":{"amount":"+0.8036708831787109","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2931785$82859895-9AD8-4C3F-BB0D-A3FAAAB255C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931785"}}}}}