{"entities":{"Q5253930":{"pageid":7283498,"ns":120,"title":"Item:Q5253930","lastrevid":52275779,"modified":"2026-01-21T08:18:36Z","type":"item","id":"Q5253930","labels":{"en":{"language":"en","value":"Program testing and the meaning explanations of intuitionistic type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6443425"}},"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":"Q5253930$81B49644-7F2D-4221-87EC-19275FF42922","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fd09c5efb2815b6bd2b71c48eb6200082b23d2f","datavalue":{"value":{"text":"Program Testing and the Meaning Explanations of Intuitionistic Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5253930$343997DF-CA02-4C4A-BFA7-66930FAE0A12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2026e2503baa315a08d66808c2b18ef6da9b1593","datavalue":{"value":"1314.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$F06C718F-0ECD-4F72-86E3-2875E848A082","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da0f10d8dc4be0fa566505cd13bdd7312171b8a4","datavalue":{"value":"10.1007/978-94-007-4435-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$84828339-C969-46DB-9A51-81DF424C6E3B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d75275853fb84ac426baf809ec86decf612055f","datavalue":{"value":{"entity-type":"item","numeric-id":651314,"id":"Q651314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$A6C1933C-6E7D-469C-9DC0-FB98C2DAED86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2405f57cb954de9306e5c2dcba02fe8e816b9126","datavalue":{"value":{"entity-type":"item","numeric-id":5253920,"id":"Q5253920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$5EC5ACEE-F8FE-4EE3-A40F-4A1CCBFB0B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c176087e456b486d26961b0d7afafd57333d8e76","datavalue":{"value":{"time":"+2015-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5253930$8F3985B5-5F3D-4B11-8BF3-0B34A3824882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$AA25B209-FB6B-4E59-A3C9-A51A00AAA8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$39E10D17-1234-41C4-9A8A-581A4BCEC814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$F845C7A9-3B19-421A-A8F0-CEAE91D11832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$5DF1A339-06B4-4AAC-9811-1F98FEF97C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$90390AC3-2DB3-4946-9576-9451869E8C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e78e795bd16d494dcaa49ee2c0b4f78ffef36f37","datavalue":{"value":"6443425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$783A3C3E-D348-4948-B11D-1A5E418F2BB7","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":"Q5253930$AEE4C852-A73F-4EAB-AF4F-542DDBBF140E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c367aa74ecb2d32ed66b5b84cb27667bbf4875b","datavalue":{"value":"https://doi.org/10.1007/978-94-007-4435-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5253930$A5BC9DA6-C79F-4C89-8FCD-95A5FEE770A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b4388255ac4c2f9dee2a4fe6c495998a56adecd","datavalue":{"value":"W100593489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5253930$24C59C51-4C55-4E50-901A-1D61BE605700","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$7AA0EC1C-2536-4464-A673-E6FBAC5A737A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8f68f9e78bb6a5d59f21b1f2cddad1744eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":3659782,"id":"Q3659782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$96BB79CF-5A85-42F9-8543-3865BB179C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$F9D40FF8-838F-4663-9125-B7D282224EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371d2399f50a6aebcc2fc70e10f9c3ee27554be0","datavalue":{"value":{"entity-type":"item","numeric-id":4836058,"id":"Q4836058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$189B8A2E-F5C9-4CCA-8F01-C05057172BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$0E160570-4D3A-46E5-8890-465B6D985796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"215c83ca4854bc970244178cafde5689f37c95a5","datavalue":{"value":{"entity-type":"item","numeric-id":4088782,"id":"Q4088782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$25AB9014-8204-4599-AAA9-DABD2DF1CDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$CABD0E8D-07E6-41C7-B472-56B1198D7293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$A2F0742B-5F5A-4289-B078-2C87D123424F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"220e7bd07cfc86bd56365fb168aa15481d8c02d7","datavalue":{"value":{"entity-type":"item","numeric-id":2577476,"id":"Q2577476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$CA5F2706-1456-41BA-8ABB-0CE7A44822C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$CC6971AF-0B6E-45C1-A695-F604222C1CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$617F2CFF-A304-4231-9E4A-BB403BDECA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41896aeb60ffd71b2c2720f55e116b34b518586","datavalue":{"value":{"entity-type":"item","numeric-id":5958295,"id":"Q5958295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$F592FBAA-C0FC-49EB-BEF5-21EDE2818A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$A829E0F2-C84F-4DE0-83C8-B9D86D933FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$DB7566BC-1192-4BA7-827D-7B6B82A45D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e8eb6c2b860f100237f73f9e56019c1ab1884c","datavalue":{"value":{"entity-type":"item","numeric-id":3874172,"id":"Q3874172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$4AC4AB41-8C1B-45B0-B14E-8B1B99692E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$655AB24A-E274-4EA8-A06A-43FB7F96B6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$830226D7-891C-4B3B-86EE-780FCBC12080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$040E9716-1819-42DE-97E6-B243B6955A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769eff0a2ede6650e8ecb17abc74e30a6cc9dd4","datavalue":{"value":{"entity-type":"item","numeric-id":4360856,"id":"Q4360856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$2C5AA5D2-AD4D-4AFB-840F-57D20B326FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d91a6fc5a255cbadfa617ce94146193166c4f9ed","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$57B35C89-AD6F-49E7-A0C4-31E29C1876BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$49D26A1E-144E-4948-9B25-A470234121E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e065515bc80ee26ae5176ad1570e6b5124c248","datavalue":{"value":{"entity-type":"item","numeric-id":5253923,"id":"Q5253923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$DA577F9E-EDAA-42AF-8230-6045A84A9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19650bd44f215470cc074019440edf7b489219ef","datavalue":{"value":{"entity-type":"item","numeric-id":4133922,"id":"Q4133922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$F71953AE-89ED-4CA2-B1AA-59A5FCC33C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc1ad39823e87bfa0461332d92468ea40681b5f","datavalue":{"value":{"entity-type":"item","numeric-id":1568707,"id":"Q1568707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$1BE71CA0-F1D3-42E0-9F61-1368A7B05A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d68f57b282d1f28f1eb37b1f5abc951e25cae5","datavalue":{"value":{"entity-type":"item","numeric-id":3754617,"id":"Q3754617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5253930$06EFF59F-1602-42DB-A434-0E9E3D6B4040","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2371d7e39e67f9e097929f3463bbc28fc00218d","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ac4e6fcd8fc1ca1ab920e4cca67ba6133560cf","datavalue":{"value":{"amount":"+0.7287722229957581","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":"Q5253930$BB805535-9D3F-4F41-9809-0BDDC0B1C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bacc6d2a90af26a415d0f1e5cb1ad815d32a128","datavalue":{"value":{"entity-type":"item","numeric-id":5458392,"id":"Q5458392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"339c075fb044ad810ea871398db4d0cbf1b1f78d","datavalue":{"value":{"amount":"+0.7076863646507263","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":"Q5253930$41785209-018C-4318-A193-185798B4152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c26251f6824bc527e5a652aa3aafa9332146550","datavalue":{"value":{"entity-type":"item","numeric-id":3032255,"id":"Q3032255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5c5a4f79f5006826f2e773558196ae8816d1b8","datavalue":{"value":{"amount":"+0.6951916217803955","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":"Q5253930$4D90F6AD-8BAA-4A35-8AC3-046D873F6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1231fc8a3cc39649e6204eabfbf0e60d4cd17d3b","datavalue":{"value":{"entity-type":"item","numeric-id":1688954,"id":"Q1688954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d275c4dd9760ecc157cbebe588a50f304946651c","datavalue":{"value":{"amount":"+0.6911631226539612","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":"Q5253930$B8AD2A2A-44C0-4C82-BDAA-46908A72ED5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320f8287a6eec1fc5a76add9faffece70bc8dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":3475253,"id":"Q3475253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c05a84d9e2e0d5da2eb5dd859b938e2426a6c3","datavalue":{"value":{"amount":"+0.6864718198776245","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":"Q5253930$B48D107E-5F82-42BD-B07C-3D20ADF15105","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5253930","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5253930"}}}}}