{"entities":{"Q5270089":{"pageid":7299664,"ns":120,"title":"Item:Q5270089","lastrevid":52834886,"modified":"2026-01-23T14:51:25Z","type":"item","id":"Q5270089","labels":{"en":{"language":"en","value":"Feasible interpolation for QBF resolution calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6734401"}},"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":"Q5270089$C4A46464-CA1B-4A64-8BC7-9639DC820DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2ef30c1fc72c26c10e7568f6000b7a53e019ff","datavalue":{"value":"1448.68456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$A3762337-1272-4885-9B05-AC62A88AAB20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92daf0f8ca6d1a2ef6814cac1bcc8cb8c75db8c3","datavalue":{"value":"10.23638/LMCS-13(2:7)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$7E56447C-AE3F-4CD6-85E1-C8EA58C9B796","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5270089$47B53A03-DA26-4B5E-BC78-7120ED99EF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797d737085edf99df070e3ed71108f1cc7edbccd","datavalue":{"value":{"entity-type":"item","numeric-id":1784952,"id":"Q1784952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5270089$E4123A27-6AE3-4620-A563-833EDE2CE040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"255779f34e1857f1e1d5d34372c6a4a28e1cfdd7","datavalue":{"value":{"entity-type":"item","numeric-id":371192,"id":"Q371192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5270089$2E360093-C2FD-40DA-AC7E-9459085318C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0009674822f22156a0423b202eea1363b0e6415","datavalue":{"value":{"entity-type":"item","numeric-id":2201427,"id":"Q2201427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5270089$74045AF6-5CEE-4D78-BC03-87E5582872F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e054c0a234979c0870c259371f7d1c3053ac991","datavalue":{"value":{"time":"+2017-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5270089$C2A0DC5D-5AFA-4935-B890-470E9AD5C787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$39FBAE4D-2981-4A81-A099-E681BA39744E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$950DDF45-DA3F-4D02-A570-EC9F81CCB7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$904F91F2-6FD7-4736-B9AF-248FCEF65F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$7CC1A566-A807-4FAB-B8C1-16CF3F0DA7DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39e5c98e87bdab2f924082355164a8c08873564a","datavalue":{"value":"6734401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5270089$8C45E1A3-F4D2-4C1C-BBFB-3A191B936F53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f1b47ff68adf8abb83839bd6f1bd41ad4f1806","datavalue":{"value":"feasible interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5270089$4AFB6434-6E47-4000-943F-2E9466F000C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5270089$93A2C5C0-CE34-440E-B23E-6A5688CCBBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q5270089$996EF111-EBAA-4862-A846-E08BEABFA5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5270089$D42A5C70-8220-4137-AD14-B78E3F0CF347","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5270089$089E4DA9-AA86-4C98-BAEC-D0D406114950","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":"Q5270089$50282D48-EFC8-48B6-AA6D-DA120F03D238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbdb601d27c5ad669005c15e505e81567383052","datavalue":{"value":{"entity-type":"item","numeric-id":3448783,"id":"Q3448783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5edce3e7fad59ba97af62724d86b76fe568e822","datavalue":{"value":{"amount":"+0.9980257749557496","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":"Q5270089$59CAE378-E97D-4287-A70E-01FBDB4411AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce90d13d4e18b12fc2cb127f32b95c58d30a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23d4d45433d2d4fc8e82d5058a2274c75a02e9ca","datavalue":{"value":{"amount":"+0.8263933658599854","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":"Q5270089$DEF6B2BC-1DDB-4CBB-9CDF-48860E457E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f579c5174dbc904f2d81d8da1b65db3df333552d","datavalue":{"value":{"entity-type":"item","numeric-id":3304096,"id":"Q3304096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5322020574d8ea7a2581400392225fc236c0062f","datavalue":{"value":{"amount":"+0.8073729872703552","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":"Q5270089$5D2C7489-DF71-4DFA-9E41-A5A77F350A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3581eaf716abea4293c48d566083a3da47a0d47","datavalue":{"value":{"amount":"+0.8050091862678528","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":"Q5270089$5E9A932B-A24C-436F-AB70-974B992DF241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cf41f596b930f7a683c9f042edf9877d0c3bb2","datavalue":{"value":{"entity-type":"item","numeric-id":2800571,"id":"Q2800571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0539938ea6e8a3e6bbbb6499d9749f8d0a59bf","datavalue":{"value":{"amount":"+0.7858495712280273","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":"Q5270089$1D73F62C-04C2-443E-876A-3453E3DA02A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5270089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5270089"}}}}}