{"entities":{"Q2120967":{"pageid":2131710,"ns":120,"title":"Item:Q2120967","lastrevid":82519727,"modified":"2026-05-06T21:05:42Z","type":"item","id":"Q2120967","labels":{"en":{"language":"en","value":"The number of axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7501980"}},"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":"Q2120967$50107D47-B690-4922-9FC6-3E4CB3C513B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04581f7c8ac5c2be0a0d6140d3daec4a4b2aaf02","datavalue":{"value":{"text":"The number of axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2120967$23C22041-A8A2-4F1D-965F-B2E0577CD544","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$86684628-0735-4B4C-AC96-8C5C20B4C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$C530A3C0-5BC0-4BDF-AAA7-0EE2120DD572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6018be3dcb43cdc76421e1b409f7769f9d9293dc","datavalue":{"value":{"entity-type":"item","numeric-id":2120966,"id":"Q2120966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$6FA084B8-BA22-45B0-99AF-E183B10BDDC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$F5205CE7-F28A-4EC2-A439-57A3AFDCAE0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61a1c46f4eee8fdcf70f057ed8a6245e7bfc68f9","datavalue":{"value":{"time":"+2022-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2120967$B6D5BCED-C9CE-481E-9AB2-5C038E17D586","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$CE1AE78D-D16B-47FE-924B-BD39FC987685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$925A8FA2-8500-4BB9-A033-AA4C0F5AD6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$C64393F7-4CCF-4D7C-9D7F-0AD384F86B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$898A686D-C7FA-4BB3-80E4-4363A52494D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da091a5a2eb8d40050d85cee587353c77af4a137","datavalue":{"value":"7501980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$F00071A5-B91C-44A6-B2C5-E8BC58450B2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79241dda0b9b72d56d7e7f3ffe637b4c2b7c4c81","datavalue":{"value":"number of axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120967$4F95E87A-18AA-45BD-BA4C-DA23636F4887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120967$168186A6-54D9-46FE-8DBC-7B60EB10B2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120967$FAF99B52-1726-4657-A8F7-E9E5138BEF31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28abb99db7a1c807adb98b291273e4e4f854fa16","datavalue":{"value":"LK","type":"string"},"datatype":"string"},"type":"statement","id":"Q2120967$09196D71-579C-42F6-943F-EDDDDC91E5EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a0974cefea3cbb5454db81d2956483e570912005","datavalue":{"value":"Q114682920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$EE0F849C-8C67-44C3-B1C6-C99657259A16","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":"Q2120967$6FCD4084-C3E1-4A06-9236-A3628CD0573A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf5241eb64649fb7f4c709ca4232b57f9d1e83fc","datavalue":{"value":"https://doi.org/10.1016/j.apal.2021.103078","type":"string"},"datatype":"url"},"type":"statement","id":"Q2120967$F8B137BB-8CCB-4198-B4EB-83B1E0D40A49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c3d67fac82f4e76b3c8276ddbab0f7f4353838e0","datavalue":{"value":"W4206319082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$BF51255B-02C9-4F3D-9D42-5775210B8BDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b20e64309aa4bc4429fc1aff3c5454eb9d97ad","datavalue":{"value":{"entity-type":"item","numeric-id":4628675,"id":"Q4628675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$6E8A0E3A-F266-43CC-A586-6156EFAC0CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$CCA49809-90DC-4EA0-AC02-6EF790B4AE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b880d3c8511f1d53c27d1537b521daf74193b4","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$B0968679-5B6F-48B8-8136-9F9DB0327517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e2b29d9b4dadfb2f5b72715f7422f8e108a4ff","datavalue":{"value":{"entity-type":"item","numeric-id":1167721,"id":"Q1167721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$A9DBEDFC-63DB-41F9-A965-8EA5BD92542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1813c495b4019dbc5a0338bf865711982b775489","datavalue":{"value":{"entity-type":"item","numeric-id":4198750,"id":"Q4198750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2120967$0F007A04-A2A5-4E10-943D-7399474B0913","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4b8c1eafc701a481a8fa262ae06b8c9642d2067f","datavalue":{"value":"10.1016/J.APAL.2021.103078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2120967$192A31A3-4F58-4B16-973F-99BB767DF87D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0116dab4c2b534fbf3e581845968a5333d94387d","datavalue":{"value":{"entity-type":"item","numeric-id":1102280,"id":"Q1102280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aef5f337e652c2b703c8854a2e6284fa177341f6","datavalue":{"value":{"amount":"+0.7196930050849915","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":"Q2120967$FC09248E-BA49-46DD-89B3-623273AB024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb352ac90d66db4f027bc09a18d7a3314eb3a19e","datavalue":{"value":{"entity-type":"item","numeric-id":1119576,"id":"Q1119576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f88cc9dbd62504a231533329ad4af51d060f946","datavalue":{"value":{"amount":"+0.7129717469215393","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":"Q2120967$CA6E537F-FBBC-49AE-8101-75A2AACAF5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf32836cebf45cea1ad072c97dfe66ab016c9ee1","datavalue":{"value":{"entity-type":"item","numeric-id":4428698,"id":"Q4428698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0b1210620813835c407ee0852c0d3e2fb4428e","datavalue":{"value":{"amount":"+0.7121912240982056","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":"Q2120967$325FD607-68A3-4DFD-834F-248BA31F78FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4174c62b7c21511ab671733659148743a7870e3","datavalue":{"value":{"entity-type":"item","numeric-id":5187274,"id":"Q5187274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acba095532e033b1bb7cd1cf9f85530e6e703636","datavalue":{"value":{"amount":"+0.7011167407035828","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":"Q2120967$81B0C1C0-2941-4E58-AAC8-0B98EA8F474E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"049a1fd15aed6edff729671c3a2eaecdb8eb9453","datavalue":{"value":{"entity-type":"item","numeric-id":1386671,"id":"Q1386671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad8dd41afb77a9d302b6353afd8ee391aa0564e","datavalue":{"value":{"amount":"+0.6996876001358032","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":"Q2120967$5D096F98-EA58-48B5-ADAB-320E09123E43","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_axioms"}}}}}