{"entities":{"Q7025952":{"pageid":21658611,"ns":120,"title":"Item:Q7025952","lastrevid":77541779,"modified":"2026-05-05T02:52:22Z","type":"item","id":"Q7025952","labels":{"en":{"language":"en","value":"Algebraic and SAT models for SCA generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7985896"}},"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":"Q7025952$03ECBAF4-7710-479E-AD26-5684B67699B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94589232318f3cdd78759f8642c609d0f7dfa9a8","datavalue":{"value":{"text":"Algebraic and SAT models for SCA generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7025952$5B1A688D-5765-40FF-BC22-9F0042BB48AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ad8fcb1bc0e798342204902e2c85aa82ba06fd6","datavalue":{"value":"1558.05031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$8DBFD4A3-01DC-4703-9C84-6F6DEA14FB55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dc91fd748b334432afee9712beb8da567eebd22","datavalue":{"value":"10.1007/S00200-023-00597-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$546F1F2D-003B-451E-A615-E46B49230EC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7557d435dff6944e1d85591e41b9923fa4165564","datavalue":{"value":{"entity-type":"item","numeric-id":2667996,"id":"Q2667996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$A379D3FF-AF1B-4FF4-A12D-634BEF7B0FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1993af597b0b113c7eb7c488b59d85ce6bbf27d","datavalue":{"value":{"entity-type":"item","numeric-id":1739924,"id":"Q1739924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$A4321020-3563-405B-ABEA-63FAC3353D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"883c4299bd052e752f0e0bdcd15d5168f02e07ae","datavalue":{"value":{"entity-type":"item","numeric-id":2697490,"id":"Q2697490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$4CBA4860-1027-40F4-9B21-4CF3A745EEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b62774ea113d24d064a2bdcdfaa9c138c128d3","datavalue":{"value":{"entity-type":"item","numeric-id":411260,"id":"Q411260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$7E98D151-1A83-4278-87DE-3C9CB74EC5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95b9d0fcd101cfc3859b273620c2a9a24d5a02d5","datavalue":{"value":{"entity-type":"item","numeric-id":452515,"id":"Q452515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$176718A0-FF1F-4B17-94CE-3AE5EC24DC4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$0F517255-29ED-4C4E-A68E-B474E905D1BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fdd41e2e7e9c5354d37665f52805b49c7a4c84","datavalue":{"value":{"time":"+2025-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7025952$79959946-1D4A-4A1D-A3FB-AF0E2201666E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb6fa31c061028a10fb1c2a1679af7746583c504","datavalue":{"value":"05B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$DE5E115E-DBEE-485C-879E-6731C2E14A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86c47e3aedde4615dd16421ee43ac00d4048a5ec","datavalue":{"value":"05B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$51529196-66A9-4BBE-B198-8DFCCC4CA387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$FE32BFAF-76DA-4953-8074-DEDB822A5334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$A2DDC660-A39E-452C-A461-1A31C886DD29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5172871c4c4264e225a9151696c6d153d649a25","datavalue":{"value":"7985896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7025952$2F15B4BA-890E-4715-A355-ABFA237F4042","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66f4bb985ef8b96bb778b16cbaebf1ffb19ff2ec","datavalue":{"value":"sequence covering arrays","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025952$8F26C41B-B9EF-4DF6-B8E0-B3F93A0CCADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62430376555ae73fdb28af92032c34efd818513e","datavalue":{"value":"algebraic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025952$476DB64C-CC3B-45C5-8045-6D08E250CA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83454d0c86234fee35e193c37d2bc1489188c44","datavalue":{"value":"commutative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025952$9CA5B35C-0B5F-456A-99B7-D0404B833DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025952$E1C542EA-6C22-48BB-8FD8-2FEF8238B2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q7025952$0C5F84BF-0FEA-449C-8B45-32B499868C53","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":"Q7025952$1A0D0092-8AB9-49F0-AD21-4F83FB658D39","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52f4d6281128c99e35eee0b070fb1e4d46dd7f81","datavalue":{"value":{"entity-type":"item","numeric-id":5398046,"id":"Q5398046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$7F6CFE7C-FAFD-414F-8FEC-E3A7F0BDC4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$1C6440DB-1E0A-4098-ACC7-81941A4306E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1841c44c9e95e6f4b6f04c036935d42beeb09868","datavalue":{"value":{"entity-type":"item","numeric-id":5408596,"id":"Q5408596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$9F4B6021-B34F-4FC7-83BA-D88C2CF9ACEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180dcdcd70e7dd722922a02e19e8df3d14ff3abb","datavalue":{"value":{"entity-type":"item","numeric-id":3413659,"id":"Q3413659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$E8777A3C-46E8-49D1-829A-CF798179385A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$A1A855C3-6AA7-4310-B3E9-F7B0F1AE5377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$C6E2E34D-3950-4DB9-B5ED-EAAFB6031392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f015ad3382b369ac62b2f02b6061f509542c7056","datavalue":{"value":{"entity-type":"item","numeric-id":1739926,"id":"Q1739926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$D9536984-FCAE-4586-B7DD-A39F762C0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f18bcdf2351a7347bc4d1663eac0154c64ff68ae","datavalue":{"value":{"entity-type":"item","numeric-id":1739925,"id":"Q1739925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$FD09D867-F35C-456D-B24B-8004BA56CA4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80635a46ea4f750c5aa09b1e5c72efa414cecd1e","datavalue":{"value":{"entity-type":"item","numeric-id":5393352,"id":"Q5393352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$93146977-9070-45E0-8457-24964D0C3E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcefa9cceadffef13c3c4dcc400dc003d09a01ee","datavalue":{"value":{"entity-type":"item","numeric-id":2175421,"id":"Q2175421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$B00E82CB-91DB-4CF9-BCC6-230C66397F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c6dc63ff760b817aa319cfa1fcbac001ce58f","datavalue":{"value":{"entity-type":"item","numeric-id":5393351,"id":"Q5393351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$F7E0B995-2FEE-424C-8854-2E7BE86538D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d824b6b7c7d7de27b23469cb2340966797f1ba4","datavalue":{"value":{"entity-type":"item","numeric-id":5300606,"id":"Q5300606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$0BBBE090-8B58-44C3-A84C-2545607E3AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f422e47f7b1a222f1a4411f54c65591edc6d779c","datavalue":{"value":{"entity-type":"item","numeric-id":1591635,"id":"Q1591635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$681A581D-9CED-43D0-B818-47F6134A9596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab4ede6d90aa2e832992697617a4538b113c04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5251741,"id":"Q5251741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$FE1C860B-D33E-42DA-9771-B22E8FF7EB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba20b2411a665b2b84336018905747f844e6897","datavalue":{"value":{"entity-type":"item","numeric-id":2946063,"id":"Q2946063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$048247A6-3027-4083-9BD4-520330E9EB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e95534304e5e981122aba3747915e35e95c9ef","datavalue":{"value":{"entity-type":"item","numeric-id":2302158,"id":"Q2302158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7025952$7F86A484-B80B-4B17-BD0A-12F059DFB72F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and SAT models for SCA generation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_SAT_models_for_SCA_generation"}}}}}