{"entities":{"Q5436982":{"pageid":7466546,"ns":120,"title":"Item:Q5436982","lastrevid":50254631,"modified":"2026-01-13T16:07:59Z","type":"item","id":"Q5436982","labels":{"en":{"language":"en","value":"An Inductive Theorem on the Correctness of General Recursive Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5227973"}},"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":"Q5436982$1E2D3FBA-478E-4DD0-8FD3-A4C00B584537","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fc2e737fd88be6f69064663ad6bd2f57da2a664","datavalue":{"value":{"text":"An Inductive Theorem on the Correctness of General Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5436982$1361C561-C0F0-4ECB-B3DA-CDE861F23461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9bf05e042707ab794ef26c8414bab8115c6792ba","datavalue":{"value":"1128.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436982$C4AC41F4-200C-4CCE-BC41-605AA4ED0EFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3b7f5724a619bceeb7ab467d54c8d10678bfb3","datavalue":{"value":{"entity-type":"item","numeric-id":5436981,"id":"Q5436981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436982$98C94009-3A19-4EC3-842D-A2E599F4415D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bf5ae4c4f38a4e50ac194230d4567cace8e4006","datavalue":{"value":{"time":"+2008-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5436982$0198C68C-40F4-4354-A3B9-4F78446DFFEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436982$75E0A467-6A27-4B58-A104-35CEA46F877F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"804fea804de3b1aa75a24822815b41ff2254949b","datavalue":{"value":"5227973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436982$4AB7B5B8-04EE-44D5-A906-7B7229610874","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5436982$94288E4C-B6D1-48C5-B660-423156DF2555","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":"Q5436982$D5B3BB6B-123D-45DF-8D6D-56E328391DDE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28ea46e3776c998f263460f9dc0157b32b0e214f","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm053","type":"string"},"datatype":"url"},"type":"statement","id":"Q5436982$4EA38979-7701-4F2C-859F-459E8F34842B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a7541dd05e3229ee4e05ac409e658c0556c41f6","datavalue":{"value":"W2023298251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436982$7128AF6F-F094-4D47-A4D2-91AB266A6983","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0d6d9e32245e3b7f6e8b57bc27943ebc9220cd4","datavalue":{"value":"10.1093/JIGPAL/JZM053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5436982$E8915CE6-39BB-442D-84A9-609ABD3267F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5436982$D6965BB4-A5E7-46B9-A421-7C74CF775670","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf487cbb97f9f33d14606096a442602b37fb028","datavalue":{"value":{"amount":"+0.7814136147499084","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":"Q5436982$E26F30EE-B5DB-4D4A-8EFB-CC810097F46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6e7b64c6c4e8b5594e8ffd5f7ce1b2d610af3a","datavalue":{"value":{"amount":"+0.7650571465492249","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":"Q5436982$A074A622-9BF7-49D3-B1A6-915A7A060E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2a1bf6093cee2fe6f307a6561614e50e60a6b1c","datavalue":{"value":{"amount":"+0.7618475556373596","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":"Q5436982$C514E056-661E-4385-84D1-5E7F6FC80DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe9aa612017ca4c26f8bffc2b20f12a3ff64a4b","datavalue":{"value":{"amount":"+0.7615487575531006","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":"Q5436982$BB83D400-6F28-450C-90D9-8579D9EA935D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111634c180e51898e7db72b4c025f608f2b8c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3055748,"id":"Q3055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e25b44666ad80e4a260d4b4a12055b8e42e33d","datavalue":{"value":{"amount":"+0.7585234045982361","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":"Q5436982$03F68A09-D0F0-4FC3-91EC-0800CF3471CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5436982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5436982"}}}}}