{"entities":{"Q2988806":{"pageid":2999530,"ns":120,"title":"Item:Q2988806","lastrevid":79772912,"modified":"2026-05-06T14:40:39Z","type":"item","id":"Q2988806","labels":{"en":{"language":"en","value":"On choice rules in dependent type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721506"}},"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":"Q2988806$2FB76844-9E87-42EF-BF73-383B9F9A2158","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36f67df78a4793a4fa974f4463b07dae25c51e59","datavalue":{"value":{"text":"On Choice Rules in Dependent Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988806$C088AD74-A1A8-4FC9-8C16-9374F8B3FBD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14f11eb705b1bfb3d5fd630ccf8c4b977a6fe5cb","datavalue":{"value":"1435.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$1C4E5348-7988-45C8-A0B8-1D889BC4BE07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a920be787572ea1d55bda17eb8818e6a80f52999","datavalue":{"value":"10.1007/978-3-319-55911-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$C1BF99E3-7C99-4ADF-B77B-6B0F459E2AA0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1fa6a2864e6107a0c5fd4cc024d37e026a73f0e","datavalue":{"value":{"entity-type":"item","numeric-id":382420,"id":"Q382420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$E6520292-86DB-4F5E-B8C5-CCE18A40AA33","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":"Q2988806$5EAB3DF3-DEF8-4D1B-939C-AD6E767F0C39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988806$C6118F95-BCA7-4FDD-AC47-75E9C63025A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deb3e9990f8c9ef8582db0914232be7f1d543d0c","datavalue":{"value":"http://hdl.handle.net/11577/3234330","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988806$66559038-024D-4E3D-BF97-ECB4AC2F96CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$0FDB2696-AD0D-483C-AE2A-8699178613BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$24E34A5A-2849-4E81-9A5A-3E01A9508BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$0AEDF3B3-B6CD-4803-B711-C6C1B87230D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9434acb94999c8820bd011358d66d7cb6336fbca","datavalue":{"value":"6721506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$99487C08-A269-4F5B-84EB-D8424F4324B2","rank":"normal"}],"P1463":[{"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":"Q2988806$C06363E8-DE4A-4F8B-998A-792A5709A5AC","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":"Q2988806$BE995988-C901-4E14-9E8A-22E7DF6CC628","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":"Q2988806$63096696-A65A-4648-9467-74AB58FCF6A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce23e8179bce128437961f2928e2d6784265f894","datavalue":{"value":"W2598762888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988806$D75E060A-431F-4EFD-8AEF-577A05BFE77A","rank":"normal"}],"P223":[{"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":"Q2988806$B7E68B24-A557-4338-B0F3-E4182FCA7B74","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":"Q2988806$B7116D4D-0850-4B27-B31D-40BB65B1A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$9D8E5728-4218-4E01-9D8C-1FB390B6157F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4da806e6297e618e7714c75d11216ab0dccef6a6","datavalue":{"value":{"entity-type":"item","numeric-id":1189567,"id":"Q1189567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$4AA7FA21-E7E7-4A34-88ED-0120E66F8244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6b91a5ebb86a2b4a685975db0e12cc02e075b","datavalue":{"value":{"entity-type":"item","numeric-id":3371526,"id":"Q3371526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$5AD7D8B2-EF78-4CCB-9441-61F6A5C71930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208278dd27f21bde5c0e15c6d5426a30e4bca82e","datavalue":{"value":{"entity-type":"item","numeric-id":1032635,"id":"Q1032635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$F984258C-28C3-4086-85F9-C9BE92CC837E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcae29434b408608cbdccc82a521cfc4aa06606d","datavalue":{"value":{"entity-type":"item","numeric-id":2855642,"id":"Q2855642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$CFFECDF5-64E1-4A7A-B974-1F9AE17DBC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756c7910becac7c840b6185edc1ccab38648ed9","datavalue":{"value":{"entity-type":"item","numeric-id":382422,"id":"Q382422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$91CD257A-2384-4D08-BE11-07D23F61EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa933416699cd682536c8bd053812d0b5ba0eccf","datavalue":{"value":{"entity-type":"item","numeric-id":2254599,"id":"Q2254599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$9A83673F-DC3C-4D5B-BA7D-F6116F485FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9cb318559b5e8b835fb9fc7ea1d7ddb2a0c1f9c","datavalue":{"value":{"entity-type":"item","numeric-id":5718565,"id":"Q5718565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$463A1D04-2F7F-413F-8221-8093331078BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96db29601f3a4325e26147244fb5b556c2f42c6","datavalue":{"value":{"entity-type":"item","numeric-id":5277976,"id":"Q5277976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$26B39E11-0772-4D76-A8A5-3BD33083E917","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":"Q2988806$CC917205-9E24-45AE-AECC-DE812999FE5A","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":"Q2988806$6D2EC1FD-1587-428E-9BB3-64D049F2C475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$20D1B560-D6DC-49B8-B95A-002A2135F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51dc13071df66ae704f545eff577abff90943bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4247310,"id":"Q4247310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$E7DFA9B7-86F6-490D-9228-3E9AF9E90278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e07ca2153659d8fc2cc7c0e45a5fe00a87b84bb","datavalue":{"value":{"entity-type":"item","numeric-id":1199547,"id":"Q1199547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$CE20C91C-1E02-4B82-974D-9EC8AC5C7292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988806$0409A18E-3595-4E04-B8B9-052E3A85D60E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba42c8b31e2765c0a227cbcb4e2d0116b353eed","datavalue":{"value":{"entity-type":"item","numeric-id":2986812,"id":"Q2986812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40ab28f3a786ba1807975baf9c9f7799f6d8d0b","datavalue":{"value":{"amount":"+0.7913960814476013","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":"Q2988806$1A749C59-70AA-4180-9363-D174F2A72B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6d9ad45740d23596fbe48f0cc64e294c62568e","datavalue":{"value":{"entity-type":"item","numeric-id":1199547,"id":"Q1199547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ddb52e9f03743cffa811a279b4a72e53a1d68a","datavalue":{"value":{"amount":"+0.7632492184638977","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":"Q2988806$98618B29-4CF2-4EFA-8FCB-AC1738CA996F","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":"fda26e8cca36b24657740670a055f255b65f76cd","datavalue":{"value":{"amount":"+0.7410712242126465","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":"Q2988806$001B6433-9FAC-4393-821F-FDCCED948FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd32bf7ba0e3c2dc900409072052fcfc16181055","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b289a45d69691423e7dd42c74e11f55a496310f2","datavalue":{"value":{"amount":"+0.7403886914253235","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":"Q2988806$5EB71AC6-EEC5-43C6-B281-F4BCCAF86697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52a879a36070095bb20e1d6cbced7ef6874943e1","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e30829237947b12d09b58e6c819cef95205ed1b","datavalue":{"value":{"amount":"+0.7340189814567566","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":"Q2988806$12D98BFA-95EB-4B8B-8C4E-02D255423F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On choice rules in dependent type theory","badges":[]}}}}}