{"entities":{"Q5055856":{"pageid":7085433,"ns":120,"title":"Item:Q5055856","lastrevid":47786041,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055856","labels":{"en":{"language":"en","value":"Higher-order superposition for dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631287"}},"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":"Q5055856$FEC3C157-081C-41C8-893C-845BD3E848D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3496dcabbd6884b6759545f1939c90f62447b21","datavalue":{"value":{"text":"Higher-order superposition for dependent types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055856$7F153375-9670-4189-8DF4-5E2DEB0B9B51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e707c572a4cfc87c805617d2dea8fb5601851e8","datavalue":{"value":"1504.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$40D5170B-CB62-441D-9C92-3D62AC1F3037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3fced250463fb515b6a34ce77c4cf0651eeb3bc9","datavalue":{"value":"10.1007/3-540-61464-8_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$8383DBCA-CB9D-4C60-9885-C888CA5C39ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3699876df584019b98eb75db9af2b3a714eaba2","datavalue":{"value":{"entity-type":"item","numeric-id":1826467,"id":"Q1826467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$75CF6D57-0E6C-44FD-97EC-ADD5B11E8560","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$4E7ABEC6-018E-4EFF-B135-CFAEE6CA9D29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5055856$91109C91-11AF-474B-B874-502EC702AC47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$B0D174B7-0760-4FDA-80B4-CEFEBC5800F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$BF4B844F-9DD7-4FEA-97C2-5698C7F6C32D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$39BE5F69-D7F5-4574-BC74-303C245CA24D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffee579de11911601e2c97eda030b428c940cd0","datavalue":{"value":"7631287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$346A54BB-D6B6-406C-9568-CB9D6D9E3C35","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$E0C73729-3EBD-4136-A0AE-380A1198A3EC","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":"Q5055856$038CBDCA-1DF4-4B05-A992-38DFE7039F31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15abcf02aa95ea3be6bfe63fa3480601ec9cef91","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055856$1DDE778E-9738-428F-8DC5-B0572474C58A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b9e918ae2477e906a3fa327afcba57bd3f6ec1a","datavalue":{"value":"W1565847800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055856$57811EC4-C889-44A8-B0C1-C7CE26EFA8DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$1B7FC813-7900-4223-B166-7EEA4B248919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$ED0CED99-044C-469C-BF0A-5A971ABE1CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9d0de0ba52048b2594da38e4815945e3a42363a","datavalue":{"value":{"entity-type":"item","numeric-id":1251063,"id":"Q1251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$D80D72A4-2A05-4331-BFDE-C5E701C1F7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5464a240ea005d91846c0ed6384f1e539280600","datavalue":{"value":{"entity-type":"item","numeric-id":5055834,"id":"Q5055834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$2875CB51-AC7D-4246-AB17-963760440D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$EB12E07F-87DB-46CB-994B-A2135206812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d8b44f05217c526aa12a6be320ec9c8d40564a","datavalue":{"value":{"entity-type":"item","numeric-id":5053011,"id":"Q5053011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$C0A6B18C-F3BD-45D9-9760-A2CBA0E17C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$45971CB7-DC1D-444D-9B3A-132749339005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$22FC80C2-3D8D-42E2-AA73-513F805CB8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055856$9D365855-E197-40A7-A082-FCE2FC28C22C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001a44078ef4b0792bc8a54209b48d355b9084c8","datavalue":{"value":{"entity-type":"item","numeric-id":5901560,"id":"Q5901560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7105926bf0b75b57696292f2565374f03d8f37a4","datavalue":{"value":{"amount":"+0.7490512728691101","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":"Q5055856$D38A46DB-4378-4722-A74A-B4539BE25BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec2f0bb38b56f759cbb69a7dc3cbce032e16f8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"344051606be5bd6e9685fd8f718b1f43b178c00e","datavalue":{"value":{"amount":"+0.7470777630805969","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":"Q5055856$EAE2D06B-C92C-4513-A91D-94196ADA7086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b93737dd207056426cade4e5dba1254ba6edf5","datavalue":{"value":{"entity-type":"item","numeric-id":4457836,"id":"Q4457836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6164c2be6fbf28a429dc98deec4fd5a042e20bc","datavalue":{"value":{"amount":"+0.7416123151779175","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":"Q5055856$0DBF5284-9F2B-436B-A5A0-107EFA67EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd11ce9ef66122b4d469632603b7c00bd6d7700c","datavalue":{"value":{"amount":"+0.735495388507843","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":"Q5055856$7E921049-B6C4-4BF5-8AC4-DD4846C847F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f532745b184baa1cf399c60de1a0e65222a91887","datavalue":{"value":{"entity-type":"item","numeric-id":5879268,"id":"Q5879268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d85138b4f2efc9fe588f8c6fd66338f380d57d3e","datavalue":{"value":{"amount":"+0.7344595193862915","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":"Q5055856$80CC7E3D-D0C3-433F-9B68-BB584925D89A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055856","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055856"}}}}}