{"entities":{"Q6159367":{"pageid":13294199,"ns":120,"title":"Item:Q6159367","lastrevid":41790663,"modified":"2025-05-08T09:25:54Z","type":"item","id":"Q6159367","labels":{"en":{"language":"en","value":"Formalising basic topology for computational logic in simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691290"}},"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":"Q6159367$4F143B79-EAD4-4323-A4D0-8C7D5700B208","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20be9ba6cc8a451b243774f8cdb8f4cf97c16f3b","datavalue":{"value":{"text":"Formalising basic topology for computational logic in simple type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159367$80E38F87-622B-458F-AC58-D9883B9BBB6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad29f33389e28531a2839425b33ac297d2a6e9e","datavalue":{"value":"10.1007/978-3-031-16681-5_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159367$3470F4BE-B712-44DB-BB52-1D936DA1CB6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f9666546c0d0fded6ba7ab8965559a6b0910d9","datavalue":{"value":{"entity-type":"item","numeric-id":2180220,"id":"Q2180220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$15773432-128F-436F-93A7-02DB5F8831CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f332f719e5f5d50b3598e933329ceb07d62c73c","datavalue":{"value":{"entity-type":"item","numeric-id":6159366,"id":"Q6159366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$E98F009D-2995-4FE1-839E-D1CDEF5D1CC6","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":"Q6159367$EAB34BB4-692C-47CC-A2CB-564250101F4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159367$B3A3D221-8FD4-4F50-80C0-8D00C9D54E96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159367$C9799575-3620-46FB-916C-92AB58EC46D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbfe12a374bf693003f2a5d9dcf697c2c70744ed","datavalue":{"value":"7691290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159367$26024E5C-36F2-45DD-A6E7-70628E26DAA9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc82aacb72df593e9638fb7b015d44399baedc90","datavalue":{"value":"closure algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159367$7C7A6450-3D37-4394-B4A0-52E90825C86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159367$B6177E08-F139-4C25-8602-1ED2EE6C7437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159367$D4257833-2768-46BE-9117-FB1E2BB99395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159367$C6BE8932-7DDE-425B-900F-598C0BDB678F","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":"Q6159367$E8C72CCE-2F44-4AE6-BB32-E9301401F4DD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2670c7c62dc48639bb0a54c1c044abf674d00716","datavalue":{"value":"https://doi.org/10.1007/978-3-031-16681-5_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159367$77795258-4CB3-4BBD-B26E-A2EAD39DE46A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5cd437a7eb59082d13e77fb5491cf16de820dbe","datavalue":{"value":"W4296118015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159367$9DC64775-4E9A-4F40-B92A-D48951D08C92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3219170f125a9eba1a841cf9e493708d686b77e","datavalue":{"value":{"entity-type":"item","numeric-id":3511030,"id":"Q3511030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$6932E11D-BBBD-42B9-8344-00FF71B0AEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d4afd360c55657f5f71c4b2160366c3488de0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2211865,"id":"Q2211865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$9E9DB53A-9CEB-4832-9A66-FDD7AA0165B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$2806271A-035D-4A4E-AA81-5585462B5B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$8B6E5098-5201-43BC-8129-95FD2D16F9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$FD06DCD7-145A-4D8D-B0C0-03E4144E3CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11ab6472b1c48b02dcbf6aeb50a7e64d4ee11e19","datavalue":{"value":{"entity-type":"item","numeric-id":598307,"id":"Q598307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$2EC800DE-9468-4C75-AFB0-9B0A2AD7916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$0B6231E2-7225-42C7-83B6-9DACFC13E794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5463e62d11feeab0a0bd6f85931b4b79d6709cc4","datavalue":{"value":{"entity-type":"item","numeric-id":5419017,"id":"Q5419017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$BC6B9E2E-CCF2-4D66-9308-6C2D3861A005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f5eab70966b236525b2f1469660bcdcb8468d4","datavalue":{"value":{"entity-type":"item","numeric-id":5541833,"id":"Q5541833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$11ED77A1-1837-4A4A-B9F2-EAEF27BB40EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9b463a85a51dbc7f38f81955548628b0066c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4895873,"id":"Q4895873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$C3A88D4C-2E2A-4F1C-A49F-1B1441A74C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$0FDD9FAB-97BF-4EB0-8CEE-30D8515BC8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8671e048b5103b534ce6227328248ca4d69deb32","datavalue":{"value":{"entity-type":"item","numeric-id":4559535,"id":"Q4559535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$290EDDFD-8F15-46B6-9096-14219C02A7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$D32BFD1E-FA71-45F4-BBDD-05EA7A6CDA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c970a502c8d77a07e62134e2a8a323cf4e646f","datavalue":{"value":{"entity-type":"item","numeric-id":4716293,"id":"Q4716293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159367$7CAA73C0-B601-48ED-A651-EC861FAD0263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2c1e67d55f6150e9d21e52af2bd84fd0000627","datavalue":{"value":{"entity-type":"item","numeric-id":1115435,"id":"Q1115435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df9a1c1953791eb6ec818ea16d2aa560f016cf5a","datavalue":{"value":{"amount":"+0.9097631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$0E16C40F-60B3-43B7-87B5-5C8B63889A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1513c92bdedb60534ccf5c31e99c384ee0963f","datavalue":{"value":{"entity-type":"item","numeric-id":4853319,"id":"Q4853319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f91382b026552172618db5aa0882a668d246c8","datavalue":{"value":{"amount":"+0.90872157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$057AFC08-F86D-45BA-B9D5-76023883BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c81665b9e19b4bc3dbdd9af721c3e192328b856","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da99d15cd5950389811e518f68c32ea4921128f","datavalue":{"value":{"amount":"+0.9020984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$981F0C88-6DD4-4043-A440-BF1DBF535031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190610721a87be58823fa4cb054b7c4b470f5952","datavalue":{"value":{"entity-type":"item","numeric-id":6488481,"id":"Q6488481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be24702e90df1c5aa015829db4e727577a9fb4c2","datavalue":{"value":{"amount":"+0.8992709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$5D44A7A0-DB78-40B9-BD11-AA8F8145F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3240aaed16660bbb4a7bcc15102ea35c7bde1a5e","datavalue":{"value":{"entity-type":"item","numeric-id":6075439,"id":"Q6075439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c507875b0e35d3cc6fd3929ae5d9fd7355ba9aea","datavalue":{"value":{"amount":"+0.89900404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$70B418E6-8CF0-4E46-A5D8-FEE3E54AB93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edc95125793835122b30d40276e58f8413d89e64","datavalue":{"value":{"entity-type":"item","numeric-id":3062059,"id":"Q3062059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da798585d76e0f9931cce95441ad1541772b1d4d","datavalue":{"value":{"amount":"+0.8988419","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$91FB35DD-8932-49DA-8470-FF4EACF83F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa61ac3642a1b3cceb2e2563e37dd1966accb9b4","datavalue":{"value":{"entity-type":"item","numeric-id":4518822,"id":"Q4518822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89dd49620e522d700181531301090779afc5e213","datavalue":{"value":{"amount":"+0.8981414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$5DE19A04-A5A9-4023-9697-83A942D2F1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062472862c398ba648cbee06b8df5bd2bacb72d9","datavalue":{"value":{"entity-type":"item","numeric-id":4665116,"id":"Q4665116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64efd932712d7b6571e0bc86e0622715ff7a76a9","datavalue":{"value":{"amount":"+0.8963902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$57E1909D-4AAA-433B-B37C-746093496C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d312d5a9cc3dbdc200c1996c669d95ecd2e4890c","datavalue":{"value":{"entity-type":"item","numeric-id":4500930,"id":"Q4500930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c58c63da4a38c79d7c48eb0713ffa0c9ccd9be4","datavalue":{"value":{"amount":"+0.8946823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$7D2F310B-29A3-45B2-BBBE-7DE6FFED2373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12cd10045bdd5e4b8267e469585152106911e43b","datavalue":{"value":{"entity-type":"item","numeric-id":3582734,"id":"Q3582734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f8140cbfc2e0331bb87ce4d0620a198d7d1533","datavalue":{"value":{"amount":"+0.8941351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159367$1DC037C4-B50D-4584-BF38-D628B51253D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159367","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159367"}}}}}