{"entities":{"Q1578396":{"pageid":1589136,"ns":120,"title":"Item:Q1578396","lastrevid":72236256,"modified":"2026-04-14T03:32:05Z","type":"item","id":"Q1578396","labels":{"en":{"language":"en","value":"Predicate transformers for recursive procedures with local variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1496838"}},"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":"Q1578396$D373DCE9-7D9B-43E6-97B7-9A3FA6510E60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba485b4de149ec3aa66d4702795991afaac3870d","datavalue":{"value":{"text":"Predicate transformers for recursive procedures with local variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1578396$B7D87C6E-B856-4829-9803-C7E6833A73D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39a8f0299fbe8f2d814a133533c92cac5654900e","datavalue":{"value":"0966.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578396$AF3D7799-D971-474B-A1BB-2C39176B8925","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578396$21CFCECC-FFFF-4553-BB45-D998B8DD88AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"229e2d23f76ddb02242aca0dcd4be23ab0b751e5","datavalue":{"value":{"time":"+2000-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1578396$0CB5F577-1466-4B63-A7E9-FFB6914C9549","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1beef3f937a3f93c0fb7787ed166a806ad444925","datavalue":{"value":"https://pure.rug.nl/ws/files/3160928/1999FormAspCompHesselink2.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1578396$9B1E415B-6FD6-4901-85D7-A939EAEA8757","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578396$D5704750-4E61-4AE2-A52C-8FEE8630797E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"086e8d860bedb859fe938c088497f9108622a733","datavalue":{"value":"1496838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578396$ABB129EC-C727-43E0-9102-219F5EC71176","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"861af6f5e4e1e6862ce3e70ccf8135f64a159f00","datavalue":{"value":"precondition semantics of recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578396$267CC1B0-0580-4519-AC27-8E243AA4CFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"799c14a8e0e29fe0442ec24ccd6fd67232b9b19d","datavalue":{"value":"imperative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1578396$8EF442EB-AA4D-40F5-9D14-73AD89AF77BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1578396$7AA0AC4F-6BD4-420F-B9FF-AE6F1797F143","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":"Q1578396$4441D9B7-6222-4239-9CCE-300C17BD52DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82ce3d9437da5a92889602f2f02a52268548c1e0","datavalue":{"value":"W2125417924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578396$EE619073-480C-4894-AEC7-FE69236C4A45","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c23393c377f1aa8632587ba5bc9de506bd6ece2","datavalue":{"value":"10.1007/S001659970002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1578396$9DDCCA24-2783-4DBC-853E-A03BC0486F0A","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":"35a988e91fc4d20b6f19eef94c61410ba8c9e5e0","datavalue":{"value":{"amount":"+0.8320213556289673","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":"Q1578396$8EE4F655-09CD-4A52-BC94-9090143B54AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07cf766789bd770230e4ccfc7d996aad8f04d818","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd574297f8baffe41583c5f8030dfb1b6d7f85f","datavalue":{"value":{"amount":"+0.82304447889328","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":"Q1578396$FFC83DDF-017A-46FA-97FC-CA2A6A183396","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":"eafa7992479daef1eeb43b34d6b61095850aa1af","datavalue":{"value":{"amount":"+0.8119171261787415","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":"Q1578396$004E75E3-6F4A-4365-8DD9-60A9510CCDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20ce930fd9c71c609518a930b12704562e8d0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1903075,"id":"Q1903075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2168efea786cce0a33fe2bf1dd0a564487b09c5f","datavalue":{"value":{"amount":"+0.803525984287262","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":"Q1578396$BB598F6D-F5B2-4533-BFD0-BDBA55612EC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Predicate transformers for recursive procedures with local variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Predicate_transformers_for_recursive_procedures_with_local_variables"}}}}}