{"entities":{"Q2177578":{"pageid":2188321,"ns":120,"title":"Item:Q2177578","lastrevid":57776211,"modified":"2026-04-02T11:53:02Z","type":"item","id":"Q2177578","labels":{"en":{"language":"en","value":"Completeness theorems for first-order logic analysed in constructive type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7197405"}},"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":"Q2177578$CA40BCA6-AB94-4805-87F3-D390DC053EB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eda7bddece9a9c5fa44148850d99e0a88dacecb","datavalue":{"value":{"text":"Completeness theorems for first-order logic analysed in constructive type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2177578$8D11B177-9B6D-42B0-807E-3FE7F33D3210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1cf5eec6e109ccde379b0fc7d1bca369088760d5","datavalue":{"value":"1485.03248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$122ED98C-7E13-4A41-B3CA-8CB38758B635","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62919272d6aaeaacbbd6d3ae0b84be09855e9e93","datavalue":{"value":"10.1007/978-3-030-36755-8_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$9940DD37-8B47-4435-9BC0-4551A2F42D47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7e7e54e22918a5af75f6588d5e6c4a6d7874c28","datavalue":{"value":{"entity-type":"item","numeric-id":1687734,"id":"Q1687734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177578$9800CB9A-01BB-4197-BDC3-7F6375C2AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2727ea0c536c8b8965c6e43987197ce28213d80a","datavalue":{"value":{"entity-type":"item","numeric-id":1687748,"id":"Q1687748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177578$C650E7C3-2E88-49A9-A3F0-07590E9BDB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a434a74aa4ca9b8de2662549340055be1c331ff","datavalue":{"value":{"entity-type":"item","numeric-id":2112793,"id":"Q2112793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2177578$486CD063-9467-4B23-B148-C55051107A46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63b133e2f3cdb47e2584c85d3d40bfb2c7f5272d","datavalue":{"value":{"time":"+2020-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2177578$9B72D8C9-26A9-492D-BE29-B5EED04F0947","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"887fabdb508c1a5d13dcea5d76f70379ff82c7c1","datavalue":{"value":"https://arxiv.org/abs/2006.04399","type":"string"},"datatype":"url"},"type":"statement","id":"Q2177578$D870E69F-BD87-4209-9A7F-B856C45C6631","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$38A654D3-6372-4026-89EE-30A0982C8254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$6950FF95-5286-4186-B82C-2488323BFD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$9657C9B2-DDCD-48D6-9BE5-B2A4B35700A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$C2ADED90-B7DC-46CE-B784-A4A44F34E2B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf3f0f6dca08e7e9d80c81bf7e971f3acb7872cb","datavalue":{"value":"7197405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$AC912544-F361-4255-889A-18A106EC2B41","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":"Q2177578$8CBC2847-5410-415D-85BC-15A95DB92F8D","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":"Q2177578$3C78165A-8F8A-47A6-91BC-77A8B7C03F29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"185ed39ef97482b41ea3b0033101f818fb9c9652","datavalue":{"value":"W2995956541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2177578$E9791597-8791-433E-939C-FB1781D1CD31","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed0e888fdcbe9803359bf4363aa72e847572b502","datavalue":{"value":{"entity-type":"item","numeric-id":392280,"id":"Q392280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9704c02066992456bdf73d81292d9540f8a1fc","datavalue":{"value":{"amount":"+0.8154467344284058","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":"Q2177578$2D73E46B-B1EC-4C9D-A131-22C7226AB680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7939eaf0e3c80c37aeda57636aa2cb5b9b70f34e","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6ebe5de84baeec676ddf3b06a87d815d1c27c0e","datavalue":{"value":{"amount":"+0.7694012522697449","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":"Q2177578$852B3C32-22FE-4828-954E-C7B17D7055FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf175ca02fbfe4698f3e33445ec7cdc416b1c24","datavalue":{"value":{"entity-type":"item","numeric-id":5477663,"id":"Q5477663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b0712af54f309a3b94e91aaaa63a985894f4ff","datavalue":{"value":{"amount":"+0.763188898563385","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":"Q2177578$9560CFFE-96FB-4033-8AA9-CAA809C14B44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2d0d1b0e346682404fe8c30b1729452860ace99","datavalue":{"value":{"entity-type":"item","numeric-id":286708,"id":"Q286708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c72953f2327320145e5d33702bbf6db4f34aac7","datavalue":{"value":{"amount":"+0.7620722651481628","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":"Q2177578$B9C92410-1627-4DC7-9C19-1867CD351D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0fb884ac064fe53820dee52be77088fccc117d6","datavalue":{"value":{"entity-type":"item","numeric-id":3160566,"id":"Q3160566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d97a0d30c99db3978f734906502c1d634d933415","datavalue":{"value":{"amount":"+0.7509830594062805","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":"Q2177578$239B0E3C-9328-4F17-8C86-4ECEA53DA76C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2177578","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2177578"}}}}}