{"entities":{"Q1050765":{"pageid":1052613,"ns":120,"title":"Item:Q1050765","lastrevid":69717822,"modified":"2026-04-13T08:55:16Z","type":"item","id":"Q1050765","labels":{"en":{"language":"en","value":"Verifying programs by induction on their data structure: general format and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3810897"}},"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":"Q1050765$29988F62-9305-46AD-B245-8D6419A84A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00ccfd98a1916846cea05e5f3c80f1655127de0c","datavalue":{"value":{"text":"Verifying programs by induction on their data structure: general format and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1050765$9478ECB3-C782-426B-92BA-7034C24BAC69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"011e1fe568ea28862397bc458037a79b6db28061","datavalue":{"value":"0513.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050765$DFA653EB-F87B-49D7-B3AF-EF02171D2681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdd04d46ffa3014aa46ae9ea666679442d528f64","datavalue":{"value":"10.1016/0020-0190(83)90056-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050765$1C2F7CAE-9628-4DDB-95D5-695BF9209800","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":"Q1050765$B60F3B9C-215B-47AA-9873-96E9FBDAF3B5","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":"Q1050765$AA76FBBF-353C-484C-9972-D670D718A1CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050765$1C882952-C54E-4AC1-AD18-E484441C51EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050765$FCDC4D3B-241E-4699-9DB6-D349060556C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d251cfd47683c33cd4b793b58b3dc9ff6b4c26b","datavalue":{"value":"3810897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1050765$2E07BFD8-DC8F-4F2D-BA6B-F7C868287E8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050765$074BC5EE-07BC-4523-A4A4-BFA759C16C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faf1c61e8846e43eb80314c61cfe7f235eec280b","datavalue":{"value":"Noetherian induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050765$D4403249-356C-41F8-AC9C-201A2630A02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2fe62eed1389908ce126027066bf7758d64b3ce","datavalue":{"value":"subgoal induction method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050765$5D385C45-6B44-4188-8214-8D74D0A0FCF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687a66dd1f37dede82fc89349c2c0a4d432364f3","datavalue":{"value":"intermittent assertion method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1050765$92728483-82BA-4C72-A129-C52D3FF29A72","rank":"normal"}],"P16":[{"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":"Q1050765$0B3B56EB-95D8-4DD4-9CD2-6E598CB052FB","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":"Q1050765$181EE003-BEB3-44E5-8829-4D546264A3CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"77daa80082c8ea39f5568f105338e0529e0b914b","datavalue":{"value":{"entity-type":"item","numeric-id":4138082,"id":"Q4138082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$110F291F-1F0B-4214-A676-41AE10190500","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":"Q1050765$60361FB9-4612-4FA3-BC73-35764C4286C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d547c7fd9babab36dbd5b984de40e15f43e99d2","datavalue":{"value":{"entity-type":"item","numeric-id":3858398,"id":"Q3858398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$F1042014-FAD4-412E-925D-4096B6F8235F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fef7db710aa93e9f87a9f7584dba9019913b4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5181349,"id":"Q5181349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$56E286F8-AD9F-4F93-AEB6-AEB7564AB703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$7DC96085-DF3A-4A89-8190-963ACD965CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f0b209a3928e85c624e518bbe8875d265755b3","datavalue":{"value":{"entity-type":"item","numeric-id":3899467,"id":"Q3899467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$BC1C5E3D-7B00-47D3-A6A9-A7A635F5D197","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":"Q1050765$66F9DD9A-F67A-406F-9559-E98D837F21D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$9301E9FF-80ED-4843-8D43-F314E4A84905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56485b9a4814bcf88c5da509c43cc487af1d7b47","datavalue":{"value":{"entity-type":"item","numeric-id":4144164,"id":"Q4144164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$F12B982E-9E41-45CA-886E-DE1A60B0E2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff6a5ae427759f7fcfb61499b4aad27a7e9e8ffa","datavalue":{"value":{"entity-type":"item","numeric-id":5639300,"id":"Q5639300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$CD207F9B-C99C-47B7-B26D-CA7ECFC5DF30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6d7fcad26f92b9f45640be0a452cceb831f5e2","datavalue":{"value":{"entity-type":"item","numeric-id":4136512,"id":"Q4136512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$69E75C76-8004-4ACC-B327-E117C101BE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f73b96d1fbc8191af9e33657432fbd034faf4f","datavalue":{"value":{"entity-type":"item","numeric-id":5686039,"id":"Q5686039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$6F091E7F-EC8E-4102-AE43-447530EE9FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4dce1fc810cf25a41d4186f580a0570c65f265","datavalue":{"value":{"entity-type":"item","numeric-id":4082983,"id":"Q4082983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1050765$92DC0FB0-7115-4226-867F-7F35B096EF94","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying programs by induction on their data structure: general format and applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_programs_by_induction_on_their_data_structure:_general_format_and_applications"}}}}}