{"entities":{"Q1129262":{"pageid":1140011,"ns":120,"title":"Item:Q1129262","lastrevid":69707283,"modified":"2026-04-13T08:51:36Z","type":"item","id":"Q1129262","labels":{"en":{"language":"en","value":"An answer to an open problem of Urquhart"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190302"}},"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":"Q1129262$EEEF600C-ED14-46E8-AB24-704D00879213","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21ef355d3538d7c94049849dfc5b3e88a77e06da","datavalue":{"value":{"text":"An answer to an open problem of Urquhart","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129262$5C113F3A-4ECC-4B67-86ED-586749798FFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"541e4b1a360bbd9878737d1622fb5dbc3c0c10b2","datavalue":{"value":"0901.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$E8FF3877-FF9B-4F54-993D-6B267A1F938C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e1e61bf93173a4ac49363649a29f29841986264","datavalue":{"value":"10.1016/S0304-3975(97)00140-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$C078096F-5BD3-4DD9-BFF9-2CD6D03619B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$2B913F86-5B82-4EA8-B312-197B78D47254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$5EA1535C-4F4E-4149-8C14-D48308794488","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129262$171E3BFD-9F31-4B1B-9980-1495EA40521A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$AC4B5B48-6F68-4E2B-9FFD-FEBCA65C4D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$A59B150C-319A-48FB-9AC1-DC8BEE77D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$52B87542-12EC-492F-B43A-7BF83CED3767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a547969366e17d2534e0830e14797c1be6e6d60","datavalue":{"value":"1190302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$C4B66A05-10FD-4335-A4D7-C57B09ADC338","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$ABEBFD60-1425-4D21-B042-B4213E5BBF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aec01526d2d3b0a65db74199fe9fb685282baf2c","datavalue":{"value":"polynomial simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$0D608127-1193-440F-8573-AE4A83955276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$2D7DC8CC-BCDD-4B49-AB67-BFEA30AA5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$FADF8E1F-09B8-48EF-AC96-EDC45EB8E03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6521a761751e845cc90128f9142c6f7d1d6c8820","datavalue":{"value":"resolution with limited extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$F59D3F95-12EF-4121-9FD2-62B6EA9DA106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fa4521f7ec6ed8084356633aae3e2434bffba9","datavalue":{"value":"Gentzen calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$258E80FF-66B5-4579-A8D5-797EF6D0E9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c90bf4d59dc5f157bfc4eb4e31a367578dd612","datavalue":{"value":"analytic cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129262$858D6571-869C-44BD-AFD1-DCAF7E973145","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":"Q1129262$82B9CCB0-B8DB-49FC-80E5-AF4B6AF153AE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$BB3B3530-4C58-49EF-B7E3-C8E0933A57C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b17ca5304b07e27db69bbaad41f776f31427c7","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$FA259985-521C-4365-93FD-850EDE5930DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c904ee72aed10f9210e9e7629acac3859a983c75","datavalue":{"value":{"entity-type":"item","numeric-id":674761,"id":"Q674761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$B1D89C95-BA7E-4A07-8FE7-CA7F60C5F570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$1878B32D-FBD1-4072-B536-4CFE201620FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff1c9576a9af1e44009a9ef9a0f7f22e091829d5","datavalue":{"value":{"entity-type":"item","numeric-id":5610986,"id":"Q5610986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$6B289C0D-CB81-48C2-B09C-BAE816759831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0591701a79dc243f0efc3406b890d83907ab0bce","datavalue":{"value":{"entity-type":"item","numeric-id":5685059,"id":"Q5685059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$F7A64A7F-981B-4ACB-BA54-605B1CA40C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c88ba7ec62a74a120649025590522149f9c71c7","datavalue":{"value":{"entity-type":"item","numeric-id":1263584,"id":"Q1263584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$461F2668-B5DA-41A8-9745-CDA0C8F7FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129262$54FE2E02-468E-456F-8657-688BB46E49FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c8ccf779506f8292546a838f42b03d446c39683e","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(97)00140-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1129262$B6EA2FA0-AE56-4E22-943C-7B3AB2A82ADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e59c461838a0cb5f89ba2a98e4b868cd9e4774fb","datavalue":{"value":"W2085900785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129262$4803080E-DF7A-4EEB-9909-702CE165405F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c99fdb25a30852eb40a5f03f243412a042dff6","datavalue":{"value":{"amount":"+0.7443274259567261","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":"Q1129262$83DBF8EE-D0DE-4BDD-94B2-0BC8871F807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d096b94fda2a0ccefd424b9e7dc5f320dbc9f1f","datavalue":{"value":{"entity-type":"item","numeric-id":1353988,"id":"Q1353988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d0de2efc10adeb7e7c51ede4898422214373a5","datavalue":{"value":{"amount":"+0.7350212335586548","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":"Q1129262$D0A2A556-A17A-4839-A757-4F919B13D42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1760c6c229968d3870db79feda73bcddcb78d92","datavalue":{"value":{"entity-type":"item","numeric-id":1177033,"id":"Q1177033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858363996bc746c554f038ddaa87d0795ad1ea35","datavalue":{"value":{"amount":"+0.7253482341766357","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":"Q1129262$4D737B99-C417-44CE-AAD0-9D5851B36636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1680949772d1cee713b5366b829b2f01e227fa7","datavalue":{"value":{"entity-type":"item","numeric-id":3096088,"id":"Q3096088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07edb3799e0139e0d751cf1afc6f2dc3076f9e4","datavalue":{"value":{"amount":"+0.725149929523468","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":"Q1129262$FD9D5F5D-5CB4-4EED-AB47-8DE2DE7137DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An answer to an open problem of Urquhart","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_answer_to_an_open_problem_of_Urquhart"}}}}}