{"entities":{"Q3527308":{"pageid":5557212,"ns":120,"title":"Item:Q3527308","lastrevid":87311102,"modified":"2026-06-04T11:21:57Z","type":"item","id":"Q3527308","labels":{"en":{"language":"en","value":"Proving Positive Almost Sure Termination Under Strategies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347571"}},"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":"Q3527308$C61215C3-22E7-4C9C-8550-C22BE23C8C32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"022c767dbc909597aaa0ec10856f9f95979d78ce","datavalue":{"value":{"text":"Proving Positive Almost Sure Termination Under Strategies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3527308$09118862-A920-40B1-A675-B05B78812ACD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6b05f82be3f3e75759fbd3b65d0d58eabae2b7e","datavalue":{"value":"1151.68441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527308$3638A64E-2E47-41C9-80D0-102708307843","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85f2be9edd85d9255e00068208fd3be4a10ed79","datavalue":{"value":"10.1007/11805618_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527308$1EC633AE-DC7A-4497-818A-08A935897A7A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5931b4d9c6e845ebb4dbfb34e59b474bb2930d5","datavalue":{"value":{"entity-type":"item","numeric-id":3527307,"id":"Q3527307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527308$8185C6E7-8BDE-4C08-A303-7BDB97AF1E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e04ee4eab3243e25a00f127c76770922a42ae6eb","datavalue":{"value":{"entity-type":"item","numeric-id":306693,"id":"Q306693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527308$E4C0EE08-6465-49CF-9985-25DFDF32A7D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527308$557379B9-19CD-4412-BEAF-054A416B8C8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-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":"Q3527308$9E817DA1-5E93-4D29-8E2C-064AF7A2478D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527308$B3362BC7-1071-495A-904A-BAD96ABBD766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c93dfb9eb6853e6051f721e27629f9942b3e7fa","datavalue":{"value":"5347571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527308$CC575FF0-DBEE-4BCD-9336-2C89C06C1627","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cf3b53fddd0939c65f47cd2c3ecdd8d7e23ce456","datavalue":{"value":{"entity-type":"item","numeric-id":23425,"id":"Q23425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527308$A59DA3F9-DE1F-4162-B20E-9A4A6ED7B0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3527308$909E198A-A53B-4F23-9930-40D605C2347B","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":"Q3527308$7C876413-C050-4E29-90BA-71DB5732B0BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c9d1158e1b1e9407b4c626f5bf675eb306b7f54","datavalue":{"value":"https://doi.org/10.1007/11805618_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q3527308$8007F89B-6F9D-4E86-B11D-4E9D2B08A1DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fcceb2c8352436c25e6c81fdf82d34470b520b4","datavalue":{"value":"W1503480448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3527308$D0A3B7AB-DB29-4458-A076-16553074007E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc87aa5f921ba446626bc6f9ecc69658b14a369","datavalue":{"value":{"entity-type":"item","numeric-id":5703859,"id":"Q5703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab49e31f1b2d5fcd69c0a25ee740d47845de053","datavalue":{"value":{"amount":"+0.9124056696891784","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":"Q3527308$AF1A043B-9F62-4A27-B95D-31AD0BF72EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2624f151825fcc7a29898b32e9a0f9e52145bb83","datavalue":{"value":{"entity-type":"item","numeric-id":1648879,"id":"Q1648879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55c6c3c6ac5f6b2a0af0d29157316368b8b91cff","datavalue":{"value":{"amount":"+0.8480939269065857","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":"Q3527308$A10C4C62-5878-429F-8F95-BC8E660FBAE2","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":"44f711dfe28bc947894a2233e5dbcd74fd18ce63","datavalue":{"value":{"amount":"+0.75370192527771","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":"Q3527308$97A99C7F-E308-4ED9-AF35-E0446C6BE38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60a7c1fa6963ad4c550b3f3932e99b18ba7c4b64","datavalue":{"value":{"entity-type":"item","numeric-id":2946568,"id":"Q2946568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdc54e56578c7e8e9a02224d36268818ee35af9e","datavalue":{"value":{"amount":"+0.747173011302948","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":"Q3527308$5D60B5F6-0A1F-4036-AAD3-73B536822E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"166a8858962728707710dc92403e698332eaa570","datavalue":{"value":{"entity-type":"item","numeric-id":6488476,"id":"Q6488476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b87214a06aaf57cd13247779951e07e618d3f7f","datavalue":{"value":{"amount":"+0.7455615401268005","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":"Q3527308$57CC03EF-8715-4C5B-A734-E6398C2F8451","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proving Positive Almost Sure Termination Under Strategies","badges":[]}}}}}