{"entities":{"Q5458839":{"pageid":7488398,"ns":120,"title":"Item:Q5458839","lastrevid":101132111,"modified":"2026-06-05T23:57:22Z","type":"item","id":"Q5458839","labels":{"en":{"language":"en","value":"Satisfiability of Algebraic Circuits over Sets of Natural Numbers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267229"}},"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":"Q5458839$C987C240-7F4B-41D3-B458-4A8A42B334C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47f9cc29d6bb65babeab5c2b00f137eae1b16f01","datavalue":{"value":{"text":"Satisfiability of Algebraic Circuits over Sets of Natural Numbers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458839$66F3E8C8-02AD-4EDC-A55F-37CF808C20A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5b5145123a2cdd3cad1aa2d834629665b3b496b","datavalue":{"value":"1135.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$63E2147D-5A6D-4664-8C20-61DFB08C12DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c9d48130f90aa7e7476dc904263d9df93bda0ae","datavalue":{"value":"10.1007/978-3-540-77050-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$1C8353C2-2333-45E1-9BAC-89080C30F4F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee513048e71adb22fd9a8a028448fe040165ffe","datavalue":{"value":{"entity-type":"item","numeric-id":306279,"id":"Q306279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$272A467D-730D-413A-AC5D-61906FEA4114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"543f6454a8d53c051b12a5ab6abb1f28f0dd7186","datavalue":{"value":{"entity-type":"item","numeric-id":627188,"id":"Q627188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$B7044163-0F2D-4D02-825E-5DC8563C8431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa47d8c7cac87596bc78c0c9a48d6e3e4ec34e56","datavalue":{"value":{"entity-type":"item","numeric-id":553310,"id":"Q553310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$CEEA080A-3378-42C4-BEE9-F0852EA585A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4ec58fedad1db2c0ec116bd3fc6947a978dd804","datavalue":{"value":{"entity-type":"item","numeric-id":273423,"id":"Q273423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$52734D1D-02F9-4554-9D42-6BD1924D9D40","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f400cf98ce4c71458fdc00bd29010c3be676f7b8","datavalue":{"value":{"entity-type":"item","numeric-id":5458819,"id":"Q5458819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$128A10B8-5242-4821-BFF8-C88E14533670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-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":"Q5458839$7C989B33-9F10-4B23-B904-83DA847D4627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$2114CD3E-6FBD-4D6D-A69C-8ED2B914FAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$97C00EA2-0060-43A1-9FCB-5C05445D6AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab04bdae11dff8740981ece002373c8d9c991a24","datavalue":{"value":"5267229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$65838DF9-EA80-4537-963D-5603589CF986","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":"Q5458839$B316A0E4-CE3D-4F9D-AAFE-F7FAB94187F2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b90658f2ba49ae885394c18030445bf493a0d578","datavalue":{"value":"https://doi.org/10.1007/978-3-540-77050-3_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458839$E1306C56-5FE3-488F-88ED-9F182DFCA5B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f58fbbddf1818da1de74d4f427495de80a3439f4","datavalue":{"value":"W2240617993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458839$5883F869-9429-4581-A1A9-0E35376E9499","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1234570f11caddb900135131d2fd06479f5792ac","datavalue":{"value":{"entity-type":"item","numeric-id":1772458,"id":"Q1772458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$31A3E88B-2715-4602-B356-318F9D25F226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$4CB64B77-23BF-4C59-A91C-89E62D2CD866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$D3B1D6B9-8D4E-4FDA-9667-6356E4623778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0d8acf80cc080870beab35ea3c8de628c4661a","datavalue":{"value":{"entity-type":"item","numeric-id":3499771,"id":"Q3499771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$EC3D1B60-03D2-40BC-BA21-E3FC0EBD9C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$30F4CCCB-425A-4A7F-9900-158334134BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$1610CFEB-B4CE-4D26-A918-868A2F0B4BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$75DAABCB-E42F-49A7-845C-AC1E375A11DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dac91bac57acb3d7d1433b3c43149aea45efbb38","datavalue":{"value":{"entity-type":"item","numeric-id":4418682,"id":"Q4418682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$51CFF824-9653-48F6-A162-95B96532A458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$F540D34A-7E87-4155-BE22-76ADB563729A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$E1128596-1F85-4D4F-95BB-AD60767CEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59482766fd3ea4f454a682de35528203c13ab9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3340148,"id":"Q3340148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458839$ECB90734-CB08-4371-8B23-1730389B0260","rank":"normal"}],"P1643":[{"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":"ecded70ea3d96cb21ec2df56e57154e420d95332","datavalue":{"value":{"amount":"+0.9893934726715088","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":"Q5458839$F00D9B50-3547-487F-B954-4ABCB271059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d71dda6a772a8aacbf7ac417578e8cbe73adda38","datavalue":{"value":{"entity-type":"item","numeric-id":4418682,"id":"Q4418682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c17bfb21d795348e0e7048e420bc18dced49a41","datavalue":{"value":{"amount":"+0.8512521386146545","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":"Q5458839$65E2AF04-334E-44F8-854E-84F555360B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653d52ee6d71208834059eb6053d795196e2dd9d","datavalue":{"value":{"entity-type":"item","numeric-id":2474202,"id":"Q2474202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d0a172428753ab23b33fd0bd2d67eab595c90f","datavalue":{"value":{"amount":"+0.8405423760414124","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":"Q5458839$40DFA556-8E9D-4F17-9F48-E0264D434FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7050b6995272636f4420ac43a7ef17715ac56562","datavalue":{"value":{"entity-type":"item","numeric-id":2268343,"id":"Q2268343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"408b8ac33f82ceba61242304e707a77f9b382d04","datavalue":{"value":{"amount":"+0.8170598745346069","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":"Q5458839$542354C1-382E-4490-9806-78A639A89A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5162ad251f0abcab22f242150e6e0e5ac80a0b","datavalue":{"value":{"entity-type":"item","numeric-id":3499771,"id":"Q3499771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c917bba07d14ac25ceea3b41cf1d580aad261215","datavalue":{"value":{"amount":"+0.8157678246498108","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":"Q5458839$8455D809-4158-4B3E-8A22-40612A04007C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of Algebraic Circuits over Sets of Natural Numbers","badges":[]}}}}}