{"entities":{"Q2945651":{"pageid":2956371,"ns":120,"title":"Item:Q2945651","lastrevid":52344299,"modified":"2026-01-22T09:47:19Z","type":"item","id":"Q2945651","labels":{"en":{"language":"en","value":"Transfinite constructions in classical type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481877"}},"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":"Q2945651$15461689-5D9C-4997-A79E-C422F79BABE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0b66b9e99d470cf8233976bc5eb47c390383949","datavalue":{"value":{"text":"Transfinite Constructions in Classical Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945651$D911A294-A2E7-4939-9183-4548FAD8126F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52800274810a8092e0678729f0c708eace92da51","datavalue":{"value":"1465.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$99FA5C94-F011-41F1-B531-D4773330864E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cf2f8341371fa3a873c2cd9402423f9d1312ea2","datavalue":{"value":"10.1007/978-3-319-22102-1_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$794A5A90-9B74-462F-B694-245A19A4202F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$EC2E6B6C-911A-463D-8A5F-E1836A7FE7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1370b9d4217752da1d149dfd73835d63dc5da1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2945647,"id":"Q2945647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$A2D73D06-3B1F-499E-BE7D-9117D596F78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"861b952ab0155c1e552595c0e2d4d9f7c90a7747","datavalue":{"value":{"entity-type":"item","numeric-id":287373,"id":"Q287373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$E5D8A16F-4129-44DD-AF82-A4484A82BA6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$F03E22EC-77D8-428C-9E85-14D95909EADE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945651$11D84DCC-A350-4F68-BCCD-715CA26F567D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$E21071A7-C501-4F85-94A8-40A657BEC00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$3AFFCE2E-1409-4DE5-A286-E0A5B63A9F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$E89CBC40-F67E-41E8-B435-0E3EFA24EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$87FFD812-62CA-499C-AFD3-68BD9ED6A6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$77FD828D-2FFB-40E8-BFBA-79C6220F5B7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa170f1efa72dfcfd2a6c0cb9ab4f5cded4817e5","datavalue":{"value":"6481877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$AD507F4F-250C-4556-A1AF-1D9CF61FD20F","rank":"normal"}],"P1463":[{"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":"Q2945651$CCEF69C1-B7C9-4DA0-A14D-816D04A6906B","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":"Q2945651$E641849C-1DE4-46BB-A092-D244CF93150A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0580fef2f6b6a5338be3bb4b74cec8a99c9d14a5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-22102-1_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945651$495C245B-B806-4EC8-81AB-CD2701D679A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd168c2b3511c5c1ee9e13d76b010958166cbdb1","datavalue":{"value":"W2396379022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945651$245B6CB1-2FE1-4E49-8710-FF50202DE1CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac7220b224887c3d7368dab53016f76b888f56","datavalue":{"value":{"entity-type":"item","numeric-id":2841501,"id":"Q2841501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$5938465A-4810-4EE5-B600-5F375D22D865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57834eb7e7e8385d6f15c339dc4ff106e3db9f01","datavalue":{"value":{"entity-type":"item","numeric-id":436406,"id":"Q436406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$28A54334-9973-4E5C-9565-D6A3DE3301B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1a2aad3457efb04bddb0c025149f0b82920185","datavalue":{"value":{"entity-type":"item","numeric-id":2625147,"id":"Q2625147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$E61AE66D-6FA7-45FE-8038-A197A446ADCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$01C416E4-9D98-49BF-85A9-C873A43AADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82eb994a26dac1c754e8a235cbfa35245f68e8d5","datavalue":{"value":{"entity-type":"item","numeric-id":3612443,"id":"Q3612443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$766967D5-CBE7-48B9-99F1-66EA5F706C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$40022335-255F-48EF-BCB8-0387D8C3A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$F460F057-40B1-44FC-80D6-0C697A678209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78204cbee8858331477c8efb0ce846f3c88dd9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5803373,"id":"Q5803373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945651$E6C47036-8373-4BEA-BCB3-3944E2EC4046","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192339a8e85b2c1008bfe0c5389600bd3bd66642","datavalue":{"value":{"entity-type":"item","numeric-id":3612443,"id":"Q3612443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10c9c8bf99fdd7b98fc233b094792d48774822d","datavalue":{"value":{"amount":"+0.7439582943916321","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":"Q2945651$45803AA7-0C59-48D0-B35A-44D358B06A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f909d797baa23e564b49ac086cd4abee13b9158","datavalue":{"value":{"entity-type":"item","numeric-id":4247313,"id":"Q4247313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76c80e6a10ff5daaa8353cceefba4497f966a46","datavalue":{"value":{"amount":"+0.7254626154899597","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":"Q2945651$8CD4AEDF-B2ED-450B-9CC2-E288BB8A984C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a62ce123c1cf42b5cfa1cc7ccf58379fc93c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":688845,"id":"Q688845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76c80e6a10ff5daaa8353cceefba4497f966a46","datavalue":{"value":{"amount":"+0.7254626154899597","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":"Q2945651$C8FF3BD7-6FCC-4BC9-BB74-617BEAA25402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f2b2d1332156706f081793df5637de6455e92f","datavalue":{"value":{"amount":"+0.7233256697654724","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":"Q2945651$9D14AA0B-1995-47FA-9E1C-72EF554AE663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c0867e245a452e44f078e1a0c502914012c5dc","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f2b2d1332156706f081793df5637de6455e92f","datavalue":{"value":{"amount":"+0.7233256697654724","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":"Q2945651$EB3B78EC-72EF-4019-9743-AEBB46D83D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945651","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945651"}}}}}