{"entities":{"Q2946345":{"pageid":2957065,"ns":120,"title":"Item:Q2946345","lastrevid":58070472,"modified":"2026-04-03T16:46:01Z","type":"item","id":"Q2946345","labels":{"en":{"language":"en","value":"On the hardness of almost-sure termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482744"}},"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":"Q2946345$E49EF001-06C0-4309-B3ED-5D658EB59746","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ca3a0fe8f72d3cb7ca7e163e58451d3c683ac21","datavalue":{"value":{"text":"On the Hardness of Almost\u2013Sure Termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946345$37243523-D329-4D34-93D1-FA5D4869EB49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e414031e44147d5fde7722e2f8669bf962b9e48b","datavalue":{"value":"1465.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$41EF481F-3166-46BB-84E3-745447F57B83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67c50bf353d0217927affdf6d39fa494e11dbcc6","datavalue":{"value":"10.1007/978-3-662-48057-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$AFBBDD53-847A-4812-AE7D-FE5E96DB7E08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aacfa5b5220f00c3776f4488c780f2bf11d5042a","datavalue":{"value":{"entity-type":"item","numeric-id":832285,"id":"Q832285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$26CFA9C4-207A-4AEB-BA52-A876117994AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$F64D9D85-181B-42C1-AB4D-6DB59DE0335D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$394F73A4-EE85-4721-8B38-2BF17D651365","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946345$343B5046-7E8C-46AA-BF0E-C4BE59829222","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ce56ac34db2afda6fcb5631e169136388628225","datavalue":{"value":"https://arxiv.org/abs/1506.01930","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946345$3CFE2ACB-CDF8-45D8-BA52-5293FCE49340","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$4F46EDE9-ADE7-4384-941F-8429183631F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$43195211-F8A6-4143-8AAA-96B66F885B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$D0A4C9FB-3B6A-4DE5-A8E8-EB9782DD87FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$21516FB7-854B-4775-96D3-F0F553D04E1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4857a2eba030908e9d0e57b8588f1910392c4278","datavalue":{"value":"6482744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$1205A58F-5767-4A92-B23B-B04FC6CE85B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946345$4B8C65EC-AD53-4631-9584-E97DA38F6E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a17e4e169405d06ea383f5cfa275c188fb2df82","datavalue":{"value":"expected outcomes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946345$3B26EF4C-3CF4-4127-A7FC-E8FE1475C9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d87d1ebee38a636f938ab7eddfda06ffbcfc3d3c","datavalue":{"value":"almost-sure termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946345$67C05576-099E-49F0-94C4-8C0B3FF9FAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca3aa1d31768399079390914d88ea2ac60c6839","datavalue":{"value":"positive almost-sure termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946345$FDEC0F81-770C-42F6-97B4-319ABA5E6EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccd5cbe365ba34db03b09056b5b69ac87126bb2","datavalue":{"value":"computational hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946345$BD15148D-BB30-456C-8F46-0384067AC63B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"60c8a36ddb07a108f25bf3cf64d9b520cafeec55","datavalue":{"value":"Q57800726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$22C30F56-BD7A-4AAD-BF27-5D88309D8B8A","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":"Q2946345$3B902658-D15D-47B2-A6DA-1ED51A2DAC2E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d828360d8080a3c31ebf5227b6f51bdf16403bb5","datavalue":{"value":"W1595069411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$E1C536EE-0408-4C3F-AE8B-8FE4C0B1995B","rank":"normal"}],"P223":[{"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":"Q2946345$57D664B5-4B02-473B-BEE4-068F3C0033E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1975c74672113e9ef391aeef45f19bea82760e20","datavalue":{"value":{"entity-type":"item","numeric-id":5891171,"id":"Q5891171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$B7FC4785-D4DF-4108-A639-39BA449EE018","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":"Q2946345$5C01D315-44CD-46A5-B62F-829AD59BDD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef4a451232f3eb7958f112910773763ea8023e52","datavalue":{"value":{"entity-type":"item","numeric-id":4909326,"id":"Q4909326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$85FCD506-CA1D-4FE2-B818-061B871A348A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a83ccf0b35dbbae2a0a0f1608b875847d0786def","datavalue":{"value":{"entity-type":"item","numeric-id":4417853,"id":"Q4417853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$A0B83204-A6CD-45DA-8F9C-D144704F2DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c14ec495bbd808415d1915885b40b043ede3bb","datavalue":{"value":{"entity-type":"item","numeric-id":1822937,"id":"Q1822937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$824A6640-1A83-4E82-9DE1-17C1AA933EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d351615d8a41de69e6bcb3ac199e23c42d063f22","datavalue":{"value":{"entity-type":"item","numeric-id":5843994,"id":"Q5843994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$95E78B2D-54CB-4614-AA48-B9C787176E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bd69c20c34f646cd7aa65415c7f058a6ae54ba","datavalue":{"value":{"entity-type":"item","numeric-id":1189450,"id":"Q1189450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$A4AF6C08-936B-4738-9015-CE161985E5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d938e2cf16a516c25169e92ed68817a27d01f44d","datavalue":{"value":{"entity-type":"item","numeric-id":5845382,"id":"Q5845382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$0C24DA11-898C-44E4-A17A-8B12591FB0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f4f13509c05ca44b6aa78d129e88e614ae0100","datavalue":{"value":{"entity-type":"item","numeric-id":1307029,"id":"Q1307029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$FCB66E03-4BFA-43D4-BFE1-5244CE63D5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28257ce02a4ba767d4b99cee6ba427bdbee61632","datavalue":{"value":{"entity-type":"item","numeric-id":2946345,"id":"Q2946345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946345$F419C39E-5A7D-4130-8324-A404BB9DDFD8","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"021ce22803a4c2a6d0bcac9d530b3bdb808ce680","datavalue":{"value":"conf/mfcs/KaminskiK15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946345$2B18394A-4047-4007-8C9E-74D7C841CE60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450f9f766a5c3c8d35786fe303890243742c71ff","datavalue":{"value":{"entity-type":"item","numeric-id":1733103,"id":"Q1733103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ab24fd4186f3550960434674effb16ba342335","datavalue":{"value":{"amount":"+0.911668300628662","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":"Q2946345$CF37B96B-C493-4C76-8ACB-B96275489CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74ff16d64fe4d89d095f2c0f8846c09b5d767656","datavalue":{"value":{"entity-type":"item","numeric-id":6166145,"id":"Q6166145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf92c0a6ef9e1a1a66c527e1045f041a724fdf6a","datavalue":{"value":{"amount":"+0.8395507335662842","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":"Q2946345$A2DA6D14-102F-438B-A1B0-CD0EB75A4008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0264fd323e8ae4eb2601febca08581f6f64d5e28","datavalue":{"value":{"entity-type":"item","numeric-id":1822937,"id":"Q1822937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94ba6609291de6db9da81109cba06889e8c1122","datavalue":{"value":{"amount":"+0.820296585559845","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":"Q2946345$6C75342B-CD9F-469D-B7C3-E79F2D333645","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":"cc525fd5c5fb20260706d4f45c8212075e4b1574","datavalue":{"value":{"amount":"+0.8198437690734863","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":"Q2946345$715A539D-2950-440C-A3CE-F6E6CF8ECC40","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":"b1b83c784f9621d3314321215a4483f23d600881","datavalue":{"value":{"amount":"+0.8193665146827698","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":"Q2946345$0BD69C67-7D87-44CA-929C-8665D0C9212E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946345"}}}}}