{"entities":{"Q4594249":{"pageid":6623834,"ns":120,"title":"Item:Q4594249","lastrevid":52959269,"modified":"2026-01-23T22:05:22Z","type":"item","id":"Q4594249","labels":{"en":{"language":"en","value":"Reflective semantics of constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808170"}},"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":"Q4594249$E4AE21C5-01A5-48A2-8A4D-EBA8D0A1CA52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b5ce83a7a54ec84c8ba9d60c0d422c90af5d60b","datavalue":{"value":{"text":"Reflective semantics of constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594249$176656F5-450E-4DB0-9F9E-66C3961BF4E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"774e3073563a84242f10cbeb6651ac22f45ef0d4","datavalue":{"value":"1434.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594249$43880DC3-EB76-4AEA-A306-F4BDF2A03AF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce25c77d649bf8afb7d80a0da9c0296258f5677","datavalue":{"value":{"entity-type":"item","numeric-id":1314347,"id":"Q1314347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594249$236A64A1-5AD9-4397-B9FD-15D5D8AA7A09","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":"Q4594249$AF319E1F-B71F-43EC-A8A6-E5B2FE077C47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594249$BCE9CDA7-89EF-4170-A1FC-DABC8751A2AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594249$EAE349E8-3FC1-41F9-A302-32EB997EE233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594249$7660F0F8-98C7-4BC8-8900-9B28BA9FECBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07173c5348223db35f1759b0bcf9900fb8347096","datavalue":{"value":"6808170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594249$B3A94983-2F7D-4F33-A28D-D878D4D4256B","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":"Q4594249$1CA983A1-16C9-4F79-9D76-BB9CFF3554A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9392df9358318c49a798306407a0c77328f50949","datavalue":{"value":"10.1007/BFB0021081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594249$3CBC4C4F-6826-4B6D-BD5A-97164C5B47F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769937c0838347b6d65d7cf565f4f4b02f76aadd","datavalue":{"value":{"entity-type":"item","numeric-id":3138833,"id":"Q3138833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e078b88318d7aee20f0f966a2cd5a79817890f9","datavalue":{"value":{"amount":"+0.7597317099571228","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":"Q4594249$13E1B897-2B17-41EF-A7D7-3E8B2D6CF8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4cc4e163d96ec665e22b90913b2f57598d1d5d","datavalue":{"value":{"entity-type":"item","numeric-id":5286647,"id":"Q5286647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62796892c95bd109bf37db8a109ce5cab8aeb115","datavalue":{"value":{"amount":"+0.7593280076980591","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":"Q4594249$5562AFE4-BD23-4136-899E-9A22CF1AF9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6172530086cbdfd801de3c54c600547ff67b95f6","datavalue":{"value":{"entity-type":"item","numeric-id":5934287,"id":"Q5934287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f504e90df72bbd559eed7141d7bb207671457cac","datavalue":{"value":{"amount":"+0.759078323841095","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":"Q4594249$F7AE9983-9D1E-43E3-94F1-88F9E3A3B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60c9c80e802bc480e11ee87193533e09c834a0d","datavalue":{"value":{"amount":"+0.7584318518638611","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":"Q4594249$0D9073E1-5BD5-43DC-ADDE-E208500FEAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6b23f5a42a679eebac064a76acc91fd41a95104","datavalue":{"value":{"amount":"+0.753508985042572","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":"Q4594249$5690A2AF-A307-4128-8E37-B001F88A4015","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594249"}}}}}