{"entities":{"Q4594250":{"pageid":6623835,"ns":120,"title":"Item:Q4594250","lastrevid":52959272,"modified":"2026-01-23T22:05:22Z","type":"item","id":"Q4594250","labels":{"en":{"language":"en","value":"Are subsets necessary in Martin-L\u00f6f type theory?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808171"}},"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":"Q4594250$A524C43C-C67F-460C-88C5-67A94A386E34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a953981c476ee9deceac5025324ce7cdd4c1266","datavalue":{"value":{"text":"Are subsets necessary in Martin-L\u00f6f type theory?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594250$1F3FE736-89F6-43BE-A9D8-908A7C0135D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2670f10fd7833a8b61c5c30d0261b06b6a2a081","datavalue":{"value":"1434.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594250$7E61F430-38C3-46AF-8246-56D4B71258B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594250$E4887EA3-7E4F-4F62-A673-CE75EAAD90E6","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":"Q4594250$58CCF34B-44BA-4B4D-BADF-13FEC4DF087A","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":"Q4594250$4233D993-DFB5-4EDD-8716-F3E73AF44CA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594250$2918F85F-AAE9-4474-AC87-3FAEE660E3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594250$B9641DA6-5C4B-41A3-885A-639F4D6B459F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10567be9d3893f420824fe0459f2ba4f660d6316","datavalue":{"value":"6808171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594250$6E50A628-3B92-49C2-95D1-2428B2D99B7E","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":"Q4594250$C4EA64BE-BFCF-4CAB-AFB7-DBCDC7E87F35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7294e7b6d6fbffe7d6fb715b443bf2e48edd4aef","datavalue":{"value":"10.1007/BFB0021082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594250$BDC472C0-8428-42E1-950D-BE340B679CD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a28dad48ab6ca77a6fff03e40a7357395740768","datavalue":{"value":{"entity-type":"item","numeric-id":4282620,"id":"Q4282620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52112a170410d1ec5956c71ea9030d9b125475bd","datavalue":{"value":{"amount":"+0.7682728171348572","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":"Q4594250$76DFFD3A-D5B5-4ABE-8B53-5F83BC66B203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9839bc33abc70dda368d4dcf9734f3e9b10de8ac","datavalue":{"value":{"amount":"+0.7677051424980164","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":"Q4594250$AAC963DA-6F3A-4C01-9B23-7B8A1B4959AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121120b16fde0ef16a7f416c14d4150c04ff45c4","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6819e11fc665c3762fc757dcf370eb4c9ebf06","datavalue":{"value":{"amount":"+0.7667809128761292","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":"Q4594250$00724493-0814-4A4B-9532-6A2D459178BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed67a1fc914341ca343a9badeca5ced0dcd7c12c","datavalue":{"value":{"entity-type":"item","numeric-id":4003339,"id":"Q4003339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a6819e11fc665c3762fc757dcf370eb4c9ebf06","datavalue":{"value":{"amount":"+0.7667809128761292","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":"Q4594250$80DE2012-0D01-40D7-9AFB-D888D0509D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5147f14eab95a96b3d7cee8d953938ae211f36ec","datavalue":{"value":{"entity-type":"item","numeric-id":4435462,"id":"Q4435462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fbe3cbe07e8bd619772e0b33ce33fa7df4341e9","datavalue":{"value":{"amount":"+0.7548713088035583","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":"Q4594250$B52E4FC9-77D5-42C6-A4D4-91599E10F0C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594250","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594250"}}}}}