{"entities":{"Q2985774":{"pageid":2996499,"ns":120,"title":"Item:Q2985774","lastrevid":52799417,"modified":"2026-01-23T13:01:42Z","type":"item","id":"Q2985774","labels":{"en":{"language":"en","value":"Automatically disproving fair termination of higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6713908"}},"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":"Q2985774$C87FD463-7771-4384-9E40-5951900995B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b82fd21b7ace7ba6cc0a01d8f5f26373269174b3","datavalue":{"value":{"text":"Automatically disproving fair termination of higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2985774$2486E069-2711-4BA1-A048-121C16B013E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e48e242d67ad218c500369f5307a1c3ec1177bfa","datavalue":{"value":"1361.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$996DFF33-FBDF-4E87-8A36-113CABFCEFE6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3c1c5ab1958ba3ba47a76b2e14716f517eb12fc","datavalue":{"value":"10.1145/2951913.2951919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$71BD8BB3-C005-4A46-BCD3-D2F6633C5047","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f063e0f65bfdce520644bdbd6bbb70d4be1c19","datavalue":{"value":{"entity-type":"item","numeric-id":258124,"id":"Q258124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$360AFB0F-2EC0-4CE4-A36B-30021019087E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"265a8705f244c9d097de3e98c6937abd8a7b8993","datavalue":{"value":{"entity-type":"item","numeric-id":365066,"id":"Q365066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$472A435F-1091-4463-9E56-3F8A6E764774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0eaf951c75d2d5db5073cd2949ee5f4196ba23e","datavalue":{"value":{"entity-type":"item","numeric-id":2038069,"id":"Q2038069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$38F867CB-5472-492E-9F76-EB1C63A546CF","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":"Q2985774$B28B6926-E4F0-433B-A111-FA5BF8BC49B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"423c52aacdf5e1820397bb95b30ee85c088ba9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2981996,"id":"Q2981996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$88FDFD2E-370A-44A9-B73A-F38FA4610793","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"81927d6a17a89da4e5bba03bf491f09d50a9b6e5","datavalue":{"value":{"time":"+2017-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2985774$77299B0A-5510-4456-9BA1-576EC0F1A8C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$DB7921C2-1931-4B90-8306-1FA8D2769ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$D6A16E14-671A-4ED8-829D-883E44F7C6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$E646A9D7-E7A5-4F6A-8B54-E21E041D1F92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9dd9b77615aedaf9079d584630f5f9eac774f7","datavalue":{"value":"6713908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$424EEF9B-BF38-4EFF-B863-1266E3F81F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$6FE5E842-74CD-4405-AD14-710DC22C83B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$59FA62DB-D494-4612-8AD0-12AD5C796FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a277367c3d4e3c3aec102118ab5101d7a653037","datavalue":{"value":"fair termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$5A3EAD56-15B2-47FA-951B-82BDD4B0FA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf4f6f2283066329ae52ca5a071d4d20f367f14","datavalue":{"value":"higher-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$30D6D2A6-7182-41DA-904E-45F76E358433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"024e260e8fd79d5f0e614a4825adfe2815bc0614","datavalue":{"value":"higher-order programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$91743B29-A3FD-471B-BCE1-E57394A2D922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2985774$0FB96416-2581-4F27-A497-7ED9C9500CB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9571a980e5821fda7407e6c3a929e1cfdaec4d40","datavalue":{"value":{"entity-type":"item","numeric-id":21846,"id":"Q21846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$06C4F2EA-C056-4900-9CF6-52B2D98A25A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"38ff53837896e0a2b555c23cf73374272fd5a663","datavalue":{"value":{"entity-type":"item","numeric-id":31831,"id":"Q31831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$DFBE7CE2-E06F-4B2B-9A8B-4446F6579484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$AF6E6DA3-77D1-48FE-B1B1-691D2F1252AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5d6510c46b7cdc6faa88af0f68f919e6f29dee12","datavalue":{"value":{"entity-type":"item","numeric-id":31978,"id":"Q31978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2985774$81B0EEF3-3FE4-4EDC-9C61-64E95A45FDAA","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":"Q2985774$C9E57048-59F0-49F4-8FC3-AA267E038ECD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b3dda2ad2647331bf0645fe1c60092159793672","datavalue":{"value":"https://doi.org/10.1145/2951913.2951919","type":"string"},"datatype":"url"},"type":"statement","id":"Q2985774$B0444F26-FBC1-4E83-B4FA-6E6B021F1E7B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ec5d355d6a37988a54ccae4ceae2cfa61ce67b6","datavalue":{"value":"W2515762752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2985774$FC1DE340-71D0-4D37-B263-CA4B75141737","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fe49159c046efa21dd3b33c0a71aaf59869bd61","datavalue":{"value":{"entity-type":"item","numeric-id":1702897,"id":"Q1702897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ec676ac2c41e04c29c465f23daecd2526bec07","datavalue":{"value":{"amount":"+0.8622277975082397","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":"Q2985774$9E9B9BA0-93D9-435A-9339-439416C79D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc0d2057f08451429e303894452f7af869ad74e","datavalue":{"value":{"entity-type":"item","numeric-id":2828245,"id":"Q2828245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec7e570bcec3821314f01670dc44479b92eeb597","datavalue":{"value":{"amount":"+0.8355945944786072","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":"Q2985774$8FA4A996-67A4-4C4C-8E6D-4B68B27DD2FE","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":"6af0d91f73a7df7fe4f11cd10cca9e54522a1079","datavalue":{"value":{"amount":"+0.7899938821792603","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":"Q2985774$0F7A77A2-5300-46D8-81C3-20E62772247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f07e09169b6bdc96aaa6e2e43034b1108429d69","datavalue":{"value":{"entity-type":"item","numeric-id":5348854,"id":"Q5348854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16ac74e47e4986050b89c8d193716ddba187217","datavalue":{"value":{"amount":"+0.7360121011734009","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":"Q2985774$342B4AB0-9830-484C-8871-23E13B287533","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":"35cc582489a1cabe6510463f07eaa8ab92ee622b","datavalue":{"value":{"amount":"+0.7295567989349365","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":"Q2985774$ADEEE2BA-D9C1-42B6-9573-2FA57DC84EE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2985774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2985774"}}}}}