{"entities":{"Q5145331":{"pageid":7174902,"ns":120,"title":"Item:Q5145331","lastrevid":58447698,"modified":"2026-04-05T06:34:49Z","type":"item","id":"Q5145331","labels":{"en":{"language":"en","value":"Satisfiability in multi-valued circuits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298780"}},"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":"Q5145331$5FC98037-B834-41CD-A5A1-41FB7A9882F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84a2112ffc69c99c1c81aa047f2b00964386f465","datavalue":{"value":{"text":"Satisfiability in multi-valued circuits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145331$D9CBD795-6873-4862-849B-BF424CAF6F67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84706115d9935fa04e0271e4d96ded095c324bf2","datavalue":{"value":"1497.68358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$81103E74-1414-45D9-A2B1-3722280354CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26cba3956ef073b707c38f881f90d504be2b231e","datavalue":{"value":"10.1145/3209108.3209173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$EC81B7FA-9906-4633-BA23-1511EDF0F38C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98bb00c015fbd92f550ec7939e69de35a6ed177f","datavalue":{"value":{"entity-type":"item","numeric-id":170377,"id":"Q170377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145331$60F3BC38-91D3-49BC-AD7C-31EB33C5B14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a09e850f401643dd2307aa6eb5a0d8dcb5cc8696","datavalue":{"value":{"entity-type":"item","numeric-id":292835,"id":"Q292835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145331$9836C642-2C4D-414C-A851-6DB21DE00326","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145331$CA321FF4-FFC5-487A-91E9-9B52CF4F4570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145331$41A60579-E127-4329-985D-1702B0FC301D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74954dd61716de8a437d438b5d03158f0afaa463","datavalue":{"value":"https://arxiv.org/abs/1710.08163","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145331$5A7AAEA7-6D6E-47E8-8D11-36ADC7E034F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$9E344E67-7177-479B-8388-89818B74A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$9C97FCC9-8389-4DFE-B70B-BFBF2F2359FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$5B35F0F4-AA62-44FD-995A-A497FCD7CBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$8734BB7F-2D55-4AAA-B1E6-52B8F3056931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5672f98ae5afe0e21ec9d68469857a7ba7ba0c6b","datavalue":{"value":"7298780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$C6035022-851D-4286-B614-78F266C75334","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a27f211df803ab13c739570fd1ff444f04345d","datavalue":{"value":"circuit satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145331$8EB8D41D-E5B5-4869-8386-38E8BCB435B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b566895c578ec4f215d1ca30e2c30a1e278dd67c","datavalue":{"value":"solving equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145331$15115491-CAEC-4419-A15E-A53F369912E6","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":"Q5145331$B3350F8D-B228-46BE-A1CF-4AC6497DD023","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"832f778f9bd05a6a89ef94eaab312cfbed525b52","datavalue":{"value":"W2963612844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$59409532-528D-463A-AD33-5E9B3E382478","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9af38ee0a78a93068ceded944736185712379ba","datavalue":{"value":"Q130957069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145331$2C9009BC-6BBE-447A-BFD2-CE2281F6C748","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafa673e61783d23b3bb13dfdf07b172fd5df577","datavalue":{"value":{"entity-type":"item","numeric-id":5005117,"id":"Q5005117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cceadc4dc7b288977486133d297ce7b40eacaae","datavalue":{"value":{"amount":"+0.8927991390228271","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":"Q5145331$3DC4FA99-D084-4A35-A14A-316E5B896512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9afb024e39224c0be1395ec9a94a17a985b352","datavalue":{"value":{"entity-type":"item","numeric-id":4729350,"id":"Q4729350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180f5d5b5d59b0e494a9fed98aea2252e75217c6","datavalue":{"value":{"amount":"+0.8022845387458801","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":"Q5145331$7291DC45-B4A5-4CE7-80EA-2A22996E527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457814893bb46a11eaeef4127481b4de596737e8","datavalue":{"value":{"entity-type":"item","numeric-id":3067781,"id":"Q3067781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e75b81655d2fc1a51ce59c42aa096985625ea7","datavalue":{"value":{"amount":"+0.798000693321228","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":"Q5145331$CE1E01F6-B7F7-4FE5-968C-0EAC966F57A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91638dc3b9d68080abf4a9393099333ab24e5e18","datavalue":{"value":{"entity-type":"item","numeric-id":5483456,"id":"Q5483456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200dfb478f87a4543556bd5dca36ad9b63355085","datavalue":{"value":{"amount":"+0.7931988835334778","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":"Q5145331$7EA64935-8934-4213-A5DA-E74A38D49408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa99222198476e22aa473c447079949f14eb6bb6","datavalue":{"value":{"entity-type":"item","numeric-id":987688,"id":"Q987688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f02af309fb4a88ef217d1c2d3d5b16b9fb466f2","datavalue":{"value":{"amount":"+0.7781316637992859","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":"Q5145331$5CB40A6B-FF54-4A6F-B080-4599EA7667BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145331"}}}}}