{"entities":{"Q3741013":{"pageid":5770919,"ns":120,"title":"Item:Q3741013","lastrevid":81050300,"modified":"2026-05-06T17:36:06Z","type":"item","id":"Q3741013","labels":{"en":{"language":"en","value":"A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3976294"}},"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":"Q3741013$BB1E0E1F-D754-478D-9E71-B6CA4EE35E52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9c3e08cbc0e2f024b5b543dd5057ca0b0bf2649","datavalue":{"value":{"text":"A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3741013$5261D0C8-1922-4208-9B22-A991554D35E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a08d3969b439e03ccdc92b23f59d4fcb688d36f","datavalue":{"value":"0604.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$69477CCD-BBE9-4FA8-A71B-008143A65326","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3741013$DB48B5F1-ECF0-4311-A9D8-AB5999B53ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3741013$358525B0-B1AA-4AA9-BF92-7E421B90BD12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$5FCC234D-E5B7-41C4-8366-39657B0739A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$1C87058D-17FE-4496-B2D4-794F4F0293AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b2a73e0c3b3b4aed53d340ee9794ea7c5f1b570","datavalue":{"value":"3976294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$7E2BF9C9-1CE3-4362-A6E1-4CFB2874898D","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":"Q3741013$200200FB-C054-461B-A606-0BCF21C310D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d3f3f99c043bc6b115600f622eb711b4289dc166","datavalue":{"value":"https://doi.org/10.1093/comjnl/29.6.531","type":"string"},"datatype":"url"},"type":"statement","id":"Q3741013$DE574FDC-B0D0-4CEA-AD1F-E65EFD10C967","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ecd98940311355d414f0884d3d269029f13a7b16","datavalue":{"value":"W2074360935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$17920661-50EB-46D6-BE3F-24EB15772373","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d065aa03aa8d9eebd57ce8e0ea532c323fc4b000","datavalue":{"value":"10.1093/COMJNL/29.6.531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3741013$86250090-01AC-4D83-94F0-6233054FAB02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9e1cd52c3d3baa1559a5e0f334256e000c8b","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b8218e4fdad3b444fe46177f6bc214823555acb","datavalue":{"value":{"amount":"+0.9136431","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$B1E19653-1B50-4B95-AAC5-65724105F5E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaf30a8c2d3fc3343d0232071871f84a4f80adc","datavalue":{"value":{"entity-type":"item","numeric-id":3713571,"id":"Q3713571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d79a6e69159c9a578c276990007c4395e866b40a","datavalue":{"value":{"amount":"+0.911155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$84C7839D-701C-4D5E-8AC5-CD05F0671452","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":"5f5f4d1d3cdc01e1b908dbe68ef3e28e3bbc9bb5","datavalue":{"value":{"amount":"+0.8793295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$251D228A-EDC4-4B5E-9F49-F06F366CB196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da440e0d364b0b576c5798bfb38f069c462d512a","datavalue":{"value":{"entity-type":"item","numeric-id":5436982,"id":"Q5436982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a8bff1bc1a3bc3dc8f3b83357b77290e991284","datavalue":{"value":{"amount":"+0.8752687","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$E92A3AF6-9E74-4B07-AFC1-E80BAF775F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043864543ceb1e5c98187ddd1ab12fe09a6286df","datavalue":{"value":{"entity-type":"item","numeric-id":5096758,"id":"Q5096758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747525e0f5ca28e1fe54906b68321694d0e98bcb","datavalue":{"value":{"amount":"+0.8741291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$77AE5917-0B7B-4930-B929-869C97677CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747525e0f5ca28e1fe54906b68321694d0e98bcb","datavalue":{"value":{"amount":"+0.8741291","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$23B905D1-5760-4598-A91C-2F7E4C45EB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b081f226de15f0e5fa3766ab683d72336d4053","datavalue":{"value":{"entity-type":"item","numeric-id":2502270,"id":"Q2502270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d81a8a5cee1c8553445cff1fec1670b66de9742c","datavalue":{"value":{"amount":"+0.87379646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$5E0614E9-F388-4753-8C77-A0DE712FE210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c011eaeac7c261659469a3d2aa1b2347925a1a4c","datavalue":{"value":{"entity-type":"item","numeric-id":2766795,"id":"Q2766795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395a39102c6ecb321ae65f338ffb059f0d7ef0b3","datavalue":{"value":{"amount":"+0.87025535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$8AC27BD1-EA35-42D8-AB98-40715BD412D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dda8ff4b37305d49c5279505db4bfb960d46a96","datavalue":{"value":{"entity-type":"item","numeric-id":3221385,"id":"Q3221385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6578082bb512d5735457d987b2930cd9aba239b4","datavalue":{"value":{"amount":"+0.86875355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3741013$A9227E19-5FB6-4AB3-8DFF-2AB287673657","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Structure-directed Total Correctness Proof Rule for Recursive Procedure Calls","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Structure-directed_Total_Correctness_Proof_Rule_for_Recursive_Procedure_Calls"}}}}}