{"entities":{"Q732009":{"pageid":733858,"ns":120,"title":"Item:Q732009","lastrevid":50779325,"modified":"2026-01-15T03:46:01Z","type":"item","id":"Q732009","labels":{"en":{"language":"en","value":"Frame rule for mutually recursive procedures manipulating pointers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5612514"}},"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":"Q732009$72DD64E6-EAC0-4654-BD6C-543F8BD6DBCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f650a409a7eb0adec6185ea2b4196a66016d5326","datavalue":{"value":{"text":"Frame rule for mutually recursive procedures manipulating pointers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q732009$B5917E9E-F339-4884-A8A5-DC555FFD9110","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3329c03f1f37cb6ac1aab4d9ce11c61f77d886aa","datavalue":{"value":"1187.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$92D6ABA7-35CF-4EFB-B913-59ECD313F6AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd836c35062b353c773aa5bb9f8bbbab8cff00","datavalue":{"value":{"entity-type":"item","numeric-id":432147,"id":"Q432147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$DBB0E7F7-13D1-45D5-A0D7-01D143A4CE30","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":"Q732009$381E49C8-FF95-4FCC-9312-48F3B1D8816D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca99fd9b1fdaf08a8ea0b1d2ea2e0c66a9f63c5","datavalue":{"value":{"time":"+2009-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q732009$1D7DD9F1-581A-42C7-B4E1-E850D81A220D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$4A19F187-208A-4F3B-A786-44D993B28D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$67CA3BA5-D5E7-4F26-ACE5-20D83500BB45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be4dda8690711d58ec9f9bfb17471f12694add69","datavalue":{"value":"5612514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$F4AB3111-0224-42DC-91B6-E46D9C49EFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062967b77329cd9e041ee7c06dddf47c4c9c3cc2","datavalue":{"value":"predicate transformer semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$880DA15E-D78D-45A5-A3DF-251EA1E512DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9eb85a34bfaec13d590fabe9cbf8c2afb8c9f30b","datavalue":{"value":"mechanical verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$EB28EDF8-C933-4761-B76C-23AE10681E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6a38de33ec003e2711e9eb693b4c61286d26da9","datavalue":{"value":"mutually recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$01224C22-3B90-41C6-A8DF-C572E1BB57D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df4a9fa42a823ec549977451ee26e4eccb17d524","datavalue":{"value":"pointers","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$10616396-5CB6-4231-AE99-56BC129D6EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$3FB88969-40FD-4C40-B5E7-F37B6A60398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf662ee3cfc61f742203e228a581f6b6ffdfe32e","datavalue":{"value":"frame rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q732009$6166A593-6119-487E-AD2E-B4D357021FCA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$FA6080EC-D2A9-4C6B-848F-6B0E16FDCBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$29FC24B8-179D-4057-A69F-D8DEED5DC417","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":"Q732009$C520288D-51CD-4786-AC26-E9E397945C8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d1fa27317fe329e2fc27c38a41f505934b1fea5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.05.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q732009$DAC43277-0A58-4798-B673-1A09D4A355B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81ed94f50593ee24a74cb286332c0f9dad14c0ce","datavalue":{"value":"W2027587503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$A23C5910-AC1D-4532-96F4-FD9F2518830F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c283b72630fa748ec17f1ef3791310c374f00d01","datavalue":{"value":{"entity-type":"item","numeric-id":2576574,"id":"Q2576574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$51E29D1C-8A01-4063-9398-70F1322CBCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$536958F0-2BE4-462B-B20C-EA8B690B24F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16716e929ca8997e3553d19ac1e9d3e7a7c200a","datavalue":{"value":{"entity-type":"item","numeric-id":3518282,"id":"Q3518282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$17A7383D-4746-460E-98BB-DAFB67E0B441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df2553495bc38f714aaa2197b34e11b69c06ef","datavalue":{"value":{"entity-type":"item","numeric-id":5674963,"id":"Q5674963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$30D94372-23F9-4042-B8F1-0874446C4D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$6148DA21-5E3A-460D-80BB-5EA84DDEC348","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":"Q732009$7BEC4FAE-02E5-45CA-AFB4-301147628BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$41060174-2015-4B0E-86F6-43127E0FF205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135af0129bd5600ceebf0463cd399deed754d959","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$FC32BE76-8452-467F-AA3E-30D14AA89DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$446A84BF-F2DB-4888-8B40-81E8C13E1B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$16D3225D-D8C7-46DA-8EB5-0D4CDBE8D240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32bffbad242579615a270378cbba850fe8dcb19","datavalue":{"value":{"entity-type":"item","numeric-id":2571207,"id":"Q2571207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$ABC66052-2781-4B6D-AD53-09D538733D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$1F036017-2E14-4D03-A7BF-5160496B455A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13a187f492a2391b57ef98d6cc36cb29fb02ce26","datavalue":{"value":{"entity-type":"item","numeric-id":5415649,"id":"Q5415649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$6632E140-0D2B-4A70-81AB-317DEDA897AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fca8c6bae599173b38636aaeee9a044e8d5419f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$04CE2B15-D92B-419E-B939-FDA8C1139F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d9f60197b01e7460dc90666c8b57773c078b9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738240,"id":"Q4738240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q732009$54BC1EAA-A296-4358-9227-57ED3A8569ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e837b938a98fab2e886d7026a7f8d2aa876a911a","datavalue":{"value":"10.1016/J.TCS.2009.05.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q732009$E8990A27-ABA1-4E4F-9D84-B0A3BE65601D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7745c71156ecdc53ab628c037baa8a9017ec16f1","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99cfc921bad837d4577c11afff5412b3bffd56c","datavalue":{"value":{"amount":"+0.7793828845024109","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":"Q732009$14CBEA1A-CE60-4CDA-968E-DC881F21876F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"448edae281ed28dec112773a705388e3bbb075c1","datavalue":{"value":{"entity-type":"item","numeric-id":1578396,"id":"Q1578396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae27bd78dbf9d62a4745a942d7802b0bcb9bf7a5","datavalue":{"value":{"amount":"+0.7718648314476013","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":"Q732009$F9DFA94B-A834-4696-ACF6-5061774D3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ec0df6d73828d5ec403ae3e6c35a83d77a285","datavalue":{"value":{"entity-type":"item","numeric-id":4647514,"id":"Q4647514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aad933839a0e1e4beea480b4321cfa802f8cc53","datavalue":{"value":{"amount":"+0.7682872414588928","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":"Q732009$E563E373-F9FB-4EE2-BB23-10CFE2BFB23E","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":"5f127ec1d0e04f62976a010b23cf795116f47fed","datavalue":{"value":{"amount":"+0.7675305604934692","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":"Q732009$37A37EC1-0C15-4460-897F-59DDF0A75F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a250ca016f0d5c763d56fe7f0ad35c2bbe1d87","datavalue":{"value":{"entity-type":"item","numeric-id":4501670,"id":"Q4501670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6954fc680d33fe48ed69ce32f0ca1d3fab16658f","datavalue":{"value":{"amount":"+0.7664923071861267","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":"Q732009$818EDF45-0F9A-4C02-BFD7-4FCDCB6CA56F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:732009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:732009"}}}}}