{"entities":{"Q4340420":{"pageid":6370020,"ns":120,"title":"Item:Q4340420","lastrevid":46556073,"modified":"2025-12-25T00:51:07Z","type":"item","id":"Q4340420","labels":{"en":{"language":"en","value":"Reading between the lines in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019359"}},"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":"Q4340420$B9160D20-7487-4C5E-B913-328ADE1C2599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1b171eb25d376654a7c5e242166b5a0c8172af9","datavalue":{"value":{"text":"Reading between the lines in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340420$BA338C5E-051F-41F2-A130-2A01D19258BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58efc5127d50fa3f52c1d7744fb607d76a6b51e5","datavalue":{"value":"0882.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$2F062093-D21E-4073-AB01-E45AA6379CAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340420$0D545FB7-AB44-4531-8AC3-BE49429715D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfb3a2440187ce324054f87424416efa61e67ba4","datavalue":{"value":{"time":"+1997-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340420$DECBD86C-CCCE-4A0E-AE81-84ED60B3F14C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$FB758E56-DC12-49C8-A51D-816E94F0E2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$DA326A19-369C-424F-A57C-F0B3CD562600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$FDA15520-ADB2-42F9-ADAD-256A175BF5CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cb727f600c006512e37552f25dbb2049ca4abad","datavalue":{"value":"1019359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$1E4927AD-674B-40E0-9509-D15B8E60A3E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd6738ef7ff9799a593919e45b412d459141df7","datavalue":{"value":"separation types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$A5D2D627-A8B4-494D-9C65-3E1FFCC393D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6719d05855cd4e7df3a2460e81f5b7c6e1cb2cf","datavalue":{"value":"choice principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$9C1AE417-FDAC-48E6-9784-CCC505C9B2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c412c5183b946d29d4cb475c1546b6a811da34","datavalue":{"value":"Bishop's constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$B2979790-17D3-417C-9C82-FC7457C548E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a73b71aedcac029501428423d5b1f7a0c5dda8","datavalue":{"value":"Martin-L\u00f6f's type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$33433BC9-8C3C-46D7-B7E2-D2D93C5AA2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ab24e4c141ea3bec081dabd68262a69f689098","datavalue":{"value":"suppressing and recovering witnessing information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$8F67FFB6-47BC-4457-8BC4-3CA6476B62C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c68e78acfd8da85726644b8041d98f4d34edab34","datavalue":{"value":"exact real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340420$181D2CC3-0509-44FE-88EE-5F09FC88714C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340420$1FA40DCA-7119-4AB1-9093-EC2E54C5ED6F","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":"Q4340420$9D6E4F4F-1CF1-44D9-A0AE-B303F579F168","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73c3d0877740faa14afc1ea6f71ab8bbdc546b35","datavalue":{"value":"https://doi.org/10.1093/logcom/7.2.229","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340420$221F343F-3B6A-4065-9858-15CE6C15C054","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f4e7d9ad6c055daef2f992df78d7ea70f2851584","datavalue":{"value":"W2117463039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$A8E66D4D-EC5E-4ADD-A82D-6DF8EF129F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9302aa25b5be265af7b8be909f67222127fbf1c8","datavalue":{"value":"10.1093/LOGCOM/7.2.229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340420$84FD49F5-9FC4-4139-8937-F586401F8C86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340420$1ED1D0F9-51CD-464D-A527-5D8D0B8FDDD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa46556ac3bbe398609859123e15d4e9648e322","datavalue":{"value":{"entity-type":"item","numeric-id":4237644,"id":"Q4237644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182539336c2a85bba97892df8223d41d7dd357c4","datavalue":{"value":{"amount":"+0.8375941514968872","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":"Q4340420$B131CD3D-72A2-4F79-A571-5886EC9C24C1","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":"a9ae4b4eddd9d091884365fd2e3ec9fdd7b08fe9","datavalue":{"value":{"amount":"+0.834949254989624","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":"Q4340420$559717D5-B21F-4F2D-BC5B-FC44C77EB193","rank":"normal"},{"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":"9ef3d434ace2d0bc53f29865f9b829134c067e00","datavalue":{"value":{"amount":"+0.7715077996253967","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":"Q4340420$2856012E-0673-4CCD-9694-D63F09883B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c20642c65ab0e227e09487a4f95f8a6e59bf3b","datavalue":{"value":{"amount":"+0.7641387581825256","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":"Q4340420$452931AE-8144-4DFC-8DF4-03DB50790B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dc41e6f20ecccd8590bd05e35fce12348207a8","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69dc27e7978dc28bdf672eb7b6e84505f5dea0e5","datavalue":{"value":{"amount":"+0.7585311532020569","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":"Q4340420$CB59CA56-14FD-41E9-AA86-E6BF0FB57982","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340420","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340420"}}}}}