{"entities":{"Q3522909":{"pageid":5552813,"ns":120,"title":"Item:Q3522909","lastrevid":50446013,"modified":"2026-01-14T01:59:41Z","type":"item","id":"Q3522909","labels":{"en":{"language":"en","value":"On the Satisfiability of Modular Arithmetic Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321061"}},"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":"Q3522909$934ABDB2-44E9-41D1-AB52-DC00150EEBB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5bfb36823481ec6d8f1f766844110d605f50ea1","datavalue":{"value":{"text":"On the Satisfiability of Modular Arithmetic Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522909$6358139D-772B-4F30-AE68-E04FB03C83AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7c4a0ba8a3b442a7f972b2ff80d8ae01dd33a8d","datavalue":{"value":"1161.68496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$07CCF027-0F17-4AF6-933C-174212840F86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56d811d4ff421b454a8f56e4f6a95260ab7d1bfb","datavalue":{"value":"10.1007/11901914_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$4A09B4DA-91D8-4FB9-85FA-0DB9CEF0596E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522909$E0F0805B-A536-473E-9E43-8B14558CDF3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522909$FD926B4F-D9A4-44B0-8EC8-44B6A7737363","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522909$B7564F60-52F6-4D3D-9D92-182B132A054B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$E94EF963-1A3C-4582-9A8B-114722814CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$CF3B36C1-D491-4C8C-A3D3-06C61C19FB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$4525A160-3704-4C68-A8D8-E3A15850DEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$9923ED67-9D9F-4DD1-9E5E-7A85E325956C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64b407b4f6571c58c3af5838fedd42e4d46d3281","datavalue":{"value":"5321061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$1C7AD514-20DF-4815-B0E5-81DF318001D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522909$62B850CB-8498-4FAA-A787-D8985DD1232B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"78b96353f9de5ebc027133799c6c3ec89baac528","datavalue":{"value":{"entity-type":"item","numeric-id":16886,"id":"Q16886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522909$318EDE2C-D42F-4AB6-A8E0-6A3049C86A0A","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":"Q3522909$E26F8F43-6945-43DE-8832-B5066DB400A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"387a1c2540511c1617a685e8ab20e3fd02ce7547","datavalue":{"value":"https://doi.org/10.1007/11901914_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522909$75189839-8DE0-4138-8D7B-6A08D1AE4ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"063f555e93ace3daf047bca4fb328a541905a7f9","datavalue":{"value":"W1581189074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522909$C760A7C1-3B94-412E-8FC8-BB1F1EBAEF27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc83c4c516d53f51d966d326af951ecf990e51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5746001,"id":"Q5746001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d18e9355b0bb420a1a0f2d41087709c892b6d8","datavalue":{"value":{"amount":"+0.8229632377624512","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":"Q3522909$1387AAB1-62B3-4D8B-9855-56F46A65D08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b12c1ee28d5ad6817161989f56ee7e139bea46d2","datavalue":{"value":{"amount":"+0.752348780632019","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":"Q3522909$95928319-79AC-486F-B153-A5D7EA1EB321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e26ca74d26ba5d5c01c638315647cdaed944af7","datavalue":{"value":{"entity-type":"item","numeric-id":5316583,"id":"Q5316583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ec2f3930a57242f6727530d81b1823fc5b457e","datavalue":{"value":{"amount":"+0.740821361541748","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":"Q3522909$E9CBC54E-3A83-4F27-8EB5-24C84CDD1ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b8d4a41d7b58615ce21e787d0e566caa1880be","datavalue":{"value":{"entity-type":"item","numeric-id":4427902,"id":"Q4427902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ea5d41c2fd2bd8fb4824a380aedabf5d579d74","datavalue":{"value":{"amount":"+0.7397291660308838","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":"Q3522909$0DD6CF9C-D73F-4042-8AFF-4A45D0566695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a530af1cc71f097030dfc9576dda5167a68bc90b","datavalue":{"value":{"entity-type":"item","numeric-id":1680266,"id":"Q1680266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b669d86c73b0c627fe13dfca589fd2ab5891c533","datavalue":{"value":{"amount":"+0.7375946640968323","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":"Q3522909$9D410A97-4504-4FAF-9FF9-CE20B433CAF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522909","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522909"}}}}}