{"entities":{"Q832251":{"pageid":834099,"ns":120,"title":"Item:Q832251","lastrevid":64674900,"modified":"2026-04-11T21:28:28Z","type":"item","id":"Q832251","labels":{"en":{"language":"en","value":"Decision tree learning in CEGIS-based termination analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498175"}},"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":"Q832251$8FDB7A58-EBE9-4C4C-BE43-02CED3973EF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e8f829351bd2ee33ef9034d1750c255c2d6dc18","datavalue":{"value":{"text":"Decision tree learning in CEGIS-based termination analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832251$1669F314-7481-4A55-8289-FC32F0DE0D9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"470ad359ab51df84e892924e5c4a01f26d122739","datavalue":{"value":"1493.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$39FD6865-8D09-4D21-AEBD-B5D9C7AAB7BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17ffdb9b2b8520fe478a0ff7930d9111720a37f4","datavalue":{"value":"10.1007/978-3-030-81688-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$B591985C-091B-4061-A2E4-8CAE114981D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58ede524bd6e9a73189c75201402127e2eb338ff","datavalue":{"value":{"entity-type":"item","numeric-id":832250,"id":"Q832250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$BD59F3AA-78B9-4E48-B9DC-6189A85F7BFE","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":"Q832251$180E4FEC-16C3-44F9-96DA-3A900D25448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$32A31490-F625-4395-B6EA-649EDAB65952","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26426ab4d5a6ecfa201abc41ba9257e3996155a5","datavalue":{"value":{"time":"+2022-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832251$733F7F21-E29B-4045-A8E6-0B72DE8C0741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ad13072f016287169ce454133678b9bfa6416f","datavalue":{"value":"https://arxiv.org/abs/2104.11463","type":"string"},"datatype":"url"},"type":"statement","id":"Q832251$E704597F-11A1-4689-8F01-D25E1701B6E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$3690D947-83D1-4F04-823C-9B9154ABBDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$C42CAAB8-1593-434C-B491-EF391F0AE4EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c11d3ee11208c2c3f59d9fac2aa689b3128410","datavalue":{"value":"7498175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$5050FC95-1B75-49EC-B6FE-8093E86A0803","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":"Q832251$42AB23E9-A888-4626-ADA1-3E744457AE46","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ed36467febc40ec0045b1482c8efc8883ff88e0","datavalue":{"value":"W3184998915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832251$23298DD6-44BA-4598-B618-6A50EE2E22EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0383da82b76a5590e0218b9b1e2ba239918753ab","datavalue":{"value":{"entity-type":"item","numeric-id":4930721,"id":"Q4930721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$C763AE1B-F9A0-4D7B-8243-FB73392C7844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a20f291a9a3341de0403b70727b80dbcd8a798","datavalue":{"value":{"entity-type":"item","numeric-id":5501930,"id":"Q5501930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$EFD19EC1-9C3C-4BB8-8906-91FF2D778897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791505e27174c01c77279d856e0f9825c63c7015","datavalue":{"value":{"entity-type":"item","numeric-id":2164261,"id":"Q2164261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$B4B58E69-DB73-4798-8BC6-40B3EDB3265A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$B59D7CC6-567C-4D60-8F20-55B83CFD5D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc85e7648787a5ed94053adc1ecf581a9fa4439a","datavalue":{"value":{"entity-type":"item","numeric-id":5919615,"id":"Q5919615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$D683022E-79C5-42A2-B10B-0319C8775E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee69feb87337d10f198fd9cd05eafdb4073760f","datavalue":{"value":{"entity-type":"item","numeric-id":2908495,"id":"Q2908495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$75A3E788-8324-456E-B2AB-30A66397B758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c9c1a283ac586a13f0aa6ed9f45bb4b26c3373d","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$3083E2AF-8BC9-4951-A31D-7EB3887AEA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$5111E707-F716-4468-8189-48CFB1C88126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9005444265be022947046af02bafab842817cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3189834,"id":"Q3189834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$1A47D112-4D2B-46DF-83B6-1E51C00A4B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0ac8008fc7a5a5734156abe6133cadbaa63c0ab","datavalue":{"value":{"entity-type":"item","numeric-id":6194583,"id":"Q6194583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$62A6840C-A535-4995-8C32-D62EC2279A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f035e7ce71fa36b05517fb3b1000527a247baf6","datavalue":{"value":{"entity-type":"item","numeric-id":5901912,"id":"Q5901912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$102D9CE4-3CE6-4A28-B5F4-C2F7B466C49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b799aade81b4cd5b689709b2689d4aca488326","datavalue":{"value":{"entity-type":"item","numeric-id":832229,"id":"Q832229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$8CE5477A-DD1D-486A-9007-48A674D801FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16088cc87169a38459e2ac37621458259e083bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5410712,"id":"Q5410712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$40F24B17-B9B2-4D03-9CE1-D44C7D871C51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$CEB990E1-9FCD-411F-8DE7-0EF2902F9FB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5e3df88c85c981932c01fa16e17ebe27bb7238","datavalue":{"value":{"entity-type":"item","numeric-id":832245,"id":"Q832245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fac26d3667faac42a1f34c597f659bd3c7fa1be","datavalue":{"value":{"amount":"+0.7408146858215332","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":"Q832251$14BCB40C-C718-433C-B52A-D5DA95E5FEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e2449eddd36c106be182b3043f294722941103","datavalue":{"value":{"entity-type":"item","numeric-id":714505,"id":"Q714505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9b801eec08ac632c7415e2b9c2a3481dfbd061f","datavalue":{"value":{"amount":"+0.7342801094055176","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":"Q832251$EC5EF898-63D8-40BC-A9A9-1393E31BD057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7747ca8e41530b344da3677684696950de8040a6","datavalue":{"value":{"entity-type":"item","numeric-id":6045001,"id":"Q6045001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5adfdcf8c01b2ef16f36c1f089044e279b749a77","datavalue":{"value":{"amount":"+0.7272137999534607","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":"Q832251$DB461898-8E36-4E4C-BB08-4A67AC48E415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207e616d7f04783c6c66da1976c8fe43750a288a","datavalue":{"value":{"entity-type":"item","numeric-id":5716591,"id":"Q5716591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6141cb9c93dcf5a323a9a39d8615e198b5ea111e","datavalue":{"value":{"amount":"+0.7185832262039185","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":"Q832251$106DA23E-EE3D-4D5F-A79C-7D6A820DD320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d209fcd6d6fb4994da34439dbd26e97e575b92b","datavalue":{"value":{"entity-type":"item","numeric-id":4804915,"id":"Q4804915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0daf9e52585c36eb6d2bf4d8a042f6c5d8563813","datavalue":{"value":{"amount":"+0.7161012291908264","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":"Q832251$D7091087-E52E-49BE-8291-3055F66382AA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832251$AC6F60B6-03EB-4188-B2AE-64E4CB948B61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decision tree learning in CEGIS-based termination analysis","badges":[]}}}}}