{"entities":{"Q7072067":{"pageid":21829509,"ns":120,"title":"Item:Q7072067","lastrevid":104241545,"modified":"2026-06-17T23:06:16Z","type":"item","id":"Q7072067","labels":{"en":{"language":"en","value":"Reproduce results from Garvie and Burkardt"}},"descriptions":{},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"4ef699c4e14cfd537bfcce19a0ddaa09eac0702f","datavalue":{"value":{"entity-type":"item","numeric-id":68657,"id":"Q68657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7072067$5e628387-4938-70fa-76f3-e6d5aea5a455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P31","hash":"528e665e1f93d942037281fd4bc443f9e0b19692","datavalue":{"value":{"entity-type":"item","numeric-id":6830884,"id":"Q6830884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7072067$eb9800c0-4998-6452-b6b7-703b783dc8a1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"e96e22a397bc303dca95263a6163204b52d34923","datavalue":{"value":{"entity-type":"item","numeric-id":6534216,"id":"Q6534216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7072067$b4e090b0-4d2a-fb5d-f54a-45eb685c485a","rank":"normal"}],"P339":[{"mainsnak":{"snaktype":"value","property":"P339","hash":"8c43f465573af31f3f6fad8f6cedbf11640b3a58","datavalue":{"value":"https://people.sc.fsu.edu/~jburkardt/octave_src/trinity/trinity.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7072067$0836d8f8-432d-2057-435a-cf34c4da1ca2","rank":"normal"}],"P1827":[{"mainsnak":{"snaktype":"value","property":"P1827","hash":"7791aba28223f1a401f13e0859052948992f8424","datavalue":{"value":{"entity-type":"item","numeric-id":6830870,"id":"Q6830870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1828":[{"snaktype":"value","property":"P1828","hash":"b464b607964a7908f51aef334a7021617e52e485","datavalue":{"value":"rocrate.zip","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1828"],"id":"Q7072067$0ebef217-419e-f0f9-795b-9ae76b5effd1","rank":"normal"}],"P1961":[{"mainsnak":{"snaktype":"value","property":"P1961","hash":"96914b16b8a23d60bd6ad567ad400b65f769f3a5","datavalue":{"value":"deprecated","type":"string"}},"type":"statement","id":"Q7072067$F0CE4FD4-359D-4313-B404-C54704CADB59","rank":"normal"}],"P1459":[{"mainsnak":{"snaktype":"value","property":"P1459","hash":"49a832af355de304b92597f71396fb9695fd126e","datavalue":{"value":"A **Snakemake** workflow that reproduces the optimal floor-tiling result of Garvie and Burkardt by formulating the combinatorial placement problem as an integer linear program and solving it with **SCIP**. The tiling problem involves placing a set of given tile shapes to cover a target floor region without overlap, and the workflow verifies that the computed optimal solution matches the objective value reported in the paper. The ILP formulation encodes adjacency, coverage, rotation, and reflection constraints through seven **Octave** helper functions, producing a compact LP file as input to the solver.\\N\\N### Main steps\\N\\N**generate_lp** \u2014 runs trinity_lp_alt.m in Octave with seven helper functions to produce trinity_alt.lp.\\N\\N**solve_lp** \u2014 passes the LP to SCIP, writing the verified optimal solution to trinity_sol.txt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7072067$0FF062FD-FE2A-4D67-A307-4C1F7A36276C","rank":"normal"}],"P557":[{"mainsnak":{"snaktype":"value","property":"P557","hash":"23e5b6a5815cfb59410534ee39f620a313327c0b","datavalue":{"value":{"entity-type":"item","numeric-id":13835,"id":"Q13835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7072067$CBC34271-5150-4BF1-A210-1DB1518CC578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P557","hash":"a7862bc8856340e64497f5c7789e8a08385ce792","datavalue":{"value":{"entity-type":"item","numeric-id":13401,"id":"Q13401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7072067$F06ACA76-3150-4621-9F5E-4F1F4C908FEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reproduce results from Garvie and Burkardt","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Reproduce_results_from_Garvie_and_Burkardt"}}}}}