{"entities":{"Q896919":{"pageid":898767,"ns":120,"title":"Item:Q896919","lastrevid":52416458,"modified":"2026-01-22T14:37:16Z","type":"item","id":"Q896919","labels":{"en":{"language":"en","value":"Soundness of \\(\\mathcal{Q}\\)-resolution with dependency schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521254"}},"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":"Q896919$75E4D5D8-CEA6-4D39-B9E3-F1A5375596F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ba9c45cd3bdc4ea0264c912c1cb48fe2d819edf","datavalue":{"value":{"text":"Soundness of \\(\\mathcal{Q}\\)-resolution with dependency schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q896919$CAFFB63D-7A30-4158-BF7F-9002E2263967","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f0ff30f011bc79272eceb16f5997d09de82c9db","datavalue":{"value":"1332.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$740D3949-23F8-4D5B-BEAC-B64F65D76362","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea7245a8985e7729dbb2100021fb8a2a32efed15","datavalue":{"value":{"entity-type":"item","numeric-id":287385,"id":"Q287385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$E349A7FF-D925-4AE1-91E7-2D6BF1B0E12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$D3191D6F-A465-4923-BE50-DF4D045DD707","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":"Q896919$D6376BA0-B431-4A60-B6EC-60FB0C82CC16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb56a7ddf3ae6dd98b64268c91e50a5f39b77eda","datavalue":{"value":{"time":"+2015-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q896919$792779D6-26B6-4301-B090-042B2D255EE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$B2EE0024-E6BF-4C64-ADE5-5F4C5756601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$13DCF631-7F85-4779-9A16-529EEBAFF093","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d0da4213d65af5bb51643f126f6aeca4b95c061","datavalue":{"value":"6521254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$36848449-E773-4D18-AF2A-9D35078D5B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q896919$7649E669-3BB2-4FD6-A372-0EE009789D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1836fd79fad4036323f2d52f5e7c9c090b6fb751","datavalue":{"value":"qbf","type":"string"},"datatype":"string"},"type":"statement","id":"Q896919$C82F1A24-1926-43D6-AA78-A66B6E30BCD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122c30fc07ae66ffabb07ca044970c876c7be6ee","datavalue":{"value":"\\(\\mathcal{Q}\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q896919$5A175034-94E0-4802-87FE-1E42474CE941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b7c35f031fefb7776ff4b9cd725e564979be59b","datavalue":{"value":"dependency schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q896919$78DB79C1-1E81-4C13-978F-D32926A6E7D1","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":"Q896919$C1E58593-9A1F-44E8-887B-680ED5989591","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f71284d3aca40576a581542e0d212bf31a42c5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.10.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q896919$17B3D612-FE60-41D7-BB40-DA7E2220BF3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd8028d0b6f27ad5edc00b6f76a69c65de124702","datavalue":{"value":"W2191125414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$91F6BF46-EACC-46EA-8B4E-AF48D0756125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f547f09f2d67c99fd8b8b432f051c8e240915b31","datavalue":{"value":{"entity-type":"item","numeric-id":2435315,"id":"Q2435315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$F972EC2B-142C-4CC5-ABD8-20D8E185FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$C02F4F93-33A6-436A-944C-EC81F28F09B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c980258a2b52c992d9a0c35b22f3411058f7ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4930586,"id":"Q4930586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$26618602-3D7A-427D-ABA7-DF9087EBFC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$93126519-0404-4258-8240-24E6AC18337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb2002aedbf2ef2b94f7cf9ba9a2a7aef436cd5","datavalue":{"value":{"entity-type":"item","numeric-id":3566747,"id":"Q3566747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$FCF7EC00-CE37-424F-BF84-473CAB37DFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$65F93C9D-7A25-4582-A8E3-5E9018FFDD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$2775F178-E1A7-4589-9FD1-BB0BBDE927DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$F7DFDA5A-5100-4C87-B556-557C24F46C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$CB78E655-B395-4976-8A1B-86B6AF6138DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"002ee549d8bb57e5e1846db9b011600108709cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3192183,"id":"Q3192183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$6B7EA237-7520-4F04-B1CC-AEE8D2EAFC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c9dc9e7a7e7ba60691fd7bebd8fdd9e32563f8","datavalue":{"value":{"entity-type":"item","numeric-id":2922598,"id":"Q2922598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$06838B36-C256-4EE8-8210-9AC1C2B10E09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c88d50fafd6c2eb4794d29690488c214748da9","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$808C96A1-C49E-4AB0-B857-09A9A18DB72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f3bba5c5cfdb1a4354b8b050debbbdb9e016050","datavalue":{"value":{"entity-type":"item","numeric-id":5948765,"id":"Q5948765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$7BC13A22-B3CE-42ED-B23B-A81FECE1C9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a756ebbce749ebc3a2ca6be88a5a3d420070fef","datavalue":{"value":{"entity-type":"item","numeric-id":5505578,"id":"Q5505578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$02DE13AC-9024-4FF9-ADF3-B8680800ECFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a856eabfd48ba25e148be4fb9c4387f0a4d3d7b8","datavalue":{"value":{"entity-type":"item","numeric-id":1040783,"id":"Q1040783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$E1046181-5552-4850-8EF9-83A4D268AF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58826a8b01814b8363ea979157afc0f35550e4da","datavalue":{"value":{"entity-type":"item","numeric-id":2843322,"id":"Q2843322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$1E87413C-E237-4181-8089-F692E8AF39ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4a6b652a56cc97a0cfb61529d9b614d8a0988c8","datavalue":{"value":{"entity-type":"item","numeric-id":3169452,"id":"Q3169452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q896919$4FCFB7E2-25D0-4E2A-81CA-3E4856F3EC68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8921279057f9416303f03027648f6519013642f4","datavalue":{"value":"10.1016/J.TCS.2015.10.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q896919$81E1CB9C-E805-4480-A53A-02C846505B7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ecc6b6949aea32936b478ec194782c98455988","datavalue":{"value":{"entity-type":"item","numeric-id":3192076,"id":"Q3192076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d13c8eefdebb6d7317dc31be7e3ceeacc5fd9b23","datavalue":{"value":{"amount":"+0.887392520904541","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":"Q896919$AE6E5724-BFD9-485C-924A-7C2BFB52703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcde5f4e4a2171300e4cab254f7e5cb783126da","datavalue":{"value":{"entity-type":"item","numeric-id":2417950,"id":"Q2417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fd756fdd8a4837ece1aadc455b6cfc42cb00f9","datavalue":{"value":{"amount":"+0.8732432126998901","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":"Q896919$8B6C19A0-B921-4177-B098-126FFF19E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac5c2ee4c3f509aa1a1ed0bb37051ec4ca9f5275","datavalue":{"value":{"entity-type":"item","numeric-id":2323446,"id":"Q2323446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbca21f0904c903a0b789ac18c946c3f1a315d93","datavalue":{"value":{"amount":"+0.867411732673645","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":"Q896919$FE4177EC-3A9F-4FE8-9EF1-4B46E31BDF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487fdb88b4b8dfa48031ce258c66063ac968c424","datavalue":{"value":{"entity-type":"item","numeric-id":2818036,"id":"Q2818036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34b5d5fdcbb4d7b75440ffbb5709af00f3610a04","datavalue":{"value":{"amount":"+0.8568556904792786","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":"Q896919$C0725273-2CE3-42B3-878F-A8878B7FE6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51fe1cb1fbd24622f7496858e04c2c57573b6837","datavalue":{"value":{"entity-type":"item","numeric-id":1680262,"id":"Q1680262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e37221c9173f92acd747cd70d644cc5bc1e43354","datavalue":{"value":{"amount":"+0.8324083089828491","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":"Q896919$5B072BA4-0809-4BA2-AEE8-4924F72C232F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:896919","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:896919"}}}}}