{"entities":{"Q1799118":{"pageid":1809860,"ns":120,"title":"Item:Q1799118","lastrevid":68987454,"modified":"2026-04-13T03:33:36Z","type":"item","id":"Q1799118","labels":{"en":{"language":"en","value":"Theories as types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958124"}},"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":"Q1799118$E1E342A5-0EAC-4C2A-9D3F-D8B137555E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22b6cebd98f994ac1ee6fc905f74518936462c19","datavalue":{"value":{"text":"Theories as types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799118$9845767A-711C-46FD-AA49-D8F86D74DB65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84935cb3443bd759a4a4daa7be73f3a614d41c0c","datavalue":{"value":"10.1007/978-3-319-94205-6_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799118$E9F3B7F6-9C47-40AA-8F30-92EA7EF8A778","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e5575c59c5b913e53fb24077251aee51790bd8","datavalue":{"value":{"entity-type":"item","numeric-id":1687750,"id":"Q1687750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$7FCBD9EF-228B-45EB-8432-4E4180884146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$26D2F150-13BA-4515-84BB-26FC84D451FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$044CD053-E79F-454C-8609-6A15F7566F3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799118$EE128A6B-EBCE-474D-9945-D80C65B04F6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799118$E4015985-CA8F-41BE-8C3D-439883D7E9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799118$12417507-2829-49AD-A4B5-5BF30BB7BEB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99091af531e5b3c8a1d592c3c7b214a3f096ed37","datavalue":{"value":"6958124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799118$1610AF5F-550F-4FB4-8B68-55AF7821CC7F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$F8F70B91-6CCB-4B23-9237-3B2FAE3AB21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25bc70bf97fcd8e9bbe13ff94626eca44b2507b6","datavalue":{"value":{"entity-type":"item","numeric-id":27056,"id":"Q27056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$92E449BF-AF3F-4273-A0F8-B08E7D3436D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e603d7c91a5659a0e67ae5a0b1fc4700fb0830e5","datavalue":{"value":{"entity-type":"item","numeric-id":31834,"id":"Q31834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$4ABD2535-DA62-44EB-9E76-6E8816915976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$EEEA48AC-EE19-4796-8640-B47C7403E222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3517a2607fd5501e7abf98f71a49c3e02398ac1a","datavalue":{"value":{"entity-type":"item","numeric-id":24313,"id":"Q24313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$C5D58234-3460-4C8C-8F3D-B79DD7D32807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$D4DD8CF4-E46C-4428-B8ED-9A6E8ECFD12C","rank":"normal"},{"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":"Q1799118$244A5C6A-CB0D-4211-B6F0-F004D6DCB7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799118$B7B60A80-ECC8-45E4-B2EC-895EE27B27E3","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":"Q1799118$5E8FBB5F-60C1-4124-812F-CD69B0B7CED1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57cb2bb652325c08181fc479423585cdfd20d82d","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94205-6_38","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799118$5592B463-E338-4E2E-BB6D-801AA577C72A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb7abdb7d0d7cf59f5a905b1f91e58f5c0f26fae","datavalue":{"value":"W2810660572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799118$89D8BD99-C505-4F68-853D-B3255BDF4035","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a91248c07b0bdc65677ff6a629309bc93cc05f","datavalue":{"value":{"entity-type":"item","numeric-id":3975038,"id":"Q3975038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a954f48ab961ccb9fc96dc219ea76dfe3ffdb12e","datavalue":{"value":{"amount":"+0.739876389503479","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":"Q1799118$4FE238F1-6ECD-4BC6-96BC-DB7A88D8B892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a954f48ab961ccb9fc96dc219ea76dfe3ffdb12e","datavalue":{"value":{"amount":"+0.739876389503479","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":"Q1799118$E42A2B52-A8DF-4E55-BDE4-0D9D55D47923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a022bde3e3a57e9b32279e86f5b083bc5f7c624","datavalue":{"value":{"amount":"+0.7073615789413452","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":"Q1799118$D51E95BB-A8AC-4249-9C17-391D194242EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb18c1c5852128bff5686d0e5094ce1a989c69c","datavalue":{"value":{"entity-type":"item","numeric-id":2757819,"id":"Q2757819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5b919c777500a518f9f63e1eeec1444f85667c3","datavalue":{"value":{"amount":"+0.700378954410553","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":"Q1799118$D94A0B7A-B8A6-4C66-B132-EDD9058547BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b8a8fa2c66bdffdc4f4627cbac691634a6136","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baae833c913050c0feac08236c75f094de735b4e","datavalue":{"value":{"amount":"+0.6999065279960632","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":"Q1799118$33876E27-4E47-45A2-BD4B-912AD858147B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theories as types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theories_as_types"}}}}}