{"entities":{"Q1702897":{"pageid":1713638,"ns":120,"title":"Item:Q1702897","lastrevid":73808328,"modified":"2026-04-14T17:19:37Z","type":"item","id":"Q1702897","labels":{"en":{"language":"en","value":"Predicate abstraction and CEGAR for disproving termination of higher-order functional programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6845638"}},"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":"Q1702897$BE5994AD-FDAC-41D0-8416-758A29E1FB6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0116a36690b7df14f121efbdf7cb6b3a3f8588b1","datavalue":{"value":{"text":"Predicate abstraction and CEGAR for disproving termination of higher-order functional programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1702897$E6189267-94C0-459B-B4EA-65983796FDD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bd54282d4db5cbf61eadb8f1884c83333db7785","datavalue":{"value":"1381.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$9152A59E-901E-4995-8798-743202EAD45A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ad4914b3d3a33ec4dec31cfe6f6833ddf025434","datavalue":{"value":"10.1007/978-3-319-21668-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$4FA0ACFF-CB1C-41F0-8874-FAC1AB616F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04f0d3724ecdaf882b840aabcc348a3b08846bac","datavalue":{"value":{"entity-type":"item","numeric-id":1702896,"id":"Q1702896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702897$CBD11291-CAA5-4FC0-9830-740E08058C4A","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":"Q1702897$53878837-936A-47B2-AC93-ECE39FA2E65C","rank":"normal"},{"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":"Q1702897$865A4B75-6470-453D-B20C-467E58AE6197","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":"Q1702897$9751D73D-FC73-48BF-8FFB-55DAE2EE5817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ead1def560b38beae02ca12f5c5bf33059d8b8e","datavalue":{"value":{"time":"+2018-03-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1702897$51718EE2-176B-4A34-BAD6-4B8F731E64FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$6C75652A-A717-458A-B559-A0FE7733007E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$A38375A7-F418-4DDD-9BFC-F1B7FECD084F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa1d9c945157e6051f27acd1c879cb402261ddc9","datavalue":{"value":"6845638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$DC670585-78AB-4120-B8C9-E673CA71F01D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c48993fbd85f379ae45effaa429a7f913736c21f","datavalue":{"value":{"entity-type":"item","numeric-id":33285,"id":"Q33285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1702897$289F01B7-0430-439C-BF6D-15C519BE4A20","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":"Q1702897$2FA46D0E-81D1-4DA8-B4AB-A111B36E3583","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33889059cca74da18083086ba4ef2649e53c8183","datavalue":{"value":"https://doi.org/10.1007/978-3-319-21668-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q1702897$438F4980-0695-4470-BF4E-F209D4E6F041","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fe6c5dba301441fdd251ec45d350e706ead0a4f","datavalue":{"value":"W1012186786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1702897$C9C98EDE-23DB-4734-9C1C-4C8D4A37D228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daea1b39e98acdd0c050adf44ba6c69cb6b3e013","datavalue":{"value":{"entity-type":"item","numeric-id":2985774,"id":"Q2985774"},"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":"Q1702897$0F1A0328-343C-4306-A398-EA5C0DBD5CFC","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":"99dca371d80fe7bdf0c942c9191227f1f98165d0","datavalue":{"value":{"amount":"+0.8001610040664673","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":"Q1702897$8EF55693-092E-48DF-8B03-A895CDF2FD05","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":"948a736bb82f9b63dd1da61b243a39e421a86c25","datavalue":{"value":{"amount":"+0.7732118964195251","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":"Q1702897$7AA36902-90B2-4A6A-9038-2B0AB3954298","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":"9428873abde2e8e2305264fbd5b1b4184b4f4f81","datavalue":{"value":{"amount":"+0.7550276517868042","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":"Q1702897$B8525EDD-D27E-4033-B4C9-C468AD6B644F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb8868a11d6a2e1cd44f77770654d27aa9422f4","datavalue":{"value":{"entity-type":"item","numeric-id":5030190,"id":"Q5030190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf07c1b340e5c28f03c3b934cb2efdbd3a184ec8","datavalue":{"value":{"amount":"+0.7407324910163879","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":"Q1702897$D04B703F-107F-4768-98D9-F75497A15C22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate abstraction and CEGAR for disproving termination of higher-order functional programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_abstraction_and_CEGAR_for_disproving_termination_of_higher-order_functional_programs"}}}}}