{"entities":{"Q1594832":{"pageid":1605572,"ns":120,"title":"Item:Q1594832","lastrevid":78247814,"modified":"2026-05-06T11:08:29Z","type":"item","id":"Q1594832","labels":{"en":{"language":"en","value":"Reduction algorithms for solving large systems of logical equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1558144"}},"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":"Q1594832$0F66ACE5-1702-426E-853B-CB803435A4A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05ac5969b2824a2d2aceff3505d0796a6bdec2f3","datavalue":{"value":{"text":"Reduction algorithms for solving large systems of logical equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1594832$01ECB3FA-DF6E-48A8-BE85-E1C1161DC67D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e14749dc87b3fa1dfba8bb3e2f2fa205ccda5a21","datavalue":{"value":"0966.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594832$2E78B292-7CEB-4BE9-8E4E-7B99775ACDCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594832$BFAF81B4-A81A-44D3-A8F5-F93A514E78D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5e919ee3e1bff25d5819a92667748233ad0caa11","datavalue":{"value":{"entity-type":"item","numeric-id":203304,"id":"Q203304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594832$E195ACE0-8965-41CB-A5C6-B83CB3C1075D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"763e2fac54cd7102c0b681a36ae0f081948e4e0f","datavalue":{"value":{"time":"+2001-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1594832$F5B950F1-1DCC-4755-8DBD-86080AE91469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594832$C1963A3E-C30F-48F4-8442-1F4B7886D404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594832$DA4BD6FC-E8D7-441F-9900-ADEFD54800CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594832$6356CEC6-956A-4F03-A02D-16BFA5A2B014","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3c95f9c198577ca920d81cc3dc3ca0966ab05d2","datavalue":{"value":"1558144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594832$F7572218-EAAD-4688-B31B-13A80E0D11F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0c17b6487430aa35acfa9bced8f52aee3791789","datavalue":{"value":"reduction algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594832$342FBB36-D660-4F50-9854-A6457A236D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ecb94c0f70435f2d8551b47eb5f615ae6dd0116","datavalue":{"value":"root finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594832$6594DA71-784D-45DE-9138-DF9D49900402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2480108bcba76ecefbb9b58e6f63c23b562dedc0","datavalue":{"value":"large systems of logical equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594832$9DCA8FF6-211F-496F-8F1E-207BB27BA3EF","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":"Q1594832$E8AAAEFC-B31F-4999-9C20-44B20DA6F1A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a30abc2dd83992415c16d6f5b9bc959f77c229cb","datavalue":{"value":{"entity-type":"item","numeric-id":5508681,"id":"Q5508681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86a5aa9c729972f7d6b1c36f8897c0a76b200a1","datavalue":{"value":{"amount":"+0.9118886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$7257BA1C-B822-4717-B734-A9334114F639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ae182899d11768c5b2befc114ad5b68f8a072b4","datavalue":{"value":{"entity-type":"item","numeric-id":4468823,"id":"Q4468823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57881494aaae3ac36a76cd6d219ab9ed8331e0e0","datavalue":{"value":{"amount":"+0.9033488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$DEBEEE6E-15F7-48DA-A2CB-A09C5344EDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ebcff4f3df08a408278db579baef23b9d7bcd5","datavalue":{"value":{"entity-type":"item","numeric-id":5720468,"id":"Q5720468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10a64beb02ca9de570ffdabc4604d0c6962dc9d","datavalue":{"value":{"amount":"+0.89496773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$548EB44E-6CFC-4987-B2FA-2A39F8364CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65de0ee6e846142568e35afafb8442cb591f64cc","datavalue":{"value":{"entity-type":"item","numeric-id":3059519,"id":"Q3059519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc09f0810e63de1512ebaf68aed8e8670cccad68","datavalue":{"value":{"amount":"+0.8811966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$FF316450-57AE-4797-9C34-EA2244282AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c276793cbd495bf68d9bc3d661d9717fe4fc74ea","datavalue":{"value":{"entity-type":"item","numeric-id":5751930,"id":"Q5751930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63bb12add459e0118a54eb7404c3f3d5ee62a925","datavalue":{"value":{"amount":"+0.87131923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$B23976BE-E2F1-4B32-8B71-2E69DE745710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead7187af7e8c8a30187e9a6cd4c1f14f7bdd837","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7d04fff006b3c0a02d5694f598e1ff607f92162","datavalue":{"value":{"amount":"+0.86885965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$9D45E7C6-7338-4496-85B8-D5D63F3E787D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce4b2f7625f68b8d4518a3cf9ab5cd59f01d768","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f7d33695e2811242687ad8258c8f91f3be3f5a","datavalue":{"value":{"amount":"+0.8681506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$625DF562-A826-44D4-9C23-3D9A719F0893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91d83419ba1a9ae3734ac836d7c6dfb6f52135b","datavalue":{"value":{"entity-type":"item","numeric-id":5150982,"id":"Q5150982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c98b5bbedd96c696f59ae03f95565de44ed7fc8","datavalue":{"value":{"amount":"+0.86529464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$E0694AC2-C47A-4312-9292-AFF15A780BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10b975d125630cca7f617deadf50ebf7080b4bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3481656,"id":"Q3481656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e423d5a33ed2871842be5795592a2ec08ba2d2d3","datavalue":{"value":{"amount":"+0.8581905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$D99817AE-EEBA-4059-BBE7-E511BA5E3447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60b75289d076836125f4aa9b14e12c8bb115af","datavalue":{"value":{"entity-type":"item","numeric-id":1005975,"id":"Q1005975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40078d54ba189bc90869b7bd996baee1b38f3e2e","datavalue":{"value":{"amount":"+0.85799176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1594832$ABF66761-6DBB-435A-B002-8D403D8C7A93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reduction algorithms for solving large systems of logical equations","badges":[]}}}}}