{"entities":{"Q1579733":{"pageid":1590473,"ns":120,"title":"Item:Q1579733","lastrevid":74128683,"modified":"2026-04-14T18:31:20Z","type":"item","id":"Q1579733","labels":{"en":{"language":"en","value":"Linear strategy for Boolean ring based theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1506998"}},"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":"Q1579733$180306DD-A150-44B5-82B2-83ABB774A389","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abada2f9af3c24fd682dec63163bc96286bf3dcc","datavalue":{"value":{"text":"Linear strategy for Boolean ring based theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1579733$2156ABBF-1F0D-45AF-B2BD-178B61C2E90D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0adab3c39ba3ee9e66c9be58e7385704c3bdddcb","datavalue":{"value":"0958.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579733$34A10302-6C00-4DC4-B0EA-B2E9A702F6DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eedc0b62a6e16a73076354c5ea87837d67cf720","datavalue":{"value":"10.1007/BF02948814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579733$FE0365D3-F198-441E-B6DB-4938B15DE2EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9908da4c0d15bb70ccc4f3e4cf3d81e70c4d2006","datavalue":{"value":{"entity-type":"item","numeric-id":201220,"id":"Q201220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$D42C5A87-F9DF-45B5-AE5C-9269DDEF730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61487ca0be7cb12dc2200ffb1f20fde1d372e346","datavalue":{"value":{"entity-type":"item","numeric-id":1568231,"id":"Q1568231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$29AF026D-6F42-4A27-AD30-F01B01C00BBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$9C43B5AF-268B-4C4D-B8D9-494A609C17D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a003edfcec895e809a385e212d589ca0bbabc28e","datavalue":{"value":{"time":"+2000-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1579733$BE77BFFF-73FD-4A7B-81F2-07A43F331DDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5dc84a755c71b4aa85555f22565ecd2181496cbf","datavalue":{"value":"Two inference rules are discussed in Boolean ring based theorem proving, and linear strategy is developed. It is shown that both of them are complete for linear strategy. Moreover, by introducing a partial ordering on atoms, pseudo O-linear and O-linear strategies are presented. The former is complete, the latter, however, is complete for clausal theorem proving.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579733$0151E981-C081-478C-BC80-E1989FFAF511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579733$A3662D7E-7A0C-4BEE-81ED-08351B542E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a79e7e69dc283dcf24ae299fd2372b434df631e4","datavalue":{"value":"1506998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1579733$B30B6231-8A21-4886-8040-E9C427FBF790","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579733$A1084485-59BD-428F-A12A-FEFF0AE49D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a8387c88a33b804751ee89e9f8712ef76782979","datavalue":{"value":"Boolean ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1579733$3B89D994-ED61-4E24-8404-1CBC89200AB4","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":"Q1579733$A0754454-01FA-4B35-B065-DAE3C6F5AE75","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$6C5C738C-A777-4CED-840F-3E556AD6D7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7814c93fd14c472a24a528c1ff4a97ba1b2c10db","datavalue":{"value":{"entity-type":"item","numeric-id":802317,"id":"Q802317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$9F05A17B-4FEC-43D2-A51E-6C5BBE9D3EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae422186a92e736e4c425a4929cdfada9920423c","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$62731AB7-02F5-42C9-9532-1D2ADE860B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$B3672319-F81D-4E02-B715-61B8BE637BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$5C035ECB-7679-4D5D-848A-E6E639EE003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d146382b552a3b0506fc71f202d156ee09cae33","datavalue":{"value":{"entity-type":"item","numeric-id":1331227,"id":"Q1331227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$C2CB9F14-1B7B-49F3-BF03-673D48A26E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$EBDECC4A-8759-47AB-972B-56A632432F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b566e7dc6f7d3aa1104d20fb2fc9851b4c9c70","datavalue":{"value":{"entity-type":"item","numeric-id":674715,"id":"Q674715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1579733$1CA2CCF7-1642-4C38-B0F4-5AF397E8841C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d822adb1baf62c5000a89959ae5eead739517938","datavalue":{"value":{"entity-type":"item","numeric-id":1333173,"id":"Q1333173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c39aed201118a80f5cfea45fc92da119a2fa5b5a","datavalue":{"value":{"amount":"+0.91276217","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$D6006E55-0F03-4F98-8F95-E937375C9216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d754cbed912eb7eef6a5473f5c698589e9db67e","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1871195991d91ac6a08f0e53c405c06301f0e201","datavalue":{"value":{"amount":"+0.88464284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$99FE7708-746A-4CA3-AD93-734C0533DEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd68b9486f4064fa537e8ed50615f4b651750c","datavalue":{"value":{"entity-type":"item","numeric-id":4217606,"id":"Q4217606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56c52106606c3257cb15420c92a95e1942a98d99","datavalue":{"value":{"amount":"+0.873022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$ADC02867-09D6-4B45-92E9-200083E409BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181c7c870ef6785e31b0e6508f57bb8f8d4d6d91","datavalue":{"value":{"entity-type":"item","numeric-id":4501142,"id":"Q4501142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a78dd9c16b685879ff8a1e26ef6b841b560b625","datavalue":{"value":{"amount":"+0.86958283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$87490952-12CA-470F-938C-A557BA32F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7557b9144f417c68fd7e7cfe85fae331a5a71f0","datavalue":{"value":{"entity-type":"item","numeric-id":5387914,"id":"Q5387914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6d5e607a70edfb3a291706cd09d8df3893c9be","datavalue":{"value":{"amount":"+0.8640635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$258F7304-498C-444D-891E-B7A04644798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4b4e126c2d0ced1d7e3dcc88e4ffcc7396c754","datavalue":{"value":{"entity-type":"item","numeric-id":4244309,"id":"Q4244309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05f2097aeafa857d365d1f706d76c4bccc988ba","datavalue":{"value":{"amount":"+0.8621422","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$1D721DD6-104C-4117-8461-881B68E6B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ea9ea97bb7846260f757a95f58448e4f70cf2","datavalue":{"value":{"entity-type":"item","numeric-id":2974793,"id":"Q2974793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e126a5caecd15a9b8a368060e0b1420a6ff2373c","datavalue":{"value":{"amount":"+0.859546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$8DEA2D14-7051-4A00-9AE7-43DE0DC3A7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06857069e8fa968485820009edef16be22c878ce","datavalue":{"value":{"entity-type":"item","numeric-id":1070254,"id":"Q1070254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5afaae4f76ca63bc595d00de4485ae92556d1e6","datavalue":{"value":{"amount":"+0.8579507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$AA4ACA48-D908-455E-BC08-3296C279B0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43729fe539971fdf1aa681af41ce8d0f28afde","datavalue":{"value":{"entity-type":"item","numeric-id":2852038,"id":"Q2852038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047461e28c185b7e100915617e73ac2d4bbb5065","datavalue":{"value":{"amount":"+0.857428","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$F829D0F1-7C96-4471-8BC5-4642EA46B4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b8f364d0ce24d4957868e5fc73a88e93d220e4","datavalue":{"value":{"entity-type":"item","numeric-id":3408152,"id":"Q3408152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90a7fc5e156e01e376ccc7814922b4bfb950856","datavalue":{"value":{"amount":"+0.85578084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1579733$7002B05E-CE10-4013-9AB8-96043FCF1D47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear strategy for Boolean ring based theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_strategy_for_Boolean_ring_based_theorem_proving"}}}}}