{"entities":{"Q5096219":{"pageid":7125795,"ns":120,"title":"Item:Q5096219","lastrevid":94266977,"modified":"2026-06-05T06:23:03Z","type":"item","id":"Q5096219","labels":{"en":{"language":"en","value":"Type theory as a foundation for computer science"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572002"}},"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":"Q5096219$F7BC0366-AB9B-42FA-AA3F-BC0602206641","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2421a9d6daefad9d43babacb9bbbfdeb416f47ac","datavalue":{"value":{"text":"Type theory as a foundation for computer science","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096219$071B5C3F-8275-4ABA-96E9-36AD12CF779E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c0b2cbc531eb5ba751833acd9d5e4d875aceab9","datavalue":{"value":"1496.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$4F671F46-2364-4475-BF86-332A3651309C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23db1ee10a8218ef6a7e60738bb739d3d24dbcf9","datavalue":{"value":"10.1007/3-540-54415-1_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$445B50ED-3569-4F34-B799-D24231FAACF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$A5FCEB3E-1CA4-45AD-97BB-C58445038D1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096219$22B9DE3C-E201-4136-9693-44208EF095D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$515B5F54-9237-4B5B-BFC7-0873C04C7B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$54B9E63B-D6CB-4092-BD88-28270E124BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$E1C7D762-BD56-44D5-9303-A7D912AB4411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a722bbc0539e5f8010d67e021a796125ba5aaf0","datavalue":{"value":"7572002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$5CB97791-B4E6-401B-94E3-272EE5AE32B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$F658A507-7637-451D-92D8-0BDC76AC448B","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":"Q5096219$FED2E8C1-85F8-4979-A45A-DA989EDDDA70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6924fb39864b5207298be5489b7d571275ae400","datavalue":{"value":"https://doi.org/10.1007/3-540-54415-1_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096219$B7B7BBAF-8DD8-448D-A36A-A73824BD298C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce88b3e3a2829b6205f5c169ea9512c6381fb24e","datavalue":{"value":"W1504884872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096219$752EBC3B-6DF1-4745-8306-9D88BAD7FD48","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$901E6F02-5BC3-40C7-B732-D08278280238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$19CABDD1-1E25-448B-9F31-3FA0B6F29C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$AA3A3810-3B60-4307-B52C-F39F21C209B4","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":"Q5096219$5844C3FA-CF6D-4C75-84F9-8FCB1181930B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795988a055edb64e2872e1fd206565bb5c7a4af7","datavalue":{"value":{"entity-type":"item","numeric-id":5622162,"id":"Q5622162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$F95AB57A-EEB8-4F54-9223-4ECB953E18E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$3F27459F-9823-4F84-8FB7-7A7FA0FA9B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$F3EE83B6-489C-48F6-ABCA-E01521F7AC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$47C3FEFF-D554-438A-AE4F-0707EBA58BC0","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":"Q5096219$8D9499BD-0CB8-465D-9636-B1CB803FC471","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":"Q5096219$313BD025-FA70-4DDC-B042-0EBF645DDF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$48F0B560-546C-4A31-B31F-A72EA04666D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096219$F3E0D56B-E43A-4B84-98C9-003B7103CDB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"978891aae9ce03b1973d803156ce9403119bfa81","datavalue":{"value":{"entity-type":"item","numeric-id":911744,"id":"Q911744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e3ce576b680632a21d438bfd7e7e841a9e04a91","datavalue":{"value":{"amount":"+0.7853977680206299","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":"Q5096219$A36EBF46-EA38-4C17-A8B3-DF0636187116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f19429e67a7e0eac737afbba39877b17cef48d","datavalue":{"value":{"amount":"+0.7564714550971985","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":"Q5096219$EBC8255B-62C3-4769-BBF5-E7210C2E2534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8685d0521149e601ab679bf42ebec4df12970916","datavalue":{"value":{"amount":"+0.7497538328170776","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":"Q5096219$19B0C955-6C87-47F5-BB72-54F9EA68C285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d7f9688051e34539b62d8638f8ef7a25ac4deab","datavalue":{"value":{"amount":"+0.7490124106407166","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":"Q5096219$6EB25EC3-A878-4B01-94B5-35A66A3AF896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69d7da4e3f4778ab03a22c319a669731e63e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51abc82c26e2197e39a9e98803d686f4d4f50d9e","datavalue":{"value":{"amount":"+0.7486499547958374","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":"Q5096219$87038144-09B8-4AF1-AD27-B12DEC8D4BA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type theory as a foundation for computer science","badges":[]}}}}}