{"entities":{"Q1170877":{"pageid":1181626,"ns":120,"title":"Item:Q1170877","lastrevid":42926131,"modified":"2025-07-16T02:29:28Z","type":"item","id":"Q1170877","labels":{"en":{"language":"en","value":"Hoare's logic and Peano's arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3784250"}},"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":"Q1170877$F75122D5-4CEB-4F2A-A566-F0633ED5BB61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e4543588c5609d6fda47206867979f8f862e9c0","datavalue":{"value":{"text":"Hoare's logic and Peano's arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1170877$3F3FFCD5-7B83-47E4-827F-F3DFD4100BF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de5f9d8ff51f8457da7056f2782d2026f7f23edc","datavalue":{"value":"0497.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170877$4C70A60D-5F52-4D20-B81C-C079D1077DA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4fccdeade3e0dedb9de441d0de7e3834317efe8c","datavalue":{"value":"10.1016/0304-3975(83)90107-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170877$467199B2-FD2A-4188-A9C3-55DA67948A9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$5C0534A0-5E8C-4789-BD2C-73990EF05145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$37CA935B-6A45-480B-80C2-68F623CBF474","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":"Q1170877$5175EC7F-7BF2-4211-BD06-78B760D4B0A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1170877$CA80291C-9566-4F87-A357-E14E7B69E857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170877$4AFAC539-9C76-4FE3-B377-EA1D6F03D01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170877$235E6791-778D-4185-AF19-5AD59C63EB2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"312a889e191ee7f5b24efd49dda01ef18ef8d8b7","datavalue":{"value":"3784250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1170877$8A39B97F-544E-4A25-82DF-190C55A3AFA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6f5e21df80ad471474ec5ace8fdae126c95b37","datavalue":{"value":"partial correctness of while-programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1170877$5807A8AC-838F-49A0-95E4-F6E60AFEA26D","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":"Q1170877$E87776F0-4332-4675-8FA5-480131476A54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$F708746D-8E58-4CEF-83F8-68C78AA06194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$C245FF67-5942-46BE-B5DE-05DFB9BD53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc01beee0576bea6ea525779afa0e96e85c3165","datavalue":{"value":{"entity-type":"item","numeric-id":1158948,"id":"Q1158948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$9856DD22-864D-4867-801C-4E5525EE673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d6971c4054c6c2a549c4d4d04e54db2a8ed162","datavalue":{"value":{"entity-type":"item","numeric-id":1163369,"id":"Q1163369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$48C2433D-81AC-4441-8628-D8331AA25639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1295064b6ab47d21c7f067c44bf7ec955502d749","datavalue":{"value":{"entity-type":"item","numeric-id":3917477,"id":"Q3917477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$E5D2FFDD-D9AE-401D-8104-E04334EE57EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b401c9729a3a79ad3a6e76290465f59cc90ad74","datavalue":{"value":{"entity-type":"item","numeric-id":3878740,"id":"Q3878740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$E64E250B-E89C-47E1-BEE3-624A0D39154C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a74560a6e61296aeaac5e30dd64011c10ebcfb4e","datavalue":{"value":{"entity-type":"item","numeric-id":3904042,"id":"Q3904042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$937D8973-3B4B-4689-AAAE-0A5939FAA457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4379ac82957e0d469358f8f6b45d2e327b196b52","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$412704AC-A895-482B-B60B-A82D0EF8C41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$3EF3A270-8799-4492-9DBA-B21A4DB8AD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$B80CE5D2-BDE7-4553-ADB4-C3223B714ABC","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":"Q1170877$3317C6FE-148A-47AE-AAE7-0AD108CEF6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$94C3DB3A-91C4-4059-A534-CAAD8D2E7015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$FD2C6BCF-50FF-42C7-B6F2-67764D61DA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03108486ad76dd03a09a8cc212bd13b5b04c547c","datavalue":{"value":{"entity-type":"item","numeric-id":3899469,"id":"Q3899469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$05AAC408-1D7E-480C-8200-A8C4EEAE6466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b953cb2cd1a42b9069e57d498e21a22c77afbe","datavalue":{"value":{"entity-type":"item","numeric-id":3868738,"id":"Q3868738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1170877$0309E5BA-1F40-4F0E-84AC-6A05956B830E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1170877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1170877"}}}}}