{"entities":{"Q1363784":{"pageid":1374523,"ns":120,"title":"Item:Q1363784","lastrevid":46506801,"modified":"2025-12-24T22:38:40Z","type":"item","id":"Q1363784","labels":{"en":{"language":"en","value":"The Kolmogorov expression complexity of logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047200"}},"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":"Q1363784$7DEC6D27-0877-4168-9344-2B12493EB843","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d93466c425a5c53b63f0cfed4281c98a92e0b820","datavalue":{"value":{"text":"The Kolmogorov expression complexity of logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363784$14346292-6E01-4EB1-A1EB-C82AC47253AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1170d959e8a4164bf754f182b4f84b978aff990a","datavalue":{"value":"0879.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363784$624A5391-5988-4085-8E12-5C486F5B6706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7556e9c9cbb6aecbfca4bdbb52190444fadde8ff","datavalue":{"value":{"entity-type":"item","numeric-id":290270,"id":"Q290270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363784$75915603-AABF-4A9D-B125-DC254358C9A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363784$206C91C2-6F91-4AA9-AAB1-3290DC469B69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04800f209034680d3c00e300ab0607f83b08af5","datavalue":{"value":{"time":"+1997-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363784$7D0566A2-B0D5-420A-962F-50A71C67663F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1c2c47e510eb1e4ed579e2d4dba278fad649fc0","datavalue":{"value":"https://semanticscholar.org/paper/2fbaf57dcb58ac4c076c33fcaa5b21c59df35e08","type":"string"},"datatype":"url"},"type":"statement","id":"Q1363784$C07F2EFD-6A92-44B8-BD5C-FAC5B13E6CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e243fd7c22ca7737465c92434b0b01e09fe89c42","datavalue":{"value":"68Q30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363784$A22FE16D-04D6-4D48-A896-C454B4BF7CED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6856e8d17f919fc2c382df91e07207709cc03989","datavalue":{"value":"1047200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363784$1FAA44C6-6CA7-4587-9472-B4FC235C4DF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fe1ce8b4e5ae0fbc6b84689da6c9d0543749efd","datavalue":{"value":"finite-model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363784$03EABE8D-ADB1-49A4-86B0-0048A5126980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d914195427141ad87f61539c4730fe0d1ea0d00","datavalue":{"value":"expression complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363784$64A39EB2-7EA9-40DB-BFAE-1DB05F00279E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e343c0d066d632a0b869d2dadad72cc8a3999e1","datavalue":{"value":"Kolmogorov complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363784$18FA530D-C917-4782-8A69-3A6D27B706A8","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":"Q1363784$E0F760B9-FFC2-4928-8BAE-7EC73C1E884C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca10c362376715ac1967f286e4d0ea37b4b801a1","datavalue":{"value":"W2055834130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363784$6E0C5463-58E2-42FF-BF3E-4EBF4085B534","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fa70855c8c28e2698f2c467c786ebd5de6251f3","datavalue":{"value":"10.1006/INCO.1997.2636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363784$D01C7839-B439-475D-A179-4923F43D7159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afd1de112f725db44ef02c05f5f53c8af6fb488f","datavalue":{"value":{"entity-type":"item","numeric-id":672725,"id":"Q672725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e524954cb8d357eb9b04b0f7a0514899d9ca456","datavalue":{"value":{"amount":"+0.8308145999908447","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":"Q1363784$700ECCA3-5730-4301-841F-87CDB83A4580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef55600f58f8a2a7fc39e18f80bb65c881f1b99a","datavalue":{"value":{"entity-type":"item","numeric-id":290271,"id":"Q290271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3987d4a84ba23217922f55cd468f205474b4e0ff","datavalue":{"value":{"amount":"+0.8116793036460876","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":"Q1363784$366938F5-6C45-45FA-8D04-B9C85CDA320E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8d8069bafd79ba3d2062594d3f71a36a478be98","datavalue":{"value":{"entity-type":"item","numeric-id":1389450,"id":"Q1389450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"168c0bb3be6e30bdaeeded88c32375e7862ee255","datavalue":{"value":{"amount":"+0.8034441471099854","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":"Q1363784$C8B3A56D-C020-43FB-A797-15C300975BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd0abd2ce730ea455ea28215c1d402a36128505","datavalue":{"value":{"entity-type":"item","numeric-id":4336698,"id":"Q4336698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2410c355ee0411853dcfb77a97062c71559b5c","datavalue":{"value":{"amount":"+0.8021881580352783","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":"Q1363784$A0DE4976-814C-4A34-B998-24F447154E0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1363784","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1363784"}}}}}