{"entities":{"Q2829259":{"pageid":2839997,"ns":120,"title":"Item:Q2829259","lastrevid":52660091,"modified":"2026-01-23T05:18:36Z","type":"item","id":"Q2829259","labels":{"en":{"language":"en","value":"From types to sets by local type definitions in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6644745"}},"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":"Q2829259$0FC90EBC-7CA3-4EC3-ADEA-5107C924A282","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8afb1afbf106a6e474dbadec6009cbff8f82a21","datavalue":{"value":{"text":"From Types to Sets by Local Type Definitions in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2829259$D6AEBBAB-0EED-4A76-ABF5-0DEFA2B46E89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90b9a2bde0449d505e0e9c749f33a115487d2ca2","datavalue":{"value":"1468.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829259$5A05D80F-F892-4F8E-BBF4-FCF590492070","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20041f350ca096786e8d5d0712074d18d8afe230","datavalue":{"value":"10.1007/978-3-319-43144-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829259$51C5CCB5-3958-4F58-B32B-85A4E04C43E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb18cf0542c9d5785b9c3d13ac135abc8a7efb68","datavalue":{"value":{"entity-type":"item","numeric-id":1687532,"id":"Q1687532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$3BAB4B49-E108-4F60-B5C8-BCA6C852C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ef4ea61388b67726824db4b9b444c6863305920","datavalue":{"value":{"entity-type":"item","numeric-id":817686,"id":"Q817686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$2F706CA8-EEAD-46A4-97AF-4942C62AEFD4","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":"Q2829259$7E22FA9F-ABAA-4EF8-949C-FC8C563FF3CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3adf6ceedb6d880e3aaf819e51e828456bb3558d","datavalue":{"value":{"time":"+2016-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2829259$A3F8B865-5D9B-45E7-9A31-5111FE0ADE63","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a10369af728243a2e068f97805b9228eea8930fc","datavalue":{"value":"https://eprints.mdx.ac.uk/22095/1/fromTypesToSetsITP2016update.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2829259$C356B6CC-9DA9-4717-8868-2A87BB1D1C85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829259$A6998463-8C23-460A-82E7-E772B48FD818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b01351ae5185f3426802d3e63fb6a682d0f1517","datavalue":{"value":"6644745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829259$39720A2A-B542-43E4-8232-1C53B9F276C4","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":"Q2829259$DC8A4117-5B01-4279-9789-2AE12C3B3430","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":"Q2829259$A14C0257-BD98-4A45-8B9F-1E653B16B014","rank":"normal"},{"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":"Q2829259$104A7C02-C4E2-4A64-A7B7-997578ACCFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"468fad61234030d4d4bd64e4991e6e30fb2af1d0","datavalue":{"value":{"entity-type":"item","numeric-id":29451,"id":"Q29451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$A1164DFB-DE94-4994-BA6A-B3E0F83913AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$73C777F0-CF39-404D-9F95-CB7BAC87ED12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$B2FA5556-E280-4E36-B140-2D0A069354B6","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":"Q2829259$656384D0-92F6-4C2E-AAF1-32322E1C058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$A5BCDAA6-63C3-423C-A7FA-48918A738209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$2AEDDED9-3BFD-49F6-95F5-D226CB01C34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$915F1FCF-67BD-4F6D-BC5C-3B1687190F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$12A541C8-D985-4558-996B-185720F72D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$0683C08F-29B4-4A2E-940A-E3C5A5749673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e262f47aa23786f0d5ca3c491b5060c53e80792f","datavalue":{"value":{"entity-type":"item","numeric-id":18274,"id":"Q18274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$0B392259-36B7-437F-A40D-F65C42979845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad35e1f036cc1a37637a9bb57b386a55e86e9fd2","datavalue":{"value":{"entity-type":"item","numeric-id":18673,"id":"Q18673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$5E35E409-7231-41B8-BA6E-5D823837893C","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":"Q2829259$BF9E50E7-5678-417C-BFFE-FC676BCDED20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5dd0d645043434810d06e4658eeebd9fdfcaf7a6","datavalue":{"value":"W2477568018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2829259$BFA3E631-1744-4AD8-A54E-A99428772823","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5454750f5d297118e2d43ae886b47301283891","datavalue":{"value":{"entity-type":"item","numeric-id":928666,"id":"Q928666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$A68FE407-C398-4878-B5E1-6FA99719BFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe1455cc5dda38390654a9baeba09eedb655d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5200015,"id":"Q5200015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$ABBD7A80-8A95-4FC7-AC9C-83E2C9C14AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$2DD44801-ECA4-4049-B811-09F1CC513021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1903be4a36187a0a0e197e708bc72f62f93b28bd","datavalue":{"value":{"entity-type":"item","numeric-id":3183520,"id":"Q3183520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$AE214C7E-1DFC-40CE-AC8E-CECFC35CABD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863dff1ec39c42296687f1c2c5d2b7c1e2903d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2945627,"id":"Q2945627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$461C7506-26A8-4D1A-A97D-0B97504C5004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$8D100C0E-B218-49A2-B706-A985E5287C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$35264312-17D5-4B4D-95FE-AEE550F750BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$ABD2F58E-02BA-4616-B1BF-736BBF3C7880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34dd873a66486e9e38fc156a4b8aa6ba19960bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3088003,"id":"Q3088003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$516FD912-CBFE-48C2-970D-00517628317E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc149579e2c0f9cf6c6f1a082b600b053a6569c3","datavalue":{"value":{"entity-type":"item","numeric-id":3183533,"id":"Q3183533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$71B048BA-541C-41C4-9FA2-77286D118B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$CDF72BFD-3E9C-4C73-A8BF-18B793F1F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$9989D043-6979-4F58-8DF5-679B1B0BB0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622e8892c0aaf09e727281c5cb9109808708d59","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$419077A2-601E-4ED1-BD01-CD92DDC919FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$F6952B69-FCAA-4A83-A8DB-D29E139350D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2fa401b3f58fb4c2bc9ea2f71ee0d728db11587","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2829259$58351D03-AA2E-4EDB-934D-23A3217831E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c32727fc7188b21a1353002dffd5861198176fd","datavalue":{"value":{"entity-type":"item","numeric-id":1722645,"id":"Q1722645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d2372b891a21f721cf04c78dc61d72cc3191ee","datavalue":{"value":{"amount":"+0.9947508573532104","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":"Q2829259$839B2704-D295-4980-A6D1-0F032BC789AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f486f15bb96c9d702825bb4445acddcc63515c3a","datavalue":{"value":{"entity-type":"item","numeric-id":287358,"id":"Q287358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"640a0e8bbaff66a2e877e150f25791c2a1df61e5","datavalue":{"value":{"amount":"+0.7360537648200989","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":"Q2829259$E645A364-9CE4-4217-90D4-9D8FD1E89238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a89dd6970994c099e3030bbed6db81931530f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f15047f54dd7a5f8ac0948306682fee59020cdc8","datavalue":{"value":{"amount":"+0.735281229019165","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":"Q2829259$0038E91A-2750-48FB-B453-EA92EC641C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f007afffaa9d82c697dfde08e38474d46ab399f3","datavalue":{"value":{"entity-type":"item","numeric-id":1739913,"id":"Q1739913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d017739ede507a2902a05dc261a03d8fba98f96","datavalue":{"value":{"amount":"+0.7307422757148743","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":"Q2829259$5E815297-44EB-4F1E-A4AF-E319F19614F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19914ff8362a88c613e25c3bea458e1c7b08dd0c","datavalue":{"value":{"entity-type":"item","numeric-id":2945636,"id":"Q2945636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6170502b4be68970c62717215b5ade303c0a8b","datavalue":{"value":{"amount":"+0.7265169024467468","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":"Q2829259$D2675759-5629-4E51-B1B3-AEA408E03070","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2829259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2829259"}}}}}