{"entities":{"Q3140635":{"pageid":3151351,"ns":120,"title":"Item:Q3140635","lastrevid":47202934,"modified":"2026-01-01T00:07:16Z","type":"item","id":"Q3140635","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440478"}},"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":"Q3140635$24839002-31C5-43DC-AFA2-300D32821737","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7da65c1b3f664caa12d266ff36e81fad9d5604c","datavalue":{"value":"0793.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140635$E5DDDE49-7E98-4937-AC3A-7520192F5656","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156c797a905a5f3fee298ee2b9f132ba806e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140635$BBD9C097-EE64-4580-8973-6ECE201A5B03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3140635$8DD3D773-F2F0-4036-A2F4-269E5D5B4933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140635$265970C2-A240-456C-9404-2C1B679964F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140635$56AA857E-FFEC-4CFA-8E7C-9DAB448F0F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140635$E596D129-C4EE-4788-A7ED-3DB1A0BE43C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbf89560c9c67cb106bedf59d42a4e55332250cf","datavalue":{"value":"440478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140635$C9894AE1-2A3E-4D02-B877-DA130524969E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e3bbdd99c4d4fadecef51303f81f60e5ed70baf","datavalue":{"value":"combinatorial principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140635$929F897A-7381-40E9-8DB8-75C491EFF7C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c591fa9ca362f77872a61fb83981d083b445d07b","datavalue":{"value":"polynomial-size proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140635$0FC00D8F-C425-4269-BF92-D26A0A80715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e7859475949ce693b20fa6d93853686d180f5bc","datavalue":{"value":"ALOGTIME computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140635$276DED7F-D541-4111-9DAF-77545FD5450D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e46afea5897b9aae5e5018e7ac22860258d315","datavalue":{"value":"Frege proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140635$2AD90BB6-3E33-40ED-8245-CBEE2DC45210","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":"Q3140635$19A80CDF-BD76-49BB-B92D-6114BD392CD0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cccaac9b36deb25402bd0f6ccff787ac830afb","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddfe02610e0d683233432bd9506f1fbf64324f3","datavalue":{"value":{"amount":"+0.8373849391937256","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":"Q3140635$17D178DE-7CBE-4778-8D75-E60A6B182964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8619ab5791ecf083dffaaaa18e3233c03cbac4","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c1ae5382d071669bc85e0a1e0cc1d6978e008b","datavalue":{"value":{"amount":"+0.8011115193367004","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":"Q3140635$D6D982C3-9647-4181-B198-9839798524EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e652befa7c235b176c2003d479759743e719a31b","datavalue":{"value":{"entity-type":"item","numeric-id":3194704,"id":"Q3194704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84739427b9fbc5c7ed5deb43c5bda018886ae7a5","datavalue":{"value":{"amount":"+0.7999451160430908","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":"Q3140635$6543A297-898A-4B26-94D5-7793ED050B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"578cd776d48d10dab91f5be7d3277c1ff953b403","datavalue":{"value":{"entity-type":"item","numeric-id":2344736,"id":"Q2344736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf873842fad47e753710e1716f59193b033cb106","datavalue":{"value":{"amount":"+0.7981935143470764","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":"Q3140635$177700F0-11D0-4E6B-8EAE-7344D10A612F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d478ac6a9d318401b706fb64dc7d74fb19248e","datavalue":{"value":{"entity-type":"item","numeric-id":687506,"id":"Q687506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2854f616647113c27e472430e380f7e9df1c8f00","datavalue":{"value":{"amount":"+0.7776247262954712","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":"Q3140635$D9598C64-5BD8-44FD-B526-C5E116E2CB71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140635"}}}}}