{"entities":{"Q5015597":{"pageid":7045174,"ns":120,"title":"Item:Q5015597","lastrevid":91101191,"modified":"2026-06-04T22:15:42Z","type":"item","id":"Q5015597","labels":{"en":{"language":"en","value":"On exponential lower bounds for partially ordered resolution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441855"}},"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":"Q5015597$1E19FA82-75A4-46CA-8F43-8EF6CEB168FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42893696b4f700e0c25bec61fd206352708c1034","datavalue":{"value":{"text":"On Exponential Lower Bounds for Partially Ordered Resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5015597$3EEEF0DB-A96C-4760-ABF3-BEC6C383E8F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a645f503fa9583a8da31a857c6d0cd917f3a0f40","datavalue":{"value":"1484.03121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$2CF1BC56-BA83-44A5-A973-C8444856558F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3b110a5a6ee67c1328aa3d42a3e66bbd3b9b69a","datavalue":{"value":"10.3233/SAT190110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$3FAC66A6-FE92-47AF-B3E9-06066D196B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$430194B4-F242-499A-8EAD-69DC2D32646C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8ef780f8c191fed22e1ac9c059ebec4d3cf7c73","datavalue":{"value":{"entity-type":"item","numeric-id":5014281,"id":"Q5014281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$21671861-7312-49BA-AE2B-6D9CE6BA7DE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179d64d567eb65d7ced64a9cbb5733ee98b610d6","datavalue":{"value":{"time":"+2021-12-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015597$17306895-1BB2-4C77-8CC0-368767D7E10C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$738694AF-E0F5-4AE0-BB37-79740DFDBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$9CEB2D7B-902A-4B39-A6CE-45B3561CBF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$F1B2BC01-32D9-48E9-89B5-CB6822536624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$DE9D6DE5-A077-4BCF-9472-ABEDD2DF5969","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a01ab591acad460d65f2488618cbb4d6f31cce9","datavalue":{"value":"7441855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015597$B11EA989-B560-4ED3-B1AB-F8124B041559","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015597$B485EF2C-26F7-4582-893D-67804346D1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015597$3CE9991B-C36B-42C7-8FC6-250F9F44A6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"769553afb92ab455d529157fa20c972b6c443256","datavalue":{"value":"resolution order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015597$85CBF707-14CD-472F-8C0E-767E67D8A884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5015597$42FD39EA-598C-44BB-97D3-71611AA374D8","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":"Q5015597$30EDD0EE-9CD8-4E18-81FB-1A1B63BE28AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eb460d58931676e51733807df783912964924b","datavalue":{"value":{"entity-type":"item","numeric-id":3002781,"id":"Q3002781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$2AC05426-C16C-47CB-B832-90E7F09C2A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$5E196398-9F82-4235-A602-DECD620D77EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c9f74c9e2f323d6a6a8fb50accb2001547c77d","datavalue":{"value":{"entity-type":"item","numeric-id":2954985,"id":"Q2954985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$F675CA94-6B1C-41DE-809F-7EFAC1BD9063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e846b8bdb707b89fe4e8a66905e75d0802e8ee3","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$1DE3E4C1-3B76-47FA-AA2D-CD5A890B6926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$D74C8D1E-151D-41B2-8E57-25824FEE6E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a35cc55e5b10a424a85f3ddcd5c540cf5328ff0d","datavalue":{"value":{"entity-type":"item","numeric-id":1249435,"id":"Q1249435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$66EDFE98-88AE-482C-934B-93CBA9AD2A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadf3e656c0b2e9d5e437c670af13fc616dd67f","datavalue":{"value":{"entity-type":"item","numeric-id":1353991,"id":"Q1353991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$5F2FB8A8-0917-46DE-90AC-1FB7896B6E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e209e4fa3ae3f97cdbdf801f4c481dca6413fa3","datavalue":{"value":{"entity-type":"item","numeric-id":1185013,"id":"Q1185013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$FB7E5622-831F-4806-9A79-729AEA87A379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$544302DB-6BB1-4C62-BD87-4E68977709EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$3B032747-5446-41FB-AEB2-688993D63C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ada2169390287e46614ff3c94e03cfbf17c13e","datavalue":{"value":{"entity-type":"item","numeric-id":2272157,"id":"Q2272157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$BCBE622F-6964-4185-96CC-EEC854F49D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572479d3b8b7709f8c587a25560e37624aaf5a9a","datavalue":{"value":{"entity-type":"item","numeric-id":812394,"id":"Q812394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$49C01CE1-613F-4531-94CC-1A6EC24A5775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$F4D56299-EBA7-4F5B-A60F-EA7CC48F0362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dbf5d4c6cedd5848e03816494729378cde53a8e","datavalue":{"value":{"entity-type":"item","numeric-id":2551698,"id":"Q2551698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$71AD53DE-D45F-401D-9481-9DBF8AB7B8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$F5BA5F5E-5B91-46FD-BFDE-71F3A1FFEE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015597$DB012E48-CA3E-4993-A9CC-071C88295040","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":"Q5015597$49D38D2F-DD78-47EA-9B26-FB669348D978","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8480a23801b3bf7d1a9a627a353b0881ec4a867","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae8a26a59de1c985ac38990b3c01510390f0778","datavalue":{"value":{"amount":"+0.7549936175346375","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":"Q5015597$7C5BEC46-FB58-44F4-95D0-0C4230E4C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0f334034e73d1df3571f104eb7ff7a1593c177","datavalue":{"value":{"entity-type":"item","numeric-id":2706120,"id":"Q2706120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be4b09e3ceec07f8bcf198270f41bc62fe165002","datavalue":{"value":{"amount":"+0.751747727394104","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":"Q5015597$F17ADC38-992D-43C0-B5A6-FCA1DEA0A798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dbba60b1780eb41be416d194bbcc58007ea4791","datavalue":{"value":{"entity-type":"item","numeric-id":3637163,"id":"Q3637163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"399dc981d1334a8f4f61dce62e3597590028e8c2","datavalue":{"value":{"amount":"+0.7374883890151978","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":"Q5015597$5B3AA1E0-61F4-4F5B-87B7-2A82F4DB5467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29568667d6424b287c6206f9b1baf4d1ee7e6943","datavalue":{"value":{"entity-type":"item","numeric-id":2819584,"id":"Q2819584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055cba9d7133c5e8d13298d8ed4a299ed3c58bed","datavalue":{"value":{"amount":"+0.7342082858085632","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":"Q5015597$45786002-AC51-4230-8673-26B2C3BD8B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"507b3bfe8aab15501c87e7358c5f5c7db473c6f4","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2df6d5d087fa04589dd1a5b1e3d7fc131d38213","datavalue":{"value":{"amount":"+0.7317287921905518","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":"Q5015597$4DF3F7E8-7918-4C1C-A2F6-20F98A9AA613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On exponential lower bounds for partially ordered resolution","badges":[]}}}}}