{"entities":{"Q6480653":{"pageid":13976780,"ns":120,"title":"Item:Q6480653","lastrevid":40260511,"modified":"2025-02-17T22:02:22Z","type":"item","id":"Q6480653","labels":{"en":{"language":"en","value":"deduction theorem"},"de":{"language":"de","value":"Deduktionstheorem"}},"descriptions":{"en":{"language":"en","value":"theorem"},"de":{"language":"de","value":"mathematischer Satz"}},"aliases":{"de":[{"language":"de","value":"Folgerungstheorem"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"c86979c09e7d689c5688dd5291693e7f2045f07d","datavalue":{"value":"/m/02fkch","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480653$25C46CFE-5145-4E0C-A1C8-3B0D5266DCF6","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"c8566a493116758818d5a26d859f86220f609b7b","datavalue":{"value":{"entity-type":"item","numeric-id":6480412,"id":"Q6480412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6480653$6EC6C9EA-0475-41E7-9479-C16B4479DD93","rank":"normal"}],"P989":[{"mainsnak":{"snaktype":"value","property":"P989","hash":"f62ffeac97b5e51a210ce15f65a38ff4775838e1","datavalue":{"value":"E_1, E_2, ... , E_{n-1}, E_n \\vdash S","type":"string"},"datatype":"math"},"type":"statement","id":"Q6480653$336EA105-A94D-49A2-B734-2E76235E1C0A","rank":"normal","references":[{"hash":"e095c1777d78c6310fee7299bfc6f5735414b4b7","snaks":{"P180":[{"snaktype":"value","property":"P180","hash":"0c2cea297152a3f12f4296fca42de18f460a63f3","datavalue":{"value":{"entity-type":"item","numeric-id":56456,"id":"Q56456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"snaks-order":["P180"]}]}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"680c6768e7defcee18d37ed84f2510a3329a1a16","datavalue":{"value":"60485416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480653$98A5A54A-5F2D-40EF-9951-CE65ABB312C1","rank":"normal"}],"P1195":[{"mainsnak":{"snaktype":"value","property":"P1195","hash":"4102192bc2652415c1ab79fb7108af0931c3ee8d","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480653$20688053-2DDC-4D05-ADEE-C7BE326CAFDB","rank":"normal"}],"P1192":[{"mainsnak":{"snaktype":"value","property":"P1192","hash":"302f06bb9195f647bc782ea142f93660871d71a8","datavalue":{"value":"DeductionTheorem","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480653$DE57680E-42AC-4146-BFAF-AC9F7BF04050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1192","hash":"302f06bb9195f647bc782ea142f93660871d71a8","datavalue":{"value":"DeductionTheorem","type":"string"},"datatype":"external-id"},"type":"statement","qualifiers":{"P96":[{"snaktype":"value","property":"P96","hash":"c6c0b4088b87b46c3ae330cd59472244c1b7e64f","datavalue":{"value":"Deduction Theorem","type":"string"},"datatype":"string"}]},"qualifiers-order":["P96"],"id":"Q6480653$22283EE9-0166-49E8-9A92-DA8058B0E928","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"ceb72e8792937a8b01ebf71f4977ee16c1bd3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":6480413,"id":"Q6480413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P34":[{"snaktype":"value","property":"P34","hash":"897e7608d12ed086dd74eb339efced091b10fb25","datavalue":{"value":{"entity-type":"item","numeric-id":56366,"id":"Q56366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P34"],"id":"Q6480653$F2349FF6-663A-4BF8-901B-BA3E134B9791","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1619743820d6acd93a92ed7dc3f7092c01b18232","datavalue":{"value":"Q1182249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6480653$510055FD-0FFD-4E67-B030-FEF5F0E100E7","rank":"normal"}]},"sitelinks":{}}}}