{"entities":{"Q845342":{"pageid":847190,"ns":120,"title":"Item:Q845342","lastrevid":50890097,"modified":"2026-01-15T14:45:37Z","type":"item","id":"Q845342","labels":{"en":{"language":"en","value":"Solution of systems of Boolean equations via the integer domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663924"}},"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":"Q845342$780E8BDD-38C9-448E-B706-5624344FEB61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35df4002e8b07966eb45c39124fad04fbcbd1e33","datavalue":{"value":{"text":"Solution of systems of Boolean equations via the integer domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845342$E9D9CD3D-84B7-4D8F-8C49-5BDDE224FFE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b448576404d570da80333d4f80df083f3ec46907","datavalue":{"value":"1183.68752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$F1184196-D42E-4BFA-AFAC-823FE72958EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8b1c71467fb8fb518cd8be99281dd0ce67daa28","datavalue":{"value":{"entity-type":"item","numeric-id":845340,"id":"Q845340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$DB7264AB-DCBE-4A35-81B1-28F42B8B22F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25e624d0c579c05c478dc7902a5b59be96d731df","datavalue":{"value":{"entity-type":"item","numeric-id":323386,"id":"Q323386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$9DD12B4E-39C6-4303-AD77-EDA56C89671A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"450955db628406da37196c3b3746f15a7256a450","datavalue":{"value":{"entity-type":"item","numeric-id":845341,"id":"Q845341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$6727B95D-C83B-406F-B6AB-493C719C0094","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c144f0fb88440afe4b13555aedcc8676a016b6d2","datavalue":{"value":{"entity-type":"item","numeric-id":70466,"id":"Q70466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$BD1AD6E7-D690-46BA-AADB-4B0AECEA2151","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845342$6459AAAF-6937-4B36-A582-922DE0122568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$D9CAFBAD-1D02-49A5-A850-CDC585250BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$736836A0-AA26-497C-9E25-3521B3372533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28213fbc79af37619ee7bffb5916ad9e0e727396","datavalue":{"value":"5663924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$E2C6F845-F225-475F-9FF4-FBDFB58086DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e640ed4270e2a18f95c4d4de640810df9296c88","datavalue":{"value":"system of Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q845342$DDED51E3-51A6-4965-983D-1EBCA18129AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15cc11277e15d346bbe6747caff80e4c953dc66b","datavalue":{"value":"Boolean variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q845342$C708E70A-531E-461B-8761-EBC3A51A4441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38021cc1c3a4b039428bcf588ef154f8db4bc7d6","datavalue":{"value":"automatic test-pattern generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q845342$E74B4145-FF1E-43E9-B32A-7DA4D5BEB511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de6cb8342e839961f34703eef51a0f7e6e142ab","datavalue":{"value":"multivariate polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q845342$D366BB6D-62C9-4829-A6A2-A9D289565612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46be85b262820b22447f08e22a299db5fbd0b0f0","datavalue":{"value":"fast polynomial multiplication","type":"string"},"datatype":"string"},"type":"statement","id":"Q845342$C594E707-E33D-4E13-BF6E-839A03774591","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":"Q845342$FB43201E-D05F-45E0-9DBF-C2E0A36731E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fde9ae8aceb4bf1b698cb4489aeab4338263500","datavalue":{"value":"https://doi.org/10.1016/j.ins.2009.09.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q845342$C174180C-0B56-4B39-ABEF-64C8BE699EE1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbf32a9c3557c0294940dbcee8d430a718382503","datavalue":{"value":"W2072744139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$5DF0CC36-F0F6-4B92-A65B-CC27D74AE4B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99084a2ca39ed0aad84060438f1d49798f5c9aec","datavalue":{"value":{"entity-type":"item","numeric-id":611072,"id":"Q611072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$C28B6B93-4518-4C41-8F68-DD35E98BF15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50956a3b83461573c132186d5ea095e873860f5","datavalue":{"value":{"entity-type":"item","numeric-id":5522666,"id":"Q5522666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$FCEABDC9-160A-4498-BF2F-5BEA0B9BFD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c93e016d1579703e209e92b5a5c92d92d26033","datavalue":{"value":{"entity-type":"item","numeric-id":4571443,"id":"Q4571443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845342$3BE1CC0A-519E-4A7C-AC50-E3F32FC8291B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ad92d29273d9bc92c84282e5e91217483d3f1cb","datavalue":{"value":"10.1016/J.INS.2009.09.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845342$7C6766B1-7260-40CE-BBE9-5F9435EF2513","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed39c504a77e5461b390da310feae552cc63c5b2","datavalue":{"value":{"entity-type":"item","numeric-id":611072,"id":"Q611072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2080cccd69127f345d326fe4bd92bbad097aab7e","datavalue":{"value":{"amount":"+0.7998436093330383","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":"Q845342$F202C356-7C9F-4F0C-BAE7-F03AF3A258A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcb6fe8e068c32ea15c2032e401b4a645f6100de","datavalue":{"value":{"entity-type":"item","numeric-id":3026753,"id":"Q3026753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944694ca939e3bc9ab2a1e4617695861c0aa8467","datavalue":{"value":{"amount":"+0.7863574624061584","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":"Q845342$68F949FE-6668-4073-ACC3-69FF5262905A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cb77890da40173b84b12dc261aaccb783fcf7e","datavalue":{"value":{"entity-type":"item","numeric-id":2889734,"id":"Q2889734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8be95d51ca530368ba0430c45908ca85af08c4ab","datavalue":{"value":{"amount":"+0.7808490991592407","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":"Q845342$E3474B9D-A42D-461B-8DA2-64E4350801E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87338d426fdec0f03be55548b863260fd61609c","datavalue":{"value":{"entity-type":"item","numeric-id":1842271,"id":"Q1842271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f136a91232bb7126333f2cd96b7d3b4bd71a3de8","datavalue":{"value":{"amount":"+0.7749366760253906","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":"Q845342$2E6A29EC-8490-4E10-AB76-134D6768C78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93de6a8994c9608f2831fec3c49d34dc945d61d","datavalue":{"value":{"entity-type":"item","numeric-id":2371733,"id":"Q2371733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27749b2604d2bfc1a39b23fd36f88e3166e01bf9","datavalue":{"value":{"amount":"+0.7723339200019836","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":"Q845342$E8D2C717-08A4-4667-BBA1-418F0933840E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:845342","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:845342"}}}}}