{"entities":{"Q1284706":{"pageid":1295456,"ns":120,"title":"Item:Q1284706","lastrevid":67445070,"modified":"2026-04-12T17:53:48Z","type":"item","id":"Q1284706","labels":{"en":{"language":"en","value":"\\(T\\)-resolution: Refinements and model elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279224"}},"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":"Q1284706$51BA37A4-7D11-4422-A98D-D10F8E0AF4D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a4636fff863463d7331ead97ac105da3a35d823","datavalue":{"value":{"text":"\\(T\\)-resolution: Refinements and model elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284706$2914EEBE-F815-47EE-B090-D3D0F17A053D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea009608e2b3cfee351a092831b39ffd80852d7","datavalue":{"value":"0929.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284706$F0100275-71BC-4523-BD97-70F6DA439D27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d82cddd292e6df2d83e3a20dd34c1b422b341ca","datavalue":{"value":"10.1023/A:1006170514174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284706$0ED546F0-E3C2-41E8-B8F9-6BF0A2B54964","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6915ece1ff0e3c04b1478b9a756ad0cf2910cc","datavalue":{"value":{"entity-type":"item","numeric-id":167067,"id":"Q167067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284706$F209E063-2655-447B-B2E5-E78509F3F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284706$0F7B248D-AEFB-4B0A-9EDA-83140BE4F60E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284706$93559FA0-B458-46CA-BDC6-A88A22436955","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49ed9b20a01c8d820e525b1531e507137ac7e4fc","datavalue":{"value":{"time":"+2000-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284706$5AE2B52E-842F-4550-B096-FA3AC412EFF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284706$03FE68C7-93E8-4E86-86C8-690D3C405045","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9b24b317ef866fff81c30ed01ce405f69d31a02","datavalue":{"value":"1279224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284706$9EE6BDA2-8C00-4EB2-8574-F3B5911420E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c254efdf64d7bcf7f1483ba3da9c9b00b8e2d41f","datavalue":{"value":"\\(T\\)-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284706$B015BF3D-EAFF-4C48-9AF1-9B439E75C92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b7093fdf5e7575f82d8a86f588658cf97057cd7","datavalue":{"value":"\\(T\\)-theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284706$1750D9CA-8D15-4EC4-8005-431A64C0EFCC","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":"Q1284706$B1717660-AB31-4B89-B758-29B75320491A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dbcf49c18debab03d143ace00485b51471abb2b1","datavalue":{"value":"https://doi.org/10.1023/a:1006170514174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284706$2D58C0E7-E145-48BB-B630-71870A21C9F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9345f64f76219dcea04be70d25eca57895e1c646","datavalue":{"value":"W1531105966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284706$33304449-8595-43F4-B636-812CB947EA79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86850ded6f45d5b101dc64f62f56e07fc50ca10b","datavalue":{"value":{"entity-type":"item","numeric-id":1914165,"id":"Q1914165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef1efb270ead187d9c3df49065d0359da3195612","datavalue":{"value":{"amount":"+0.802477240562439","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":"Q1284706$26B64221-435E-40BF-B3AD-5EB464A7F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684737d5c4ade30e8468a04dcd50cd1dbf75ec12","datavalue":{"value":{"amount":"+0.7861775159835815","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":"Q1284706$4DA25794-B5A6-4BCE-935E-27D6C814227E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38dc0bfd9f560f57a71a22978bb3165fec329c18","datavalue":{"value":{"entity-type":"item","numeric-id":1322389,"id":"Q1322389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22aa78d6e02d168046d9bab7b4f88ddceba4a9d0","datavalue":{"value":{"amount":"+0.7849099040031433","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":"Q1284706$A61B9E80-E84F-4E77-88BA-E743A58A05CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c4ea07e310e3f5d52e99d37306f548c348199","datavalue":{"value":{"entity-type":"item","numeric-id":4940937,"id":"Q4940937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111cb52f4d7589ba908ea0fdb5fe4b38895fde95","datavalue":{"value":{"amount":"+0.7701013684272766","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":"Q1284706$1A876F65-6438-4B47-A5DC-D1DCCBD558E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(T\\)-resolution: Refinements and model elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(T%5C)-resolution:_Refinements_and_model_elimination"}}}}}