{"entities":{"Q808298":{"pageid":810146,"ns":120,"title":"Item:Q808298","lastrevid":64490970,"modified":"2026-04-11T20:13:50Z","type":"item","id":"Q808298","labels":{"en":{"language":"en","value":"An efficient procedure for theorem proving in propositional logic on vector computers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4209639"}},"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":"Q808298$CA3F0690-CE2E-4D49-A14B-8982EFD5703F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab938e9414182b89ad5272a2bb5b45e41f3f0740","datavalue":{"value":{"text":"An efficient procedure for theorem proving in propositional logic on vector computers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808298$57AA4158-6195-405F-8345-886FE025A240","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7161a3350a60e5285653408fe8f06bb656e859aa","datavalue":{"value":"0731.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$C6B01B03-D16C-443D-AD98-F5A2D519872C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6bc1972a4859cc6352f554871c15f5e60eff0876","datavalue":{"value":"10.1016/S0167-8191(05)80043-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$14B9C87D-5AFF-4C48-BD6E-B6A843C12F01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"710b28dd1432a94b675888c75c7af24f7a3c4f6d","datavalue":{"value":{"entity-type":"item","numeric-id":808296,"id":"Q808296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808298$CB3A9CE7-9930-4116-BB7D-7EB2F0064ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fec0f2d9f2c5bf885def4b12c4b04036f513df30","datavalue":{"value":{"entity-type":"item","numeric-id":808297,"id":"Q808297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808298$55D0D7D6-ADE4-45BA-BA04-93CEFCF69D8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eeac13f60c55bdb04ecb49274cc7b24a1688345d","datavalue":{"value":{"entity-type":"item","numeric-id":71527,"id":"Q71527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808298$1E3410E3-EC36-4AC4-AD86-69B6ECFA278F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808298$A72A20B7-580D-411E-8EAC-1306BEB767FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$EDFE056F-199A-4DB9-B732-9B4818DD3E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$26FF7D36-DF8C-4640-BFEA-7FA21BF99FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$32E6BB53-B869-47E5-B35F-0F8B3DF49242","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"104eb7f93f2ce44538299ed2dfc2b774f072a98d","datavalue":{"value":"4209639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808298$698FAF0E-7879-49B9-A9B2-43802822ADD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$A33947E7-C39D-4ED0-933C-87501646BBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5498ca3e7abb035a7212a6e68902ac2f3c0126","datavalue":{"value":"NP-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$8FC6B258-D550-4E7E-AA4E-5A987A4C8124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483be33e0a03ca55b68486d6a0c8259376689c16","datavalue":{"value":"pipeline","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$E4802B76-202C-403B-8ECD-04B0A52889F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7524eff3be377b3373bf1ae15aa61fe821e44b35","datavalue":{"value":"divide-and-conquer","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$267DF526-980E-4FE4-8332-F25E74E33385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f1988489a9da1a779f40760f51b79d3305b305","datavalue":{"value":"vector computers","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$224BA292-B1D5-416F-B063-7DC74DB991CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170c0b786affc0061b2055ad364d24126e211419","datavalue":{"value":"vectorization","type":"string"},"datatype":"string"},"type":"statement","id":"Q808298$D68DFB61-A973-4704-8646-28BB783A502F","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":"Q808298$491E26A3-3A77-4604-8D96-297279147E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9fe352bbbed5eca56bcaff3378ffebf7019e1b7","datavalue":{"value":{"amount":"+0.8502090573310852","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":"Q808298$8C5D3A66-390C-4BAC-964B-DFB661070B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab0e67545c3b2a8b127661821d16878f3e304c0","datavalue":{"value":{"entity-type":"item","numeric-id":1357089,"id":"Q1357089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3e49160f0dfd907ed1ef387c1c376cc3c2965a","datavalue":{"value":{"amount":"+0.7925622463226318","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":"Q808298$EA5650EF-4323-4DBE-936C-353283E4FE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"756a5dac736dd3fccbddd3ab945cae7b14654d95","datavalue":{"value":{"entity-type":"item","numeric-id":3489439,"id":"Q3489439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d44b1500af631b7b5b8062e6895f3bec1cc691","datavalue":{"value":{"amount":"+0.7660344839096069","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":"Q808298$8E8A34FB-E54E-45C3-8E9E-844A10FBF96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e88e048a538621a26aae1dffbbfee6482cac1e42","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"646d1cf9dabde8eba18361483271fa643431bc2e","datavalue":{"value":{"amount":"+0.7659878134727478","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":"Q808298$EB853ED0-7B81-4CB1-B584-32A13B46D4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0dbf6de875b2deecc322a14efb9e5b03609ece","datavalue":{"value":{"entity-type":"item","numeric-id":3204066,"id":"Q3204066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64006b79972e80d7cb10d31ab445e77888d3c9aa","datavalue":{"value":{"amount":"+0.76432204246521","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":"Q808298$8AC44411-62A7-4858-82DA-3879D58A5115","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient procedure for theorem proving in propositional logic on vector computers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_procedure_for_theorem_proving_in_propositional_logic_on_vector_computers"}}}}}