{"entities":{"Q1333173":{"pageid":1343912,"ns":120,"title":"Item:Q1333173","lastrevid":68490270,"modified":"2026-04-13T00:03:19Z","type":"item","id":"Q1333173","labels":{"en":{"language":"en","value":"A new method for the Boolean ring based theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 638325"}},"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":"Q1333173$13258884-1161-4627-9F76-C3E5E6431EF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f70f1f7de830585dfaed9f9de500b1433adbffe7","datavalue":{"value":{"text":"A new method for the Boolean ring based theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333173$2C948DC8-25DF-4959-8E2A-99AAFFB4F33A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4607ec14cfd98fbd007a47ffc71e38cb3637bd4","datavalue":{"value":"0860.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$44182CE2-1D5D-489B-9DD6-261D20D2B456","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":"Q1333173$33DD9AE5-6FF1-4DC5-9685-16D46C3FD86A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bc48ff7272712d3abc20a4d87040a18a4c3fff9","datavalue":{"value":{"time":"+1997-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333173$55CB33CF-512B-4F98-A374-7CAE3FFE4B80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$49768930-5EFF-4B65-97F1-8213A57F4041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$EF765E5A-E1D7-43B2-A0F2-7725439DCEB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6035f2311b6e87ea6587e0533312822cdb3c966f","datavalue":{"value":"638325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$CDD5C9F3-FF7F-4969-B334-E074AFE014EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4fb1251b46e3d52d5d46bfcc6639efc5767e49","datavalue":{"value":"\\(N\\)-strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$D00C718A-A409-4903-A585-2B43FE1608D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a313369d6da90dd1bef2143dee22ad776773a0ec","datavalue":{"value":"first-order theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$20F30662-FEDE-4412-8694-FCA024829632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faba6bcfd66af8cfc3c14e3a7a35f43ca368079a","datavalue":{"value":"Boolean ring approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$E8E3EB75-7D67-4EB2-9B44-9D9501EDC68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$F0F78F89-986F-41C0-A1B7-E71F9B9AF387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfc1c912dbc1f534d35dfe4c7b828346e80b5fd8","datavalue":{"value":"reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$8464FB21-EDFD-4AE2-9B11-8A5D25F7F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34faa57811b42c7ef4e4a37c6ce6bdc7e8be0ee8","datavalue":{"value":"semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333173$079C2A3D-B397-4160-ACB5-A1F9FA829134","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333173$34BB6155-7421-4F70-B6DA-D7D93E7BBA84","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":"Q1333173$2A876C7F-55C3-44B9-A458-63B5583C5CD6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10851d373efd253d64314d685b24d0cbd533c7ed","datavalue":{"value":"https://doi.org/10.1006/jsco.1994.1011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1333173$09617A07-9EEA-4C38-86C2-3157775A4586","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d800e221a2a7f5d8b8a981b3419bdedddb59b69d","datavalue":{"value":"W2053515248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$75EE08AB-29E9-4011-8B30-F3DD3BE042D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a98127001b4eb23d2ae7a2c451ea5b86eab5744f","datavalue":{"value":"10.1006/JSCO.1994.1011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333173$D6657558-10CA-4525-880F-7A8351D52CA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93d096a65db3336b7d8e636037731ead644dad76","datavalue":{"value":{"entity-type":"item","numeric-id":1272612,"id":"Q1272612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aac1c05199368c9d96754ad2a11afd62857446a","datavalue":{"value":{"amount":"+0.8526027202606201","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":"Q1333173$C19637FE-D9E5-49D7-A4F4-593AD195745A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f4cf6386ad01c3a55cb29c5783261d8f2dcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1579733,"id":"Q1579733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3769b82da2f829cb7ebbe25c107d9a47e5aa0e71","datavalue":{"value":{"amount":"+0.8397939205169678","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":"Q1333173$E44FD194-A367-48AC-9E66-C953F5757EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd992a4ea49d90c3a3d4107b2bd75678de75673","datavalue":{"value":{"entity-type":"item","numeric-id":3703311,"id":"Q3703311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346987a84cf045cc00f4e842e5ed1fab68479c66","datavalue":{"value":{"amount":"+0.7720193862915039","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":"Q1333173$E232FB9D-1ADF-46F4-BACA-C29D4312C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816c9a0df76b51fe8c12d3110f1fabe3069a190e","datavalue":{"value":{"entity-type":"item","numeric-id":4841300,"id":"Q4841300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f874bf35af1b71f1b7b9572ce2c7c294d0ecf6c","datavalue":{"value":{"amount":"+0.7709233164787292","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":"Q1333173$68B6023E-A13E-4753-AE41-F9F3F4161306","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new method for the Boolean ring based theorem proving","badges":[]}}}}}