{"entities":{"Q4624672":{"pageid":6654255,"ns":120,"title":"Item:Q4624672","lastrevid":53367170,"modified":"2026-01-24T20:07:19Z","type":"item","id":"Q4624672","labels":{"en":{"language":"en","value":"Automatically analyzing inductive properties for recursive data structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7028879"}},"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":"Q4624672$18615446-C254-489E-842B-E2BC44FFEFF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4000030d935b9063fa0c4d1013946856e7ffc94a","datavalue":{"value":"1424.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624672$99C430DE-4203-4144-B2BE-ED652489BB3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fce39dbdc56c33734bfdc1e21cca817757163c5","datavalue":{"value":{"entity-type":"item","numeric-id":1721217,"id":"Q1721217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624672$93EEC7C7-883F-40CC-BE7C-EF7A44EE6847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543146582677ce89141a9c4bac6cb5a7fc44223c","datavalue":{"value":{"entity-type":"item","numeric-id":218083,"id":"Q218083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624672$04A750D6-5D4C-4E74-A7AE-CD867AB5A0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"799334d8b80d909e323442886f71dd78b7453f85","datavalue":{"value":{"entity-type":"item","numeric-id":3132069,"id":"Q3132069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624672$B72868AB-869C-44B7-822A-A23B7C480691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3852316af958c20178ec1a1e2d66e86501196c69","datavalue":{"value":{"entity-type":"item","numeric-id":280413,"id":"Q280413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4624672$DD2B77A6-7D93-4E34-BCB4-5ACDDA1C1B7D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de6231e2c15042f8d09f82d34b78d1fbec842408","datavalue":{"value":{"time":"+2019-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4624672$FD63B92C-671B-4D1E-AA47-FAD3DCCF7FC4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624672$2FF01A55-C6ED-4A18-8256-29BFEAF0EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624672$FEA9FB33-B9F4-41F0-ADED-879C05476075","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2242b7ee70a46811a5c2c8799addc1459d830d3","datavalue":{"value":"7028879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624672$906D7484-389F-42F3-A7B7-A244CB38CD2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fc7ebfcea9fd8d1bf8611a76e658bfaa805f01a","datavalue":{"value":"Hoare-style program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624672$16DB5240-EA96-4588-8FEA-9C053FAA0804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624672$872D43C8-973E-41C2-A90A-66F149FA2A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bd39e53908737551e2035be4577b1f3c430a8a","datavalue":{"value":"recursive data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624672$004BB38C-1109-4BC2-BAEC-6DE210B5B515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff7683f75cba21babdfddb0e8ec89c97a847c4d","datavalue":{"value":"inductive properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624672$248F5DE7-2F00-4ABF-B50E-27430176C7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec3e7b916b83fe7497baa58db1aa00e4126d057","datavalue":{"value":"interprocedural analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4624672$3630464B-45C8-439C-99A5-35B9FED3169A","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":"Q4624672$40B58710-308D-4483-A318-01E312A143FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41c50cfcf7ccbd6243d72aa4a034524fad8e3d28","datavalue":{"value":"10.13328/J.CNKI.JOS.005467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4624672$E70A03B2-1E1E-4843-9214-2A1A38AEDC5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be84f5a2faf3479cab40e3431707a916686d883","datavalue":{"value":{"entity-type":"item","numeric-id":5466564,"id":"Q5466564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d65c52c2651cb8de7d90e1d476b1f36466b8524","datavalue":{"value":{"amount":"+0.7249215245246887","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":"Q4624672$01942784-A429-4315-9912-2CBAC20BD187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"babed51588151eca4da090d9aa82a91f54a056d7","datavalue":{"value":{"entity-type":"item","numeric-id":2863858,"id":"Q2863858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7225c7a516b56032cef1f4badde669155417dcd3","datavalue":{"value":{"amount":"+0.7180719971656799","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":"Q4624672$8ED7CFB6-9A08-4F4D-818A-EA966F726AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fca3c3a57c5be64d4e4b4384d59db599f78a7c4","datavalue":{"value":{"entity-type":"item","numeric-id":4907859,"id":"Q4907859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36d3784555f68f6e07f9a7b8c5fdb71996321ee","datavalue":{"value":{"amount":"+0.716862142086029","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":"Q4624672$6382EE0A-9FF9-4913-B14F-BF9EA4F29985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0582ee30595e78a0df901762e77eacc08e125f21","datavalue":{"value":{"entity-type":"item","numeric-id":5172654,"id":"Q5172654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3e260c695c103358a223e6bd171ae5a23e4c61","datavalue":{"value":{"amount":"+0.7148322463035583","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":"Q4624672$E8F6931B-12CB-4B7C-85E9-71E0C06A27A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e5c1f31cde0524073657593a4132739bcacb2","datavalue":{"value":{"amount":"+0.7134205102920532","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":"Q4624672$6A4D110B-A756-43F2-A319-A50BB4542BE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4624672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4624672"}}}}}