{"entities":{"Q6654489":{"pageid":14265646,"ns":120,"title":"Item:Q6654489","lastrevid":55812904,"modified":"2026-02-17T23:14:56Z","type":"item","id":"Q6654489","labels":{"en":{"language":"en","value":"On the termination problem for probabilistic higher-order recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7959697"}},"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":"Q6654489$AFB9AEC2-8BA7-4968-B459-B4309E83AF14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8200ab8b371ffb5f8bf043ddeec3c64540c7fdc","datavalue":{"value":{"text":"On the termination problem for probabilistic higher-order recursive programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6654489$A76F2A10-AA0F-4E4D-96BA-8E2B9FCF7BE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"823d3b241056a1a7b13b6ef982dde8f2f0401965","datavalue":{"value":"10.5555/3470152.3470177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654489$EC415DD1-6FC5-4697-89C4-3733888A8D8D","rank":"normal"}],"P16":[{"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":"Q6654489$1771617E-958D-4714-847F-6E293A000F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654489$4D79CF54-4EAE-4B5C-8134-40093CDECA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6654489$F0A875D9-E5C2-47E2-B5FD-F51FEC9AF0CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e986e57a46b356e61a6b4db9acbb203ad87efab","datavalue":{"value":{"time":"+2024-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6654489$3FD1A498-B650-4A01-8D40-20F935446E64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654489$8A6E07C9-048E-4582-9BFC-E672E122D6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654489$6B136F90-6D39-4436-BB65-5857CCC2ABA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654489$E1135DBA-9E37-42A5-9BAB-5090607DE3E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3534dd360c8b0d6c554371da98f2ae4a0eacfb89","datavalue":{"value":"7959697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6654489$6D28A1B4-890F-4817-9DB0-1735AF06761E","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":"Q6654489$54ECE4FF-5675-4DBB-9E76-8E9BA76C6EE4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f6577f8901b49706f96ee68996b13a9290caf85","datavalue":{"value":{"entity-type":"item","numeric-id":5129945,"id":"Q5129945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca44e0ce70ccfab68ba6f46aa1191968aeaa4766","datavalue":{"value":{"amount":"+0.9939724802970886","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":"Q6654489$58F3A79F-7A1F-4BBC-8D01-506D1DA8F8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e70081100d1142e0f327c04f59dc65fbd50777","datavalue":{"value":{"entity-type":"item","numeric-id":5028436,"id":"Q5028436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ea6e9dfd0796faa7117b0cd0770546be6a9814b","datavalue":{"value":{"amount":"+0.778984010219574","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":"Q6654489$3E9E3C79-E0BB-4F08-845B-7B4BBEB4573F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e1d94fc18b7d2f4e540be7082c24a45f818af0b","datavalue":{"value":{"entity-type":"item","numeric-id":3452195,"id":"Q3452195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac30b5a7e4193edff5e3c43409bcff05c76d5712","datavalue":{"value":{"amount":"+0.7646558880805969","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":"Q6654489$D048808A-A927-47A7-9893-67189D4209CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ee755c289f87844c00ec59e1d5c21d6e5e58ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3602797,"id":"Q3602797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b461ee327d8115eae66de47a980f7af357e4b15","datavalue":{"value":{"amount":"+0.763660192489624","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":"Q6654489$66CD0FFA-2153-41CF-B943-30234BE319A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66f653b73a9f75a4ccfaee63026d7f30ab1d7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb54d26cac19e0646b052aef6b4321ac5d91f7d2","datavalue":{"value":{"amount":"+0.763519823551178","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":"Q6654489$31C17039-DB08-4C2F-9C54-545ED871971E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6654489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6654489"}}}}}