{"entities":{"Q3008109":{"pageid":3018833,"ns":120,"title":"Item:Q3008109","lastrevid":85984739,"modified":"2026-06-03T13:08:03Z","type":"item","id":"Q3008109","labels":{"en":{"language":"en","value":"SAT as a programming environment for linear algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5907508"}},"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":"Q3008109$6D7E217D-BEA9-446D-901B-78FCD8A4E64B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a8a5c42b65845b3b4efbe0db327e3b3d091b6e4","datavalue":{"value":{"text":"SAT as a Programming Environment for Linear Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3008109$5DE19E9D-BDD1-41E7-BDF1-D792D643D312","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ebba091af209093653178a56e79e0766064a403","datavalue":{"value":"1221.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$792A99AC-9470-4E1A-BB5D-78D53DB98A09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"657681a1e6daead170385e1b1c236667869ac6de","datavalue":{"value":"10.3233/FI-2010-300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$8E1DD545-624A-45C0-B0B8-B386C6561F84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d83144f6ea6e9c01c04024a57aaf2da26999cebc","datavalue":{"value":{"entity-type":"item","numeric-id":396605,"id":"Q396605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008109$778F0DC3-AE44-4D81-B488-435ADF0602C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22f828815a47cfecbc5259ba0edfe07632ffc2cb","datavalue":{"value":{"entity-type":"item","numeric-id":530157,"id":"Q530157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008109$3A5A4F53-4458-404C-B5C2-BE8AF7CFA25D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008109$F50D7CD7-F6AC-48AA-B24A-0230529588DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b2b50ba7a4f5a1aad90db4fa17f9e7a261c738","datavalue":{"value":{"time":"+2011-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008109$EAA7B720-C9EA-4C53-B1DA-FEA4CA1ED231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$F60A5576-0294-4ECC-B7AF-437C3C658F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$865E500E-5203-48F5-9B88-CF038F242AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$70D0CE14-8349-4F86-9BB4-B90AC901D49C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc30d08da037149101c07e03f89114aff1489d6c","datavalue":{"value":"5907508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$2A2A3FD7-B981-4E2A-8288-FE5F5778CBA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008109$72F44B39-A881-4D52-841E-FE8218A5C3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008109$B3721C02-3605-4DD0-9229-0FF496E0612C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b939017452c9a383c30b40160f01c77c9e0c35ca","datavalue":{"value":"orthogonal matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008109$D2BD049D-E9D1-4C02-9402-53FCAC50845A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd75d737efbae46ca6b2195498c88e4727c9da42","datavalue":{"value":"orthogonal groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008109$83BB8EF0-254D-491B-8086-64BEA0949FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008109$9AA90585-22D9-4A34-8E98-918CB38720AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b6e4f203a487083528c1321aa229407e72d542b6","datavalue":{"value":"Q114845067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$95C4348A-9C39-4BB1-981E-54DC95E82A15","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":"Q3008109$59BC06E2-4543-4D61-9CF4-F3593C90D3C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ddc70287081c8374f654b8f97edff27bbc0e050a","datavalue":{"value":"https://doi.org/10.3233/fi-2010-300","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008109$69C7DDE5-C757-4982-AB6E-415C38AD56CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3d2eb9a7829c92fbfa4a573c17e3f46eb319277","datavalue":{"value":"W1878738503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008109$9CDD2F66-4380-435A-AF18-2D3077C800D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"463df6834c9a8dd702cf3892a428c9b56d641278","datavalue":{"value":{"entity-type":"item","numeric-id":5445175,"id":"Q5445175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5f1984053cf393f9802230b6d7c55581d6fb4d","datavalue":{"value":{"amount":"+0.8550503253936768","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":"Q3008109$D682560B-34F9-4C09-A721-72E620AF8FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48186e1fec7ea7e51fa10cd431df37f7eb934b","datavalue":{"value":{"entity-type":"item","numeric-id":5146179,"id":"Q5146179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daabde46d03451159be7586dd773f08c9be23968","datavalue":{"value":{"amount":"+0.7327008247375488","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":"Q3008109$DCD5BB4B-DF53-4386-9375-912AC5DE7249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0c1b2a15db8e89573809f52bcf2b8bf1078cb9","datavalue":{"value":{"entity-type":"item","numeric-id":3985743,"id":"Q3985743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a79eacdb62049cd912de292be66cfc912a77a97","datavalue":{"value":{"amount":"+0.7264965176582336","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":"Q3008109$B2F99CDC-5436-4CEE-98A6-F1CE261FB18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081594d69e9e650b4f096681f589fc2ce3a3de94","datavalue":{"value":{"entity-type":"item","numeric-id":1977919,"id":"Q1977919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c671fba3b1cbcc42973268f91a833b2ff81200eb","datavalue":{"value":{"amount":"+0.7153307199478149","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":"Q3008109$BC16DFCB-27AE-41E2-B9FF-A9BC3FEC14FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ec478932cdca97d7c183e3cf6d3c13655ec90d","datavalue":{"value":{"entity-type":"item","numeric-id":3402674,"id":"Q3402674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1272ba1b76a51f8078c66dc79ef35a5a48f18d73","datavalue":{"value":{"amount":"+0.7095707058906555","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":"Q3008109$7997521A-9F27-4694-BC17-71572E9823F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SAT as a programming environment for linear algebra","badges":[]}}}}}