{"entities":{"Q2741541":{"pageid":2752280,"ns":120,"title":"Item:Q2741541","lastrevid":82920968,"modified":"2026-05-06T22:25:05Z","type":"item","id":"Q2741541","labels":{"en":{"language":"en","value":"Extending the reach of SAT with many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642936"}},"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":"Q2741541$F950784D-54AB-44DE-9E16-76FBC967D903","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3215125112fd21faa06d1acc0b9f54e1de57a0d8","datavalue":{"value":"0990.90539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741541$BC9366E4-C584-4D4F-9A70-EBCB76BC8D05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a34471a7062eff0552febecc8f87f06e75a14f1","datavalue":{"value":{"entity-type":"item","numeric-id":505968,"id":"Q505968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741541$E5296DA9-92DD-44F3-8FA8-6A147700C999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4ffcc3981c9aa28d68c5831ab09a037d6c4522","datavalue":{"value":{"entity-type":"item","numeric-id":2643306,"id":"Q2643306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741541$DE91D7DB-BBF2-4EDA-BE25-40A262B2D511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a0d6bd94e2873e5fdbc559ad99f5547abed33d","datavalue":{"value":{"entity-type":"item","numeric-id":505969,"id":"Q505969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741541$0EDAB1E3-4DE9-486B-9330-A72A3FCB9C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741541$3A92D74B-51C0-4D0B-B22F-B58548741877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a6e2901f37f07f61955e71608f708a4ec7051","datavalue":{"value":{"entity-type":"item","numeric-id":456408,"id":"Q456408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741541$94E5CEB6-AA1A-4CA0-A1A7-3AAFFB1128CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741541$16E8EC61-F808-4EBA-9E74-BD4385DE31A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741541$1C4E76E5-C435-4111-8075-B81CE8B29996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"590d8bcbd693420c53c01295e8b01df2bd33b50e","datavalue":{"value":"1642936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741541$EB7212C0-DDE7-441D-95CB-6BFAE37EAC2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efad367762f2f7b9160154ef237c32d1e6af7062","datavalue":{"value":"regular-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741541$3B47C4B6-5361-482A-9913-2C38BEB5F326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1934f40d284fc172229cf1dab09384f82b8e45e8","datavalue":{"value":"Boolean SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741541$0AB9A22C-F7CE-4693-8057-493820B82161","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":"Q2741541$5680989A-E602-42A4-B325-C9A83264ED13","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3a65100382352596d03b0e27223ea49104cd169","datavalue":{"value":{"entity-type":"item","numeric-id":3564034,"id":"Q3564034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fcc994b23b088d72f74eef9deef436d639b2d7e","datavalue":{"value":{"amount":"+0.901622","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$EC3D0FE8-76FA-4897-9779-E62B08F8D675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109e969c74fa32c18cd4950041ffaee15b93e696","datavalue":{"value":{"entity-type":"item","numeric-id":1669939,"id":"Q1669939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4462187e7ae63b8cf8be0eb356cd4a0e26b501","datavalue":{"value":{"amount":"+0.9015293","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$91CF6E8D-A845-498F-967E-86665B95387D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b592ed66d48501e7e17c90040b3902247e284e97","datavalue":{"value":{"entity-type":"item","numeric-id":3454724,"id":"Q3454724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b6434759832ac98f6d83c55102087d4f53c231","datavalue":{"value":{"amount":"+0.89985156","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$A2E9BC2B-D013-4D8F-95D7-D8FCEAF21D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772471dea4fff19234b138f268654d47ef8408cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145331,"id":"Q5145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16d20efd7e809184b902b23ab5d7b7c03b795da5","datavalue":{"value":{"amount":"+0.89856476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$5FEA4BC5-2F13-4984-8FFE-22A8DF7E187D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065a60a9b9c65becb781cb3f5367282d6681b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":5080482,"id":"Q5080482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed717cd57db8127307f2ab9435701f2a7387e557","datavalue":{"value":{"amount":"+0.89057076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$121B7B5F-8573-4847-8727-25B7634E498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4521151fde977d01d76cc3540e7c4eaa585cfd5d","datavalue":{"value":{"entity-type":"item","numeric-id":1100196,"id":"Q1100196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09ba5c1e357328ebbf62af3b33d237fc96bed58d","datavalue":{"value":{"amount":"+0.8887681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$D6CE5780-6A1E-4C0E-AEB7-04B08E326610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b46f1e2fc685b473357e5a91b9f4fe7ad5fd5ed","datavalue":{"value":{"entity-type":"item","numeric-id":3754598,"id":"Q3754598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18f498712c40b7f1c915cf6d811835f5df0a4681","datavalue":{"value":{"amount":"+0.88711524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$B2ADAAFC-96C5-4D7D-A7D1-285D7A68C4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653e895f3899c4df73fe7a8591e317d9115730be","datavalue":{"value":{"entity-type":"item","numeric-id":4836225,"id":"Q4836225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e2845f7054fbb51721053e57ece9d42975677a4","datavalue":{"value":{"amount":"+0.88531774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$B3E23549-A279-48A5-BB49-3EC7B74F5093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492859d22392d273e92e44c90191d48917e71245","datavalue":{"value":{"entity-type":"item","numeric-id":3105088,"id":"Q3105088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225e73872820fdec153be69c94e955d89383bd49","datavalue":{"value":{"amount":"+0.88394403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$7C8D4A22-6021-46F8-902B-4A6CE02C4BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1ea017c9dfd6a6492a2c049e93b47fdc8f9d179","datavalue":{"value":{"entity-type":"item","numeric-id":912083,"id":"Q912083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20913e80b93d29e15cd470f8ac9db13dfb37cc2e","datavalue":{"value":{"amount":"+0.88026565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2741541$3F8DB041-AFDD-439D-B3F4-1DAC00B21C33","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0d234d2f90bff8f2ab44df54cade42c27235de1","datavalue":{"value":{"text":"Extending the reach of SAT with many-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741541$CCB9AC77-15D9-401A-A06A-A0C1767C1268","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extending the reach of SAT with many-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extending_the_reach_of_SAT_with_many-valued_logics"}}}}}