{"entities":{"Q3997889":{"pageid":6027721,"ns":120,"title":"Item:Q3997889","lastrevid":55141201,"modified":"2026-02-04T01:41:39Z","type":"item","id":"Q3997889","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 49082"}},"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":"Q3997889$54A7BDF2-5540-492D-8F52-B2C7BC6F215C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01dcddc8a69041891770a1af51ec45ef531f3a08","datavalue":{"value":"0719.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$04BED978-BCDE-4514-AA13-50754AAD39F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ea6639d3f73d70d48269287aeef84434e58cd3","datavalue":{"value":{"entity-type":"item","numeric-id":621642,"id":"Q621642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3997889$E623875E-D834-4599-8D28-E01DB0A089AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3997889$6B6850FE-A2DD-45A0-ACC9-F3F092EC06C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$D242FB86-B132-43DC-B0FF-3CF6DA2FB930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$6E8B94F6-9F6A-41B4-9B53-92B79B4A662E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$D27E36AF-1A78-4F5F-9E25-061277CDE58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$2A32A2D2-CCB6-4ADF-8320-A79921D182C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$75743185-1EE6-44C9-B1A9-597E22E35E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9a3514a89c23e0ac2c3d927db97941ff2631de6","datavalue":{"value":"06E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$D48760D9-3AA9-4E3B-9956-084312819C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e8da6dbd60cbc1de17a0d793086279d1b6d8314","datavalue":{"value":"49082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3997889$775A7E8E-FA6D-4252-9507-3BD331937A24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47b80f81edfb74fb27059dc58689589e6cfb3ce","datavalue":{"value":"Boolean reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$B856B906-A0A5-4E76-A840-52B097B13218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2862b5b4ead0c1b92c361192588a098d89a7a4","datavalue":{"value":"Boole-Schr\u00f6der algebra of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$B3CDA997-B146-4EC6-AD31-81B02E03FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$EE48C7C5-2F77-4915-A183-FC8A64BFAF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf388dca54e28334ef8c64703b50d3b33c48aea","datavalue":{"value":"Stone representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$3037A1D8-EB1E-406D-9A91-7C2BDDA3CE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6924516bf70773dc8be7ac89910bc56a1f0498d","datavalue":{"value":"Boole's expansion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$4D759371-322A-4A5F-A40B-AD4CB22DE67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a15c16a22f868196a57d7f2c0a1bf3b2a9993ead","datavalue":{"value":"L\u00f6wenheim- M\u00fcller verification theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$27AD4AC0-5873-4326-A022-27A1BAC97DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ba9b57c8aa017016096d074e724eb0d87e7253b","datavalue":{"value":"Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$604D8B6A-A1FC-46B4-8A6A-69AE1E396F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$8930F9E4-1FCB-4260-9225-4B57BB70D5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb267c32aa43fc9243154769f70c4c21e0f3b821","datavalue":{"value":"Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$88F3322B-A65B-43C4-AD06-0CB27541CDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278ebca2eb252d194036203c92d5f7a84fe06d26","datavalue":{"value":"Blake canonical form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$B1D33718-72D2-43E1-94DA-1853CD373699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35eb487e936803ae6c1302ce2f7e7c7c03ee42a","datavalue":{"value":"Syllogistic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$5AB9893B-692B-4C6D-B6CB-A30808A314D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac4f1730b7e041d7b4d4ab25c28762fd83394bc","datavalue":{"value":"Functional reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$8CCEA7CD-E25E-4787-97E3-DFBD606AF349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee7e83d3d0fd0e4dcce9ec798084ac1b18c78591","datavalue":{"value":"combinational switching circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$5E96A49F-6F4A-4270-BF4E-BA419D201B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$66AAC6D7-504E-4F99-9205-2D8630133C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1bea48690e51dbfe7d4832aaacc034a37eaf0ac","datavalue":{"value":"loop-free circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$BA33E82D-69BA-4050-843E-487BC485C899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156dcf01564aaebfc931f71257bfbd9496970c9","datavalue":{"value":"software-tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3997889$6B676321-A4D1-4326-9A0C-8E99E89914F6","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":"Q3997889$00687BA5-EE79-4F45-9409-28B1069050A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d60502a9e0d1b1109d45a495bf39b6c8d22a61","datavalue":{"value":{"entity-type":"item","numeric-id":4419472,"id":"Q4419472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a182c92a1d40c0e5a4d72ff178a89f8350bbd88e","datavalue":{"value":{"amount":"+0.8747159242630005","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":"Q3997889$B3FA9F03-718B-4F7C-B841-61DB0009D285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad777b73a72d6b4b1ec3c320c91938d0bbf25b14","datavalue":{"value":{"entity-type":"item","numeric-id":5709392,"id":"Q5709392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c81c626239e3e9f5cfe0ed81b471f22f750f770e","datavalue":{"value":{"amount":"+0.8256722688674927","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":"Q3997889$C6469BDD-5F4E-4309-949E-701D4AD15508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9378263bba223aa6efa78cd271d0eabf4172bcf7","datavalue":{"value":{"entity-type":"item","numeric-id":4205391,"id":"Q4205391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67b8fdd898e44066d9d87c0496a7901e7ba0a10a","datavalue":{"value":{"amount":"+0.7962854504585266","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":"Q3997889$8D3F03C3-B697-4F26-BC80-7ACCFD770BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb00f339c2845107f9084d92c83792144fe8310","datavalue":{"value":{"entity-type":"item","numeric-id":3077976,"id":"Q3077976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"082a65bc367d8889526842741339162dfd6b4851","datavalue":{"value":{"amount":"+0.7836624383926392","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":"Q3997889$966E3889-ADA3-4186-BB20-B3E0B211E0D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3997889","badges":[]}}}}}