{"entities":{"Q5368670":{"pageid":7398244,"ns":120,"title":"Item:Q5368670","lastrevid":96065774,"modified":"2026-06-05T10:19:57Z","type":"item","id":"Q5368670","labels":{"en":{"language":"en","value":"Automatic proofs for formulae enumerating proper polycubes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6789176"}},"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":"Q5368670$601B0D19-5E41-4261-8878-947709AD9EAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8068e82d33f22e4eb54482e801f0f742c627be78","datavalue":{"value":"1378.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$956378E6-61E2-4A15-B706-9E30E2080178","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b04d9500a0ef0ff8f132518882f88104fda95b6","datavalue":{"value":{"entity-type":"item","numeric-id":322210,"id":"Q322210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368670$50185CC9-69CB-4550-B4EC-974C8B322187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b66cd8d2587b108dbb64add9857e3996d0f2d8c9","datavalue":{"value":{"entity-type":"item","numeric-id":299062,"id":"Q299062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368670$4FF40309-22D4-4B7E-B622-76CE6C604862","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffb8b9712e9833c9efd07973ed7e21575a4bd2af","datavalue":{"value":{"time":"+2017-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5368670$6C50A805-F820-4D87-B910-B3B78DD49DF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$1F436C87-62B4-4D5F-9B64-D4399AF4F72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$32FD09D1-85F3-4736-A04A-2267DC9EA8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44858eee6702c5fd32430c310ff496cbf7eec374","datavalue":{"value":"05B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$C08637A8-53CD-4221-990E-A480565F240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$6EBD8EED-A9F3-40F1-89CB-7665918AC966","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da65ca6fed2477360faf71d917c7f34c30461ed3","datavalue":{"value":"6789176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$6D6AD15C-D598-428F-844A-74FE130B8AE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b2e7c943564958578efa476cef775b6de3a0bbd","datavalue":{"value":"polycubes","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368670$9F954A76-6AFF-4C05-A827-D0C235DFF392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592c08511a85192519cdca9ace2ed59e004609cc","datavalue":{"value":"inclusion-exclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5368670$DC30D706-1411-4092-885E-792F956D3B34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368670$F2AD9975-144E-4D01-AF06-101A8619C00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5ad56e55f847a8764ddfb68edec7251b2c6bd95","datavalue":{"value":{"entity-type":"item","numeric-id":26163,"id":"Q26163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5368670$7B5753E6-7C29-474B-95FA-DD7FBFE8B4E3","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":"Q5368670$75324E9A-966A-433E-8963-A7029AF1D7D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13d5e23780da1bcf23bff97ca014061fb40c7f30","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/compgeom/compgeom2015.html#BarequetS15","type":"string"},"datatype":"url"},"type":"statement","id":"Q5368670$FA9BCBF4-A28C-48B0-9A4B-42E08945C803","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e252bcfd3a3805aa6a9975a07d179af91db12ab8","datavalue":{"value":"W2271049437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$A22DE954-9C97-4904-A782-3A56A55028B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e43d4af20060a93844d23bf4261370d573f08ca","datavalue":{"value":{"text":"Automatic Proofs for Formulae Enumerating Proper Polycubes.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5368670$4222140F-06B8-493E-BE79-ADFD76FB1E88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cae279c86cbc9da6e43e9e69f0412a7685d5172","datavalue":{"value":"10.4230/LIPICS.SOCG.2015.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5368670$3D3E24E9-8D11-4E16-BAD6-A3749C0DBD0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eab78577649cc15d4333c3b24d64d50c55da1dd","datavalue":{"value":{"entity-type":"item","numeric-id":322211,"id":"Q322211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c454f07e5a9757ee1ebebf47626bbd627f38fc","datavalue":{"value":{"amount":"+0.9548313021659852","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":"Q5368670$3FE633D9-3B54-4C0C-992B-F1F88193355E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7413350d8461b99d9adf35444414179475c0b5","datavalue":{"value":{"entity-type":"item","numeric-id":2357227,"id":"Q2357227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fa0283c19566eb3cb7e6d6a94b1c7b8de0f165","datavalue":{"value":{"amount":"+0.8406252861022949","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":"Q5368670$E9AF960A-847D-493B-A063-CF693FEF7CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c380ba1b6255c5ab38d0c9c3e846f3037521c02f","datavalue":{"value":{"entity-type":"item","numeric-id":4637099,"id":"Q4637099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f8c848e358576a9c4b67ae585d101c8cbcc73fe","datavalue":{"value":{"amount":"+0.8019801378250122","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":"Q5368670$F12A896C-EED4-41AE-93AC-AB037A34F35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d55c2e9e363855bbd2272472bb45d5e74799ad89","datavalue":{"value":{"entity-type":"item","numeric-id":3087949,"id":"Q3087949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9733d770dec0cd16c7d90e9fa6731ef952a4459a","datavalue":{"value":{"amount":"+0.7862598896026611","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":"Q5368670$5590E7FF-B865-49E4-A7FC-BE81D818899D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26c241459f930aa786c0910685804515731b8aee","datavalue":{"value":{"entity-type":"item","numeric-id":5404254,"id":"Q5404254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d0ca0f40e7dcd4cd0d1662e2b00e40bc56b741","datavalue":{"value":{"amount":"+0.7793383002281189","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":"Q5368670$0F898287-9162-4586-B11E-6E298095C3B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic proofs for formulae enumerating proper polycubes (scientific article; zbMATH DE number 6789176)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_proofs_for_formulae_enumerating_proper_polycubes_(scientific_article;_zbMATH_DE_number_6789176)"}}}}}