{"entities":{"Q4647577":{"pageid":6677158,"ns":120,"title":"Item:Q4647577","lastrevid":53321228,"modified":"2026-01-24T17:45:06Z","type":"item","id":"Q4647577","labels":{"en":{"language":"en","value":"Conservativity of equality reflection over intensional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002051"}},"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":"Q4647577$4FA67D25-928A-4C4F-A062-5C24373402E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b531618d9027248a909b5c7a429235f0d8082267","datavalue":{"value":{"text":"Conservativity of equality reflection over intensional type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647577$CD0B85EB-E7A6-4970-95F4-6A14E0AEA8E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a35fa6a810b248fe5e3d871a361f8e25c20f72cc","datavalue":{"value":"1434.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647577$490851AA-DDDC-493E-BC4B-7FC35B61FCDD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b2c4589d72bd2dff4b4fe040247b81242dd5ceb","datavalue":{"value":"10.1007/3-540-61780-9_68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647577$7BF19037-56BB-49E6-9EE3-1B557A82A57A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$58F74A41-0C04-4830-9EAF-39E2D5D39AEC","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":"Q4647577$AA97CF9A-DE0A-4DD6-8B90-21F44E65C230","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647577$649D28FF-CA41-44C9-ADBE-A0E22DD86B4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647577$2A22A3D0-411C-4E79-8D84-00236CBBD68B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73b1499daae358552f1ef2212a3874a2ab946dc6","datavalue":{"value":"7002051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647577$F491E0DB-828A-46F1-8BEF-FF6EE4862827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647577$1954100D-FF91-457C-9D75-E5B611DC215D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647577$A1967411-09D0-440B-AB9F-8F08019A6E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26ed17f0fa3b284d6eda2a0b6f59f94f851c6b48","datavalue":{"value":"elimination rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647577$158C6B0B-BFF9-4A6C-A01F-A21C36BF87A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543aabeb2674d8d84aa3e19dc700b7ac199e59e8","datavalue":{"value":"functional extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647577$61DD7F39-4EF3-47B6-A3C4-CC8A7893C5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057c75cb2ca6001c844f7d028e5a6e44e7ac1671","datavalue":{"value":"canonical element","type":"string"},"datatype":"string"},"type":"statement","id":"Q4647577$9E9F0D92-9300-492C-91AC-3B35D6F89934","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":"Q4647577$8B17633B-15D4-4185-AB2A-31553CC2B9DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd30bceefb7c2666b61b9a35c7f69c2837f72ba5","datavalue":{"value":"https://doi.org/10.1007/3-540-61780-9_68","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647577$D9B42BB4-618F-4140-904A-F7D57E660A1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d7b088e01f6c7f4265ce274dcc5245cbe4c66c5","datavalue":{"value":"W1821509023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647577$7252944B-0C0E-4441-A39F-FA12B84B84C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$D183FCAC-13ED-4430-8BB6-B66613EE5A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fb3a8042cfdb4f0192070019159061101f551d8","datavalue":{"value":{"entity-type":"item","numeric-id":4141228,"id":"Q4141228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$B6C08592-9B34-4748-AC4F-E30B4667A335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$D0B55DA0-A6EA-466A-96BA-C74AACABAC11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$73634189-4DCA-4088-804C-8A16A99827BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647577$BA210A50-3148-4C61-811A-CF3F5028EC13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a288f2fc28ec2baab271cdb8106dc6e506c062b0","datavalue":{"value":{"entity-type":"item","numeric-id":4632162,"id":"Q4632162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff29c192b3cb24a49754981567a45e32efe78d2a","datavalue":{"value":{"amount":"+0.7681609988212585","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":"Q4647577$ACD5D74B-12CE-425E-84EC-66E96689AB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00d5b6d7ca2e4e14f9b576ec216f35d740fd70b1","datavalue":{"value":{"entity-type":"item","numeric-id":5277979,"id":"Q5277979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a76ec709241d2b90db9bc9b310d119d919278fd","datavalue":{"value":{"amount":"+0.7606446743011475","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":"Q4647577$47F19FB4-13B7-4E76-952B-5C8F8CCE37AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70cc80044f2ebba1d573679a54781940d183a73","datavalue":{"value":{"entity-type":"item","numeric-id":4531082,"id":"Q4531082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9b87f36636b9d9940a46e041873bddaefd0d10","datavalue":{"value":{"amount":"+0.7471628189086914","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":"Q4647577$D0930D28-1FBB-49E3-9424-460951D08EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7077bcdcfdbb1afc2c28fd4777a92925dbd296d","datavalue":{"value":{"entity-type":"item","numeric-id":1024547,"id":"Q1024547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f90f0f5eeb38ecbef45d1d6eceacf8388a8d4533","datavalue":{"value":{"amount":"+0.7394149899482727","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":"Q4647577$33169C38-2947-494D-A4EC-1A1B8FC86219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5630c0d64d652235db02577c863c7a557d399a2","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bcde8184cb22de85889c0a0348863e6447079f2","datavalue":{"value":{"amount":"+0.7364236116409302","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":"Q4647577$8961C049-BA3C-45DB-BB97-D69650DE78ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647577"}}}}}