{"entities":{"Q444373":{"pageid":446140,"ns":120,"title":"Item:Q444373","lastrevid":61865817,"modified":"2026-04-11T02:11:56Z","type":"item","id":"Q444373","labels":{"en":{"language":"en","value":"A versatile concept for the analysis of loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6065689"}},"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":"Q444373$FBD780BA-3FB3-4023-B4DF-824440055C83","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33290a59dc60d564c7cc211f2823c61d0d4c71e3","datavalue":{"value":{"text":"A versatile concept for the analysis of loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q444373$2A58D20A-3396-4E15-BA5C-38F2FADED119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d00ce7d654c07711d38ee763779a41e7d1486230","datavalue":{"value":"1246.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$1B08CC4B-EEE7-46D3-BAF2-B41640FBC6F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3231d11b78a0cedac13955b590138221e349e363","datavalue":{"value":{"entity-type":"item","numeric-id":444368,"id":"Q444368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$FCF77A17-22FE-4CDA-A666-442E0415EA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ccccb769ccf11c3a850b91421e35fc93fca1ab1","datavalue":{"value":{"entity-type":"item","numeric-id":444369,"id":"Q444369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$E96B9A2E-59E9-42E1-B1F2-333E95067F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7828a12e3ffd25542553f0465b3fad83db2e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":444370,"id":"Q444370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$880BB559-CBE9-4961-9DD8-AF4DD28968DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f775d58db3001d6eb023876f815858fe881aac52","datavalue":{"value":{"entity-type":"item","numeric-id":444371,"id":"Q444371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$A947B1C6-20FB-4D94-924B-D7359BF7FF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14d3a7de4373c1c701df241be51a17edb22381dc","datavalue":{"value":{"entity-type":"item","numeric-id":444372,"id":"Q444372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$0BF003D2-EC6F-4F86-B16F-A05C4207ECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddc91625cf26d9f38636af1785664b029e077bed","datavalue":{"value":{"entity-type":"item","numeric-id":797984,"id":"Q797984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$6D98D04C-A0A0-4F2F-B4E3-340D396E132C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$58F86901-912E-4ADD-B495-B1CB6F288D04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17f5b5d4ad052e39462cb5dceca74a207d28c511","datavalue":{"value":{"time":"+2012-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q444373$EB01E986-0503-4966-B467-04696B70AB21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$B1B2353C-48A5-48C7-B7CA-8C7995327AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$E1F54AD8-09A1-4B78-BD90-0C1985A6F65B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$41D75D4B-5BD9-4B74-AE22-0218AD27B231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a204863e49c25c951c61ab88ff9f10b861a49e93","datavalue":{"value":"6065689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$9AC96B5A-9488-44C8-A654-F4D19A7064BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb7100a0b05c308bdf12e70869e6ffd72a638cf","datavalue":{"value":"invariant relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$ABBCA5EF-0860-4028-BAA5-B01976957CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daad30502148779c1d0ea4d0b3ab981f677fb979","datavalue":{"value":"invariant assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$DFA65C52-5305-43C7-9044-4B048493AF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d9de607949a4544a83ee666c8d74476fe7c2016","datavalue":{"value":"invariant function","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$75843BB2-F30D-4342-AA4B-552A93484B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$9FCC9C78-5B3A-4097-960F-8A0254DA0AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb80064ca2fa95faa6b853920ad7922be2c2376d","datavalue":{"value":"strongest postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$C55FDA41-EB0B-43EA-97BE-1FE01D1BD322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816970ef63175c073815616408d7ddbb1038a8a1","datavalue":{"value":"while loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$36862B46-AEB8-4251-9961-310FD0FDF9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ac14d803582780124337ba069f723ee2a35b02","datavalue":{"value":"termination condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$5107BE06-BE8B-4F0A-B238-AF6CB5577DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59fa865bf10990a00b315df7fd32c4fe6bd8f431","datavalue":{"value":"loop functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$2C9C6244-35AD-4F15-A4D8-ED2576724C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eccc25307be88bf0f3467c5d98a2f24848b4b6a0","datavalue":{"value":"loop semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q444373$54F9A0AE-4885-4741-8F85-F976B26B081D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e435afb031ee44ca6c370c9a4082b74be3491e33","datavalue":{"value":{"entity-type":"item","numeric-id":16498,"id":"Q16498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$FA7ACD37-668D-4188-AAFA-98E12E86C6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f2502fa7bae1ce337fdfb1a3126bc599f4c117d1","datavalue":{"value":{"entity-type":"item","numeric-id":24616,"id":"Q24616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$9F685718-BFE2-4D3C-8BD0-FDD91D85B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$B9FA9153-A7B6-434F-8265-CC4CACE8826B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$C321246D-4AD1-476A-9618-2A5EB8F5689A","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":"Q444373$A4830019-F5F7-40C5-B4BC-09A002DB6712","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aeec960ec992ea3001ae7e8495d68e1c0f07af02","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2012.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q444373$47C8A8DC-7811-407F-8471-C06CBE5540E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09c04c9bff2b18fc5eb76d93b4f48f6654f9db52","datavalue":{"value":"W2029961359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$93DD2C23-DC48-47D4-B9B0-FA9058581B8E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d888ce0f9e678e78fbe187beae84a0b88847a07","datavalue":{"value":{"entity-type":"item","numeric-id":1205187,"id":"Q1205187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$81EFA2D1-6593-45F6-8C88-E2727D92CEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29f29bd69731db14562b58bbe572fad0b8f6f584","datavalue":{"value":{"entity-type":"item","numeric-id":3504342,"id":"Q3504342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$138961CC-9DCE-4613-A1D0-9CCB751380FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b017608da01ad841ff41e1eaf1e28d83e843c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3512502,"id":"Q3512502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$BC4460EB-9870-497D-841E-7599B8DB1C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$B5581776-F5D3-4598-8824-896ED45A62C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458dfa6fd44072143815c860d3690f1687a12132","datavalue":{"value":{"entity-type":"item","numeric-id":2463543,"id":"Q2463543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$DBFADD4D-3343-4EC5-BCC1-CA2D9F31E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f642ff66e8539d846927a8f5618916606bbf48fb","datavalue":{"value":{"entity-type":"item","numeric-id":3586008,"id":"Q3586008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$B1E74024-3D4A-4BDC-8476-B8020B123E06","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":"Q444373$BD460C14-D68C-402C-B629-56DDEC7C97F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$75E438EB-6992-425B-86E2-E2507FECBF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3c01dc0e266e4f0fc9387183a83efe886d87715","datavalue":{"value":{"entity-type":"item","numeric-id":5228113,"id":"Q5228113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$C4795D07-1B47-4BEA-B8FE-A22733D5578A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15358d43a73fcb9797fd14b88604aff3ae5b4d46","datavalue":{"value":{"entity-type":"item","numeric-id":3038593,"id":"Q3038593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$6888894D-0351-4A85-8A95-D3858D37E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80fcbb5375e198995aca4693415ecca142e18e29","datavalue":{"value":{"entity-type":"item","numeric-id":3105751,"id":"Q3105751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$186DE5FA-7749-4A0F-85FC-EAB47EBB8D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2b23fb9fd1fbf9405b0e2fed33d52bd3c8b355b","datavalue":{"value":{"entity-type":"item","numeric-id":5739977,"id":"Q5739977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$69782EE2-4876-4673-B080-8CBEA6E86159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$57EC875D-7930-486B-8ED1-8D5E523D2B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"356eaecff29947a651a198b3ff53d844ccb0fba0","datavalue":{"value":{"entity-type":"item","numeric-id":1044182,"id":"Q1044182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$9B9F0958-44A4-458E-9600-1F9988D4CAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817a925eb5294986b9f403eea65fb6d1c9bdaaa9","datavalue":{"value":{"entity-type":"item","numeric-id":797985,"id":"Q797985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q444373$AAABBAF8-2791-4A52-9C18-33120CE3D3BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7eac400d2b6d1cbb9d4349c037f9e1ee14310c15","datavalue":{"value":"10.1016/J.JLAP.2012.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q444373$B521DC03-D3C9-4653-8589-A8BAF7756B37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d76739f8cefe7406cad15ef543b7567872b982","datavalue":{"value":{"entity-type":"item","numeric-id":1760096,"id":"Q1760096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6457e4f7c7bcf505f8c1b6768697b7fd0b03ddb0","datavalue":{"value":{"amount":"+0.8808149695396423","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":"Q444373$89F5A03F-3BF7-41AC-A0B3-B377B97CC356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd63ad96a99d0f11f0b6fd0a8a03865b72f596d","datavalue":{"value":{"entity-type":"item","numeric-id":604384,"id":"Q604384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e7b5987038fb2622a7b21fd402e2fd099f1a77","datavalue":{"value":{"amount":"+0.8576923608779907","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":"Q444373$D515D7CF-AB8B-4181-952A-34A44A4BDC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b240ab2720e4b415608f282418040bd96af4c696","datavalue":{"value":{"entity-type":"item","numeric-id":3651520,"id":"Q3651520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d7e01fd2658e8fc006c8adfc4b6cd93bc92151","datavalue":{"value":{"amount":"+0.8118324279785156","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":"Q444373$A81CDB82-C0BB-4618-A87D-EFDBCCEAFDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8cdbaf7c19b2795fc05b1c19dac6eb45a9e20ba","datavalue":{"value":{"entity-type":"item","numeric-id":797985,"id":"Q797985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd76201ebbf6482d48881f1e949fb9329c0b763","datavalue":{"value":{"amount":"+0.783575713634491","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":"Q444373$51609401-9B58-4DF1-9FC0-3BCECD87DFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61609c5aab92880d5397107649aee40b83ba8207","datavalue":{"value":{"entity-type":"item","numeric-id":3105751,"id":"Q3105751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa7013fc8129c8599866bc8ca021b17b079d9dda","datavalue":{"value":{"amount":"+0.7764381766319275","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":"Q444373$EA978CAA-6769-4BFB-B14F-6CC3A0C1A127","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A versatile concept for the analysis of loops","badges":[]}}}}}