{"entities":{"Q4925995":{"pageid":6955577,"ns":120,"title":"Item:Q4925995","lastrevid":51750125,"modified":"2026-01-19T20:18:33Z","type":"item","id":"Q4925995","labels":{"en":{"language":"en","value":"Approximate and strong entailments in classical propositional logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6178344"}},"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":"Q4925995$3C803CFF-B56F-47C0-9C50-D42E4D953E86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93fc47c1f001bf0bc9614743f7555d7027055518","datavalue":{"value":"1274.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925995$E1B563AB-BDF4-4B60-9B31-EB017BFAFBF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96ffa8e7e4c7c6f29cf7624fd39a1b443b94d121","datavalue":{"value":{"entity-type":"item","numeric-id":726314,"id":"Q726314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925995$FAA130C1-59CF-430C-85D8-90FE9219D022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4925995$56DFE996-6786-4402-8E00-C105A9460D8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c42f984d06608ffecaa9a55907765aabe7f17f1","datavalue":{"value":{"time":"+2013-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4925995$F6FABC8A-8F2B-4B44-A91D-147359982DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925995$D43823A8-C85E-49FE-A7FF-439622B92517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f66a3c6f6c4263d812ea49e5394cac6ea83ef9b","datavalue":{"value":"68T37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925995$2287CF88-4661-4D64-B9FF-0346B7398417","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50708c7e9b25b3f561790eede717a68e8f6d8357","datavalue":{"value":"6178344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4925995$5DF1FB7F-F6E2-459F-9B03-3649A419A66F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925995$2F73F83D-64C1-443C-99B9-D235C62FFC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ee6ced4e53219bff0eef4eac20b3e0e11a052a","datavalue":{"value":"approximate entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925995$736F616D-F721-4258-96A9-AC66ABC1DE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23cdac78ec319f51079944b83b14d7f0eb6f77e5","datavalue":{"value":"strong approximate entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4925995$F04B1A8C-E816-4191-BB44-B39EC34165C1","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":"Q4925995$42AD0049-CB40-4E55-B398-F939F37E90A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"431af853237e8ca221cd0d553d6e9d09a42fa80f","datavalue":{"value":{"entity-type":"item","numeric-id":1759706,"id":"Q1759706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d9af19a307612ba90596a1c491cbb98acd06f9","datavalue":{"value":{"amount":"+0.8515165448188782","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":"Q4925995$37674981-09E2-4BD3-943E-20C14094FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afc10cacfa6aeec5aaebe6d374e665654fbb3e2","datavalue":{"value":{"entity-type":"item","numeric-id":5425146,"id":"Q5425146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3ad7c5abaf70f4bc39c3d4a9395efb2e81cd5a","datavalue":{"value":{"amount":"+0.7877417802810669","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":"Q4925995$E88354FB-27EF-4EBA-A781-36BCA2A629F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75baac77df6cae01f8f5ea0671905acc4779a125","datavalue":{"value":{"entity-type":"item","numeric-id":5453099,"id":"Q5453099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5837b8112f85572d9ab197e0e8aec4c15e6895","datavalue":{"value":{"amount":"+0.7842906713485718","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":"Q4925995$69885E1B-8C59-4011-8B84-ECAD0FF2F3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"414a2ff90cf917e47f1d0e2bd387392b6e95edca","datavalue":{"value":{"entity-type":"item","numeric-id":2369011,"id":"Q2369011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1307592b9df845eb8e20abe1460bb51acc5a8ac1","datavalue":{"value":{"amount":"+0.7765745520591736","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":"Q4925995$1057C3B1-2D27-4960-9ADB-80624C8B0F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04912cbe4e1c57421e29fc9bde75e1462141864c","datavalue":{"value":{"entity-type":"item","numeric-id":256484,"id":"Q256484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29f29a3b2f488a5d4257c13eba921a0ed5cc4f8c","datavalue":{"value":{"amount":"+0.7747929096221924","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":"Q4925995$0F064A10-4EBE-4524-A930-6A61F55A2C31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4925995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4925995"}}}}}