{"entities":{"Q5451968":{"pageid":7481527,"ns":120,"title":"Item:Q5451968","lastrevid":50318306,"modified":"2026-01-13T19:48:18Z","type":"item","id":"Q5451968","labels":{"en":{"language":"en","value":"Types and trace effects of higher order programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5254931"}},"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":"Q5451968$8B7CFA4B-FF50-443B-B7EE-1880DF27B135","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17cece451644cdd6bcedf62fcc18b480f316b835","datavalue":{"value":{"text":"Types and trace effects of higher order programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5451968$5EA3FF3A-7A3E-4306-AC3F-52B6C22F19EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5db96f0f4031526aaa57a4d770bd64ff2c3d771c","datavalue":{"value":"1142.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$C71346F0-C27E-4B17-8C22-C8CC71821395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"472f8d7c452157145c9b1999eba5e507d318fd75","datavalue":{"value":"10.1017/S0956796807006466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$BE68C107-FE72-4736-88C2-CF8813A0B272","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fa30ff887bf228953b700b37c6e4c2b6bb93f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1029805,"id":"Q1029805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$6C805C86-FEA0-4F8C-B701-A62EDB659B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce25c77d649bf8afb7d80a0da9c0296258f5677","datavalue":{"value":{"entity-type":"item","numeric-id":1314347,"id":"Q1314347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$17FB243C-C80D-4674-BBBB-D8D9EB28297C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfe8e697dde8bf1003cd4a4fc5d8975b7fbc356","datavalue":{"value":{"entity-type":"item","numeric-id":2802429,"id":"Q2802429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$2AC7421D-03F4-48B7-8E77-8115A8F1189C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$06D3402A-7560-4FC7-AB99-4ECAD360D84C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a933921e645d1d6e4ebd2c8a60763c2cd5e73b02","datavalue":{"value":{"time":"+2008-03-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":"Q5451968$AB1978B0-16ED-474D-8370-1F60866E4C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$1D5F827A-E63A-49CF-AB89-87A02BFDB758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$37093CA9-94C5-4731-B74D-26A8BEB2F436","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2324585f408117e5b924dd5e414af37f6d7a9062","datavalue":{"value":"5254931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$3DB2BF2C-67F5-4BE8-9719-0C464E5629A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9caaf63978a78c848e2a0e5d3f11e766f2b94a3","datavalue":{"value":"model-checking techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451968$390715A0-A4A4-4BB2-A172-BFBFA63B4A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f232a4c454a7b724a6592b09b98364e10d806644","datavalue":{"value":"automatically verifiable program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451968$6F398DED-24E5-4E6A-801C-B40B1513FA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e4e0aab34b90f212668a621a76f4a248642b6","datavalue":{"value":"\\(\\lambda \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5451968$BD7B8888-5339-4299-A7D4-0807F99572E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$9E2EFB64-31F6-4CDB-9C43-C62BE12DFAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$F7D68023-9AD9-4306-868A-1EFAC26FE2C4","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":"Q5451968$D3B8C968-7B90-4B3F-A6E7-7ABB58A8D824","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5451968$3CD8CCB7-1632-4AE9-92A0-292CCF7B512D","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":"Q5451968$72BEEC73-8545-4D9F-9CFE-A61516472577","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7542294ce733c85fd92c4eabe684dfba76319b27","datavalue":{"value":"https://doi.org/10.1017/s0956796807006466","type":"string"},"datatype":"url"},"type":"statement","id":"Q5451968$A142DB1F-C548-405F-8632-33DB66F20C98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34ecd8885addb94b48bc790d5271be90ed0617df","datavalue":{"value":"W2163672449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5451968$48D9DB12-123C-4C1F-A9DC-E70FE0EA7030","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25c8c67db24eccaddd556d8e0bb23af28d0a350","datavalue":{"value":{"entity-type":"item","numeric-id":5464061,"id":"Q5464061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88fa96568b61dcfe0802ebdff3e28072754f54a","datavalue":{"value":{"amount":"+0.9137817025184632","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":"Q5451968$1DA0E1D5-150A-474B-8D39-463AC37C721A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01f5b127f7a77af688117c3118406a387a007e11","datavalue":{"value":{"amount":"+0.775823712348938","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":"Q5451968$57EDA877-2F56-46D2-B19D-81317082F884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eadddadf92361cc5fb7e4144048c9db5c0d03025","datavalue":{"value":{"entity-type":"item","numeric-id":1029806,"id":"Q1029806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b850263144999c4c78be36755eda76202e6699d","datavalue":{"value":{"amount":"+0.7606890201568604","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":"Q5451968$DCA0CF8A-BE51-4BAD-909A-D2948301E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55439710e2babbfe7ae246e1e8cf83f5fb1cc807","datavalue":{"value":{"entity-type":"item","numeric-id":5326300,"id":"Q5326300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758c8ce24f93c41621a4053a30a2055e5c0bc667","datavalue":{"value":{"amount":"+0.7593553066253662","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":"Q5451968$2A860613-4A8F-447E-B98B-6F7B414D8096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4facaa7fecba81bb83dee79609a4e025d67c6d","datavalue":{"value":{"amount":"+0.7579078078269958","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":"Q5451968$586A0673-DDFA-40A1-94BC-001E441AD0A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5451968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5451968"}}}}}