{"entities":{"Q1825630":{"pageid":1836372,"ns":120,"title":"Item:Q1825630","lastrevid":73461486,"modified":"2026-04-14T16:05:17Z","type":"item","id":"Q1825630","labels":{"en":{"language":"en","value":"Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4121408"}},"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":"Q1825630$F403C10B-8505-4726-BEA8-33B41E6BD53B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e92c157332239519f07da1794bacbb7fd989717","datavalue":{"value":{"text":"Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1825630$734149B2-5D17-4FAD-A063-2EBDF70D27E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2683a45e9365deacee7be63295e5e991c917714d","datavalue":{"value":"0684.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825630$E51AD359-4EED-4029-8863-6E9D0CFB76E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e22d739e4938869288a1bf5e2b9134dc4272b90","datavalue":{"value":"10.1007/BF00370557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825630$6DC4B87A-073E-4376-8772-580A22F44765","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$6FD26F8D-B948-4BC7-BF83-EA5DA88D2301","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$21490589-75C1-4782-A432-837D45370ACC","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":"Q1825630$98AF2277-6968-4414-B8C9-7CCC3E1FC304","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825630$9138A605-D197-42E8-9EFB-799CE66AFAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825630$C50B9874-C3E7-4031-9AD8-36B800B26930","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13644494865d54db95e802591698734ff8d7870e","datavalue":{"value":"4121408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1825630$21A87C1E-C38B-446F-B8C7-ECF813D1686A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825630$33EAE58A-59B1-4BDE-A1F1-A625F0467AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60213e83bfc9bd726424d8ff6e507d74bc225809","datavalue":{"value":"nonstandard logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825630$D3C21499-E94D-4584-B827-80AB0C9E61A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16c2a7bf603b12f2bb657d4b176beea1326544f","datavalue":{"value":"Intermittent Assertions Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825630$2989B428-4D91-4AB7-9D41-43E4041EB4FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1825630$E21E4A19-CE90-4E37-A9EC-B072943B497E","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":"Q1825630$E2850261-A176-40D9-868C-BEB39FB1756C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5af1861e0a66c8d43d615443a9593f21ef7a870","datavalue":{"value":{"entity-type":"item","numeric-id":1109759,"id":"Q1109759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$C612F4AA-22A0-4299-9F0E-648DDB5DAC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1270f4d60a05bd67d01053664f9cb16ad0f1e99f","datavalue":{"value":{"entity-type":"item","numeric-id":1159460,"id":"Q1159460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$9C1094CE-EB77-4AA4-83C4-0BA21BD18810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$D9F337FC-9C04-4D43-B9B3-1B3B04EB0396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7635911b6f21703916d79c1313bf7f0f9f67caf8","datavalue":{"value":{"entity-type":"item","numeric-id":3911362,"id":"Q3911362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$32AD9B07-9299-4D69-AE42-32E481A3DC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b21e90a23a5672c558c84dfaa27ce2856c251a","datavalue":{"value":{"entity-type":"item","numeric-id":1162355,"id":"Q1162355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$BE257F42-04D5-4FF8-B548-7EBB3B0FABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$127309FF-1E55-46BC-B895-2A451931D0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31d9541ae8ef385d6bf5d7cb5c55dbf35dcc9c9b","datavalue":{"value":{"entity-type":"item","numeric-id":3696488,"id":"Q3696488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$17C49E60-DBB4-4F94-AD02-73A4218B52D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$211A6F2A-4D2A-462E-ACF0-9A7E77DB9924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$F5AD98FA-B4C8-46B9-8C2F-2D618C3C6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$9FEFCECF-D885-43FE-A73D-9508C7A7A9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$C494AB5C-31DA-4378-9EA2-032E23F5A937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7bbc979df5b316c5bf1e32463cb1ed192a0d77","datavalue":{"value":{"entity-type":"item","numeric-id":2639051,"id":"Q2639051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$D6B73581-12EE-4376-A881-05B6870F6979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$20351A5E-A59F-4799-ACFA-1ED3D14B294E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac09f0ca0f36729a8d14fbaa62e0e06b4e8b2c85","datavalue":{"value":{"entity-type":"item","numeric-id":3345770,"id":"Q3345770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$AFDF32A5-E7BB-4069-B967-E355957C08CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa88669227141db71dbbde7111e0cc29dbacbe07","datavalue":{"value":{"entity-type":"item","numeric-id":801661,"id":"Q801661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1825630$144AED1C-036F-4F65-BD5D-3362F70CF781","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9968a81f101b3dda94d0e82c4e51378c913a3db","datavalue":{"value":{"entity-type":"item","numeric-id":3341880,"id":"Q3341880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a0e6d7657f07abb1f59be4e1dd3821dff1385a","datavalue":{"value":{"amount":"+0.79992306","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$BBB46FAD-DEFE-406B-8036-DD89732CF7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c42abca5f1957af99c29414df960c3ba393d8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1071491,"id":"Q1071491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9b2a89c50c539cda55c3b065c7fce96eb1bb74","datavalue":{"value":{"amount":"+0.7661581","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$7CB77955-6B20-4063-BB71-9DD2EF91D870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"241542c203fc370a7ab0c732e13088b75fb3ff44","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc47a560e17bb8df8e328396c8e279a92c39313","datavalue":{"value":{"amount":"+0.76151466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$6E719B8A-D990-42D2-BB62-DEC48F121637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5208fe8b65ff2bd268e086077af031e73e3c4421","datavalue":{"value":{"entity-type":"item","numeric-id":5887528,"id":"Q5887528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f35f827e699400bf836928a75b299bb2c0913f32","datavalue":{"value":{"amount":"+0.7601585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$F68C0CD6-6575-43B7-A7AC-53EC042C829E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3def022d620f40a6a300aec04ecd95a805987f55","datavalue":{"value":{"entity-type":"item","numeric-id":5394565,"id":"Q5394565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5a59c65ffdaa97fbf52b33f319c5dd586f35f4","datavalue":{"value":{"amount":"+0.7528361","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$A715BFE8-9B0C-4D65-81C2-E8A670947292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d23e2d4dff41175d19f5e6c12451661990945cf","datavalue":{"value":{"entity-type":"item","numeric-id":5194652,"id":"Q5194652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"404a70b91444070a126020af3228abefbc937f5e","datavalue":{"value":{"amount":"+0.74788344","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$BA667165-8E4E-43ED-B048-064C004B97D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b539152de02dfc453d861a16f527f0a1d623779f","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1bac93ea621ed7bfd19172fa5aa3625cfd75d1d","datavalue":{"value":{"amount":"+0.746386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$99A15F30-7295-4B5D-AB99-E40A5CA9153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed9717ab702188ea2b06276e639fac8f6972f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5455088,"id":"Q5455088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e153b5a6dbf56c50bdef8ea47cab2bb250a8e17d","datavalue":{"value":{"amount":"+0.74267954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$CAAC9D85-678F-4018-91A0-E890BC87A71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939ba46ae8c13870d5d1b99a7324d65de42e33c2","datavalue":{"value":{"entity-type":"item","numeric-id":4031327,"id":"Q4031327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d7b42547cef66e3944d8b58d05c2dacf381810","datavalue":{"value":{"amount":"+0.74116874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$D83B2A30-141C-4F19-8A71-D9B939DDB74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ab1d3a3f59c967d01e2e6ce90754107df83dab","datavalue":{"value":{"entity-type":"item","numeric-id":4934533,"id":"Q4934533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be12f01b3e99379a1bf425467d005d6e6dfe560f","datavalue":{"value":{"amount":"+0.7409732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1825630$0DC1161E-EF8D-4B95-BA8A-A3E2DD968393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Is ``Some-other-time'' sometimes better than ``Sometime'' for proving partial correctness of programs?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Is_%60%60Some-other-time%27%27_sometimes_better_than_%60%60Sometime%27%27_for_proving_partial_correctness_of_programs%3F"}}}}}