{"entities":{"Q1183432":{"pageid":1194181,"ns":120,"title":"Item:Q1183432","lastrevid":66785343,"modified":"2026-04-12T12:50:49Z","type":"item","id":"Q1183432","labels":{"en":{"language":"en","value":"Repetitions, known or unknown?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33290"}},"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":"Q1183432$84382245-421E-40EA-A3A0-FE75DDD19167","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa6499260e199560ccc5ec424d5db3969292eb2","datavalue":{"value":{"text":"Repetitions, known or unknown?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183432$737BB233-1226-4467-985F-1A95756F7CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0695dca4ed74f08435186257e98dce6694f5162","datavalue":{"value":"0751.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$0BA4E146-7177-42C3-A8D9-7AF76F16AEF5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f6dc9114219e0893d653dcf8e14acb56edc36fd","datavalue":{"value":"10.1016/S0020-0190(05)80010-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$10FFF09B-F460-4457-B9D2-EF401FDAB80E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$A01F0C2E-BCC4-4507-B0F4-8556979E195D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$5164A26C-9052-4197-84DF-44720970B1D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183432$7ED7318E-5CF3-4046-BDD0-54DF94BD65F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1d6cce32ee8941244b1b8de668176328a4f81072","datavalue":{"value":"The purpose of this note is to discuss the meaning of repetitions in an imperative programming language with nondeterminacy, and to present some results and examples that are not widely known.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$3503B1D0-E921-4FDF-BB75-5A05A37F652C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$1AC3F101-C7D5-4A49-8A48-2E339E8F8DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$BB29B966-DFFC-4710-8E39-1900325B627D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4264d134443feb80dbcaf9ae2b15bb3c2ea41f53","datavalue":{"value":"33290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$2E8D264D-02B8-4A6C-BB47-B650FEA8AE06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$9511DF87-3B6C-4062-810F-08E64B049EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f39fd012936264613c1ff43b1087c485b2ab35e3","datavalue":{"value":"program derivation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$32D7881B-1FC4-4E90-8E8D-FF6AFB8B3367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$8915DD7A-7B94-4B79-BC82-F9447A75BC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$934F36BE-A50C-4EFF-BD9F-EB127468E098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96953ce86464104079bdf468528be0888359861b","datavalue":{"value":"repetitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183432$62E58DA4-B50B-45C0-9316-0474AF322C52","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":"Q1183432$E03AB143-ECE3-49CD-9B4A-50BF1B83E095","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$D22624CD-63F6-45A0-8897-B5A78354418A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$F8CBDE8B-B946-4BBE-A7E1-10370ECB440E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$EBE7EACA-6EAC-4A35-BE84-12B4E440BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183432$B519C83B-04D5-4C14-91B0-18E131A3E52A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"113fd1fab1df12806b4e48eba75350e0d7f74934","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(05)80010-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183432$2102368D-253D-4115-8D3F-DFF49B889961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a727c8e909bf80c3e5993edaf7cf0b980f63b99","datavalue":{"value":"W1990287186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183432$8DA7D821-D6D0-419A-9988-FD11DB735A89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32cb4b5f0532b75decb2764746e0c41e91ca9408","datavalue":{"value":{"entity-type":"item","numeric-id":3745259,"id":"Q3745259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c80f92e784f92f66ba126bba330b3def723d3d9","datavalue":{"value":{"amount":"+0.6997408270835876","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":"Q1183432$D205AB6A-A4DD-47CB-8B07-0BB272E5BC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e5348567182df9650adebc301e6848be4fb0e4","datavalue":{"value":{"entity-type":"item","numeric-id":5186712,"id":"Q5186712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6174ed559c905446cb94777717a58c719c6578f1","datavalue":{"value":{"amount":"+0.6729303002357483","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":"Q1183432$3ECBF2A5-B37E-40EA-BA0C-C10E640FB115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f92a45f159be251ed93348d45e4f3a3a03f105","datavalue":{"value":{"entity-type":"item","numeric-id":1075045,"id":"Q1075045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a36959900dfac2a6f16be0a33b9564c5e05aa70","datavalue":{"value":{"amount":"+0.670372724533081","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":"Q1183432$29D9E479-481B-4F39-A780-E840AF6F3EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501500f6ade6c7c4ab3b1b1441b3e447e628aba8","datavalue":{"value":{"entity-type":"item","numeric-id":1064048,"id":"Q1064048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee35ca2598ed0ddbc4e6010992e2f0220b1f94f","datavalue":{"value":{"amount":"+0.6694355010986328","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":"Q1183432$12DE0760-7831-40CE-AD10-B1713AD35FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60706c3e7f76580ebae914508f3fd28c6d55158","datavalue":{"value":{"entity-type":"item","numeric-id":3341863,"id":"Q3341863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7031e6b0c61c6d19768d236374aeada7ad95a77a","datavalue":{"value":{"amount":"+0.6691714525222778","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":"Q1183432$FC5E30C5-39D6-4253-B5A3-897609F496B0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Repetitions, known or unknown?","badges":[]}}}}}