{"entities":{"Q1822937":{"pageid":1833679,"ns":120,"title":"Item:Q1822937","lastrevid":71369799,"modified":"2026-04-13T21:48:21Z","type":"item","id":"Q1822937","labels":{"en":{"language":"en","value":"Probabilistic termination versus fair termination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113954"}},"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":"Q1822937$82CFA4B1-14AE-4219-947A-C15CDDAA894F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5381801348bf560cd694716e5cdbf1d77b765dd2","datavalue":{"value":{"text":"Probabilistic termination versus fair termination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1822937$91D77E1D-69FE-4962-AD09-7DE6EF759BC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a1b02a30fe1240a820005d7cccc6d21369c552f","datavalue":{"value":"0679.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$DF83F9D9-82C1-46BF-86C3-3DF2ED3AE64C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83199222945f60751201511fc0d8c8025b0549e1","datavalue":{"value":"10.1016/0304-3975(89)90158-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$3A5D9151-47B2-4185-8152-C065D7FB72FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32adfa54afa6514262dc1c8c78f6dcb5f5dd38ef","datavalue":{"value":{"entity-type":"item","numeric-id":1822936,"id":"Q1822936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$207921D6-2F3F-404A-A484-CF66043E08CF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$D1C17E37-D4C1-4BD5-97DF-5793C3BA27CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1822937$A4FB9D5F-681A-453C-B021-C7B6C533324D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d597da5455020f4e7a121a58eaff2eb990b73981","datavalue":{"value":"The probabilistic almost everywhere termination of concurrent programs is proved to be expressible by a \\(\\Pi^ 0_ 2\\) arithmetic formula and hence it has the complexity equivalent to that of deterministic program termination. This is much simpler then the \\(\\Pi^ 1_ 1\\) complexity of ``fair'' termination.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822937$6CDDE010-911F-4256-BC1B-528DDE308933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$28EB961D-B2CE-4504-AC49-389F215D3147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$65FBDD3F-339B-48AA-9E85-6BE227290314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$780B002C-A98D-4178-83D7-D77BC3F9A104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$30674CA9-A325-4963-A467-588DAA33E6B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321b163e1870de167f701e71aceb06139600a3d3","datavalue":{"value":"4113954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$1E04F2F2-159A-4CFE-9935-234A8BEC5044","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822937$BD564CC7-D823-47C3-A941-1F93BD9EB74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822937$086EC0FC-BF33-4517-A604-A02D42402E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafa81145893cfd18902e15310f5f86cc446d2dc","datavalue":{"value":"termination of concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1822937$6A29BABC-7063-44E5-B1F0-C06F39CBCBA4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"25306ed43a658ea19c64035347a11c5c173761c0","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$01D19F69-274D-4564-A80D-13BE8470721C","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":"Q1822937$FB67519B-780E-4201-8666-9F0C49EACC28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bde33116021747595e7cf3f0abc0fed345686ab","datavalue":{"value":"https://doi.org/10.1016/0304-3975(89)90158-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1822937$5440CD9F-A5F5-4323-8711-B2C08A027FA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"860d89e409a40aa34c29a37b27ac48f2e92c7641","datavalue":{"value":"W1980608699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1822937$CC1477CA-F3EA-4B92-985A-B47C5A627F9E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$256671E4-FD82-49F1-907D-CE338B8182AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"015cd53333891e4bd79b629bebe5f35ba7a7263e","datavalue":{"value":{"entity-type":"item","numeric-id":3738540,"id":"Q3738540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$ED483DDF-3D1C-45A5-82F1-C27CCE049FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d32a8c0023ee99949f9c3c0b0fab1f329f47263","datavalue":{"value":{"entity-type":"item","numeric-id":3698284,"id":"Q3698284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$F8B3ECC5-B42B-4B73-AF5B-0ABE4DB4B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e80321a5b901dd6bcf10e15a0ea7c4a4a661ba","datavalue":{"value":{"entity-type":"item","numeric-id":4749184,"id":"Q4749184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$243C06DB-018B-4DAB-ABCA-31AE7C053C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b4939d35d10ed96017cb4a61bc30bfd8661a10","datavalue":{"value":{"entity-type":"item","numeric-id":5509984,"id":"Q5509984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$40681A14-48FD-4C6F-9951-9BBDFA0A5EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81781063c3d175b8de9bd53ad8e17c137b45e74","datavalue":{"value":{"entity-type":"item","numeric-id":4138569,"id":"Q4138569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$0F5289C4-33B9-42C3-A719-782B98336278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$37EAD82C-F69A-459C-98EF-20DB1A407C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a76bbc537f268bb21b927221390f7f5e547e86d6","datavalue":{"value":{"entity-type":"item","numeric-id":5593890,"id":"Q5593890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$2EE22534-B30D-4A10-A6B4-DE62411192BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$731FB8BE-D0A3-4B74-98B1-DDA0165AF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7103a5405286b870e6ab7a14ae128d2d5cab1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1062972,"id":"Q1062972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1822937$B13F9481-086E-4CDE-94DB-82AA2A5A7CB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a725b6a2c8eb1af8742bf241c2640dde44596361","datavalue":{"value":{"entity-type":"item","numeric-id":1111384,"id":"Q1111384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357fa9d18651f2728a211af2bcea5840c20d4008","datavalue":{"value":{"amount":"+0.8851013779640198","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":"Q1822937$29BB8BE5-5490-4E37-94FF-02405166B2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6aef3b01c30597ab09e135da57b73d61c23a15","datavalue":{"value":{"entity-type":"item","numeric-id":3746869,"id":"Q3746869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fc1c2fc5db6fe2c43fda83605468c9a3f0511cc","datavalue":{"value":{"amount":"+0.8487635850906372","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":"Q1822937$69EC3B15-D410-482B-913F-3D5CE151AC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe6156f84d05888d2b9a79289d26c67da3a520e6","datavalue":{"value":{"entity-type":"item","numeric-id":3686020,"id":"Q3686020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c42d48943610e5c44a3152d6677f8d568b7b74a7","datavalue":{"value":{"amount":"+0.8206990957260132","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":"Q1822937$8055324D-04F2-45F7-82BB-64EF9047E09C","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":"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":"Q1822937$A7A45512-8D07-407F-9DF7-823910DC40CA","rank":"normal"},{"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":"3b93da2fbeb37b03ba72ddd9a2c8103858e0c3b7","datavalue":{"value":{"amount":"+0.8000049591064453","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":"Q1822937$07B4682A-472C-48AA-A09D-BBC502A6A1E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probabilistic termination versus fair termination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probabilistic_termination_versus_fair_termination"}}}}}