{"entities":{"Q1897558":{"pageid":1908300,"ns":120,"title":"Item:Q1897558","lastrevid":69073929,"modified":"2026-04-13T04:28:09Z","type":"item","id":"Q1897558","labels":{"en":{"language":"en","value":"Resolution-based theorem proving for many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 792837"}},"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":"Q1897558$40604D02-4816-4E34-A1F4-A7F97CBE5110","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"868ddf483fc9b8cc984603ec1881aa460bf287af","datavalue":{"value":{"text":"Resolution-based theorem proving for many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1897558$24823852-F565-4011-8724-5A9399A11670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7ca5947e3494feb029c3a750d0ad411f39bf49d","datavalue":{"value":"0839.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897558$3CE1BABE-A6B5-4C6D-A04A-A0A354F6E807","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897558$80E8431A-8CAC-4A3A-B78A-6DC1AB1F94E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897558$A7F75C21-DF8B-418E-A0C3-0EDF10BDE3CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897558$48951815-EDC1-4021-A9FA-BC31C9097F5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9205536066316df6a0514e17b8a48b30b4f3c56","datavalue":{"value":{"time":"+1995-10-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":"Q1897558$1CE7F841-1F6B-43FA-B3E8-6C3BC4D21F3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"149e3633f899d7aeafef98af1dad5db9e015bef4","datavalue":{"value":"https://semanticscholar.org/paper/90ed51a3e9520af42dad56317bdc5949f6e9ab34","type":"string"},"datatype":"url"},"type":"statement","id":"Q1897558$9BE8AE64-7B8D-4896-A50F-FA5788DFEF95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897558$18478B36-481F-4F12-8B38-5A43645A73B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"043a1ee4f168ed41916576ce0695b6341a0fce68","datavalue":{"value":"792837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897558$3F42EF44-BDD4-4177-A96A-AB753FA1D103","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897558$BCCFA15D-3FA2-4CF9-9D4D-FA799D68B04E","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":"Q1897558$F1B91E98-40B7-4947-9644-4D9ACA39093B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f8c4e1a94bb5d89284031521af88802461b87c6","datavalue":{"value":"W2076410236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897558$104E79AF-2A3C-45D6-8264-C84D9373D93C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3277b9bac59e05f8f209734fc61a8e3ca57586a","datavalue":{"value":"10.1006/JSCO.1995.1021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897558$749E9F23-A36B-4009-BFB9-92459FE0A92C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e5bb7ea79d58c5271f1615cc3d8d9d8d59fdb0","datavalue":{"value":{"entity-type":"item","numeric-id":4255505,"id":"Q4255505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3baeceee1b31b48dc4509813a0b261132d16a2","datavalue":{"value":{"amount":"+0.8997914791107178","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":"Q1897558$624729C5-B30F-46AC-91C3-2A2BE9B1A08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361fa69342d806e507509ca32c1d5e2afb5b7ce1","datavalue":{"value":{"amount":"+0.8903887271881104","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":"Q1897558$90FD1B3F-09B5-4F60-8DFB-0045EC03652B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db453cf8548b5472a0f96e220cc76294e6cf410","datavalue":{"value":{"entity-type":"item","numeric-id":4544342,"id":"Q4544342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bda3970adc72d9db13b5f0f458f714a747e7baf","datavalue":{"value":{"amount":"+0.8735170364379883","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":"Q1897558$81E4F53E-3BD7-43B4-B2F8-077432A9A40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778e3380839cafff1f1a1f4aa5d3370b75847bc0","datavalue":{"value":{"entity-type":"item","numeric-id":4503916,"id":"Q4503916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc48b80464fe75882542ab2509d3868f8fdd6b47","datavalue":{"value":{"amount":"+0.8723099231719971","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":"Q1897558$F78616DE-7663-4B8D-AD3B-303572F10322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc47d5d7bda03aa5f81bd804c6f977624a87a40a","datavalue":{"value":{"entity-type":"item","numeric-id":4289327,"id":"Q4289327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca69c12e81dd5116be6fa4ba8bd142b2ce2aaa44","datavalue":{"value":{"amount":"+0.8547305464744568","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":"Q1897558$C435F73D-B0EE-4A36-BDA4-6630EFDD64A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution-based theorem proving for many-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution-based_theorem_proving_for_many-valued_logics"}}}}}