{"entities":{"Q832245":{"pageid":834093,"ns":120,"title":"Item:Q832245","lastrevid":64674843,"modified":"2026-04-11T21:28:27Z","type":"item","id":"Q832245","labels":{"en":{"language":"en","value":"Learning probabilistic termination proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7498172"}},"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":"Q832245$2F655C07-9D9E-4306-A683-4CCF76674459","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44c6a835104262890716e9f870504457f9a0c36c","datavalue":{"value":{"text":"Learning probabilistic termination proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832245$9FC404B0-13F3-4FB4-86A6-9432028DA7F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"603ab3b5105309daed307e17b561bcdb00b29eae","datavalue":{"value":"1493.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$D5ACB039-2702-4BD0-ACB7-BB9320DEAD4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efa8d65f363b6f5e9b5ebd99e8c2b3d61ffdc8f","datavalue":{"value":"10.1007/978-3-030-81688-9_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$8FDED35D-AFE8-4EDF-9E40-83A878A97019","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$71B037A9-0D30-4A80-81D1-FD3C551C4222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461036bcd5927cb876baf0b603e5bfaa0711c683","datavalue":{"value":{"entity-type":"item","numeric-id":832243,"id":"Q832243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$BA2B954F-EF00-4AE8-8CBB-0CDA514F320D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13d77656dbc91f048c965102a27e0dd001d5d746","datavalue":{"value":{"entity-type":"item","numeric-id":832244,"id":"Q832244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$9B8FDEE2-964F-495A-BEA6-159CC913F5AA","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":"Q832245$49ABF0D1-356D-44DE-8CB7-E490D07066DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$362A4F87-9576-4E4C-A245-0D7D39A9733C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$280C4B2A-2C8E-44A5-8E1A-7898A6480176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$0AF19DC7-DC10-4A7C-9B37-3F2B07555181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$9C0147BB-C87A-4B01-80C0-34505EDF68AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805b1c2723059331b2826884466e1a59a8176588","datavalue":{"value":"7498172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$04B15970-6603-4857-B8CA-4A542113F3FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"242a33923700f12bb656a35f07d4a62a930ca352","datavalue":{"value":{"entity-type":"item","numeric-id":55527,"id":"Q55527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$521B21BC-76DB-403C-8141-8518576E638B","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":"Q832245$7360602F-28C6-494B-8BE5-2694F6D44D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9ea2a8d18d9e9bfc9dd3a90c3aa6bc596c6f79a","datavalue":{"value":{"entity-type":"item","numeric-id":33997,"id":"Q33997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$8A8DEFAC-07D5-4E38-A88C-3C8C513B2CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"486d4a238ddfe6e675af8b05acbc2918ef7c588b","datavalue":{"value":{"entity-type":"item","numeric-id":44707,"id":"Q44707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$8FF87647-C4F0-4F79-A964-E6C5C940559B","rank":"normal"},{"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":"Q832245$9DBE8726-30AF-426F-99F1-F252C8052AE7","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":"Q832245$5E289486-687E-478E-9DCE-9159A7D10C00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d17f7ebb2fe12b95326f37d2712e425039725df","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81688-9_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q832245$2E24B6C6-23A3-4542-B11C-9CDAA92BF976","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dc4e1feff6bcf36decf66aa86737301a1935d04","datavalue":{"value":"W3186149862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832245$4C18DE7D-AEF5-421C-8324-B2B82DF4E362","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":"Q832245$7543BAAC-D7F5-4A46-9A23-5DFFB89603B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7af813a5a2af0c3679174b1220c231bfe9dc1f","datavalue":{"value":{"entity-type":"item","numeric-id":2323973,"id":"Q2323973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$00650EE6-CA9F-4235-B925-D3272A05E993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fd49cacaad2bba32371c0649c7914f9763803f6","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$23059DE8-99B2-44DD-A62B-4B5E8EF29A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"315f6cb50c8c0fe68623f757d4cd0b8f783709ae","datavalue":{"value":{"entity-type":"item","numeric-id":2272919,"id":"Q2272919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$A54375AB-6DD8-4A50-9591-CA7971202EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a86855822e448cb04f157262ce822691dbc12","datavalue":{"value":{"entity-type":"item","numeric-id":5150951,"id":"Q5150951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$37A9C795-D9A7-49EB-98F7-A8944AE13C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b2e31ac893aa29128650b9cc43fa3a6b0fcfb14","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$83FA8C49-C68B-4111-9C39-365B9291C5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94843e74cff4f6c0a9c61a11a081fe4a8d98563b","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$561D10D5-0E34-44C2-A221-434576B55631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9932219303365b4b5720c36b0bda5dfd72a1484","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$555E120B-C4A0-4D1A-A845-4D2AEFE39CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b746ff7695e203d510f019d0c136ce59ed84361e","datavalue":{"value":{"entity-type":"item","numeric-id":5150945,"id":"Q5150945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$4D6B178E-59D3-4EC0-AB24-6857B20D2315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e40bc66ceb9f584f64b039354a3f4a7124180235","datavalue":{"value":{"entity-type":"item","numeric-id":5396673,"id":"Q5396673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$E5C4BBAA-BAAD-43EE-A651-1D08C2A1FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494704942889132fc5cd85d5e8b020c6a4a0b233","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$8C9CBE62-167F-42DA-9B78-58F582D6782A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6460747f9737a8c19f6eca6fdf44dcd8d54512a3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$D9F3AB44-A882-4B31-88E4-0A9BCD9B3099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba0262656e41c382f9f5a9a7b3bb892ab61ed599","datavalue":{"value":{"entity-type":"item","numeric-id":5270493,"id":"Q5270493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$70AD91A1-7099-4889-B823-FD9817FD342D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$07DC3544-098B-4DB3-85F1-7CEC2539A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dde1171a1e61455ff21c0984feff3bab884b2d41","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$6958C357-C103-40AD-ACF8-C8AD13F55EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fcad4de67a0b259d2e18b6ea1f1cf2651bec37d","datavalue":{"value":{"entity-type":"item","numeric-id":2986958,"id":"Q2986958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$F28FCA40-F852-414D-A99E-F3E87D6B4B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3832e3dc267ceb2e4bb4d3a758f9c5723b89426b","datavalue":{"value":{"entity-type":"item","numeric-id":1159979,"id":"Q1159979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$F854770D-BAE1-4B41-8DBD-B25E66C0FD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb0a53ac0bbfe7ac64b5c934ff521adc7fc0bcd","datavalue":{"value":{"entity-type":"item","numeric-id":832251,"id":"Q832251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$857DDDD1-AC22-4E2C-997B-C60D6557031B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308fe80a6836d33abb7e389605e4db3f8b3e561b","datavalue":{"value":{"entity-type":"item","numeric-id":4633552,"id":"Q4633552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$53D32B3D-6A58-4BA8-899C-6A66FC8C0E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1591307efdcfd25c5361ed6b6bc0d30639a1f8","datavalue":{"value":{"entity-type":"item","numeric-id":4650346,"id":"Q4650346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$6132F945-F4EB-419F-A0D7-DA2EAD86C3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14812d6ccc1e7fd415a56c6de42526a51923f0f4","datavalue":{"value":{"entity-type":"item","numeric-id":2044203,"id":"Q2044203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$E31B9043-CDE1-4D20-85B2-00898CCD178D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733e71c5d3eaf707d9030a49314c638fa6915ad6","datavalue":{"value":{"entity-type":"item","numeric-id":2233477,"id":"Q2233477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832245$08AE7F6D-6AA7-4B68-8E7B-6620D09B595A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd952b571a9dd36818cd864b91bdf80b817f282","datavalue":{"value":{"entity-type":"item","numeric-id":4633524,"id":"Q4633524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed1cb8e2d0ac00e7f3d31586de9872f52f5413b","datavalue":{"value":{"amount":"+0.8172494173049927","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":"Q832245$9D999A09-46DF-4C46-B62D-D67207710BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f77b25d279acfbd9db679798dcf23997d7d9438c","datavalue":{"value":{"entity-type":"item","numeric-id":5370852,"id":"Q5370852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da26bc1c8dc6c7378320c3219e4a6e7e16dd8f4d","datavalue":{"value":{"amount":"+0.806708812713623","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":"Q832245$7AC09BAA-426E-44AA-8C02-5D905D2DFC4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ad65784cafc906c770c5a88349840c6fe705f3","datavalue":{"value":{"entity-type":"item","numeric-id":2287109,"id":"Q2287109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd26bfa42296c599098a00b266d04e3c84372e78","datavalue":{"value":{"amount":"+0.8020415306091309","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":"Q832245$03A111D6-D503-4F58-A9CC-025382B2CC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0fdd257d206239f5396495178802c69c4b0a1d","datavalue":{"value":{"entity-type":"item","numeric-id":2828275,"id":"Q2828275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03437e027213c2b826202fce1f0154aad1556953","datavalue":{"value":{"amount":"+0.7945265173912048","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":"Q832245$E78DC4EC-C059-4305-B23E-FD1541B7C897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3469a3d18b764a91eb7f34046613eadaace5a98","datavalue":{"value":{"entity-type":"item","numeric-id":2819834,"id":"Q2819834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e582fceea785bb924daba3dcc321bb6806bdb2fe","datavalue":{"value":{"amount":"+0.7936059832572937","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":"Q832245$EE730AB5-476F-46E1-9FB1-CC2608CC0C92","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":"Q832245$060C2F48-D948-400F-B65F-B171106BFF6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Learning probabilistic termination proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Learning_probabilistic_termination_proofs"}}}}}