{"entities":{"Q3613333":{"pageid":5643239,"ns":120,"title":"Item:Q3613333","lastrevid":50603567,"modified":"2026-01-14T13:13:24Z","type":"item","id":"Q3613333","labels":{"en":{"language":"en","value":"Logical Omniscience Via Proof Complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528204"}},"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":"Q3613333$AFA1A791-3E32-40E7-80F0-EFB97960B926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39e035f94806318e2ddfc8843a8b13e73f6f1fa2","datavalue":{"value":{"text":"Logical Omniscience Via Proof Complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613333$CDDF5E7E-4EBD-41E5-AA38-1B5376C2B107","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8081557009c2e1f6e2c14c4c13c9060e96e7771b","datavalue":{"value":"1225.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$E5DF897D-A858-4BD9-A26C-0FD1BFAE2C7B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3e4fa59dfa98d74e2cf66cc6d8a000b93751315","datavalue":{"value":"10.1007/11874683_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$11E0CC2E-0773-4A08-B90E-0C47D1CBD26B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"196dbdb570f68291e9833b5fdffc455b470e5721","datavalue":{"value":{"entity-type":"item","numeric-id":392270,"id":"Q392270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613333$E28D4391-7B13-4A78-8CD4-03F985D2917A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613333$7D3557A9-50AC-4CB9-82A1-96069DEF0C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613333$1670DCAF-52D7-4CA1-8821-4BF01CAA25C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613333$E2B1F8BA-0CEF-47DF-B64E-E2B1D847BCBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$E52C9BC3-29DD-4DBB-A0A0-B9032523EF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$3CBC3AAB-1E36-49EC-911F-AC3CEDD6B504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$CA16C203-F417-4A7B-81E1-1531F27B4CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca2a097ab0e0e62f52ad805612c3184fffa29f75","datavalue":{"value":"5528204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$AE06943E-D68C-4C62-B6DE-D85E4FD77BC2","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":"Q3613333$C5F40A23-B26F-4981-85B8-2F55E246B214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15e5c1e68bfc686125737edcc007028f45555337","datavalue":{"value":"https://doi.org/10.1007/11874683_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613333$322928D6-7A20-4A2A-B64C-B7721A9FC83C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66d44b93d564cb9852f1c453325aeaa6eb89440e","datavalue":{"value":"W1494449308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613333$7B0F59A1-93D6-4070-9942-D36FCE37FDE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a4ccbbaeded62f97be8f03a0649bb6c3dad26e","datavalue":{"value":{"entity-type":"item","numeric-id":392271,"id":"Q392271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89a8a59cec171873c265f83509a44a210bdaa8e","datavalue":{"value":{"amount":"+0.7941985726356506","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":"Q3613333$0E310BC9-6248-4613-9A98-30BB34662CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22d3e71b13b196172347a9f3fea86fc81a624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4332468,"id":"Q4332468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf2e165a7c8c5c655ff3923dab5f68f0ba6493d","datavalue":{"value":{"amount":"+0.7931142449378967","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":"Q3613333$836BCCE2-8372-4218-948A-E9DFB3CA6D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89099fe301da178effdb102af0cc3d4c4f84611e","datavalue":{"value":{"entity-type":"item","numeric-id":2987746,"id":"Q2987746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f095dd139d8f29939260362621dd05abd642632","datavalue":{"value":{"amount":"+0.7921581864356995","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":"Q3613333$62888A80-C09D-40E2-89E2-938EC1E86EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b10c9f5d9ffe0f34f4c3e6f4e97e8072e7a63f","datavalue":{"value":{"entity-type":"item","numeric-id":1096610,"id":"Q1096610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bbf3eaa5dbebb0b245775486bc0b2bba535962","datavalue":{"value":{"amount":"+0.7811180949211121","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":"Q3613333$469E2B15-E75B-4C53-A3EB-6343B7D8DAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1186037ff3042cf003956c8d79ef735bc5050188","datavalue":{"value":{"entity-type":"item","numeric-id":3216632,"id":"Q3216632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2991588d392ca344fdecad0351854d566f30f765","datavalue":{"value":{"amount":"+0.7760963439941406","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":"Q3613333$AF74E4AF-D651-4F60-B1A6-9E7E0275F4EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613333","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613333"}}}}}