{"entities":{"Q5145674":{"pageid":7175245,"ns":120,"title":"Item:Q5145674","lastrevid":94607015,"modified":"2026-06-05T07:14:51Z","type":"item","id":"Q5145674","labels":{"en":{"language":"en","value":"Pebble Minimization of Polyregular Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299506"}},"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":"Q5145674$D253DF10-684B-496C-8E4E-07F6D7367CC8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85467b2ac132b5c41faed0be52046b470790e457","datavalue":{"value":{"text":"Pebble Minimization of Polyregular Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145674$0C6CC7D3-0AC3-4742-93EA-77F5F496648C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e28ecd59a5b05e1ac98f850a17b93448ab75353","datavalue":{"value":"10.1145/3373718.3394804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145674$54654E3E-1075-43B5-A381-C671A93D643A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d80c7858d459511481cced2b74d880a137171578","datavalue":{"value":{"entity-type":"item","numeric-id":2105453,"id":"Q2105453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145674$57E8E396-55C7-48AB-B7B9-6E9BEC6C8793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145674$A438D3AC-8CEE-4CDE-B15F-108096CB5452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145674$1925B9C1-D0AB-409F-8F0A-1E6EEE894CE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a902179c0bc98454d616434285b8eab99a7bdd7","datavalue":{"value":"https://arxiv.org/abs/2006.16645","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145674$C901F4ED-24C2-468A-B026-B0C4ABC27D35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145674$A9671203-AA28-4C0F-A91D-116500772B25","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7b49a0da818b77db83c57f631b7d483974a3700","datavalue":{"value":"7299506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145674$603DB46F-1F29-49C7-9FB5-156F1D12204B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"945686032517eb52cbe0cacbe16d3704638929cf","datavalue":{"value":"MSO interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145674$B30C5853-47A3-492A-AECD-FC0BB29B9AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145674$F8D65CF6-8C76-49CA-9FF7-BA97E917FED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bec96096163e828580f0e45332f5a259f3e422f","datavalue":{"value":"pebble transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145674$1AA14170-A3AB-4A32-A67B-10FB7E55E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96ef05db1985d561c66e484cafea0a2bb9188e8a","datavalue":{"value":"polyregular functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145674$DCA96714-E7A9-4691-80AF-2CE2C6CE3079","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":"Q5145674$76C7CCBC-9DFD-4617-AC5D-19D844D92EFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"94f09fff03e5d41253457bc893edcd346f6808b3","datavalue":{"value":"W3032416319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145674$27953992-9B2D-4813-A620-793C240C6AEA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c448ddf1ac3d1e79792c191f9def7fff1f2afd49","datavalue":{"value":{"entity-type":"item","numeric-id":5219555,"id":"Q5219555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a9a6104be31bce0966d34d8ed5171b7e395bb5f","datavalue":{"value":{"amount":"+0.8790374","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":"Q5145674$DA7790DD-9A2C-4965-B623-9E1FAD75814E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d780c4415a804a5a4a04edaa4c94f0020e809e","datavalue":{"value":{"entity-type":"item","numeric-id":3735489,"id":"Q3735489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b922c38989c0ed578b1585d6b3f087c6ae83c658","datavalue":{"value":{"amount":"+0.8662918","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":"Q5145674$1590C2E6-E691-4C43-8E4B-88C9EF23D76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1095cc0a5e6bd7965b24cad6c94ad9188ff8a13e","datavalue":{"value":{"entity-type":"item","numeric-id":3777811,"id":"Q3777811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53116a56e915b359e444834aeda4a0db7ad43223","datavalue":{"value":{"amount":"+0.8569036","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":"Q5145674$C3F41A04-AF8B-4614-B6F2-F5FF0E630C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fff10b4cd2e22f08d179cd5e4675379eb50253fa","datavalue":{"value":{"entity-type":"item","numeric-id":3321363,"id":"Q3321363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c65aa4e153dced910c5fa321e60721c97d9efaa","datavalue":{"value":{"amount":"+0.8527223","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":"Q5145674$1A2F3D02-6BB6-4694-B834-06A675F97FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3946be76f24dc47b0f2e83102e8d5d702f25078","datavalue":{"value":{"entity-type":"item","numeric-id":3791776,"id":"Q3791776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4b301bb3098c32cc57d36ecfe1b2f10345d1e2","datavalue":{"value":{"amount":"+0.8518476","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":"Q5145674$81A9E6EF-8F12-474D-832E-9B939503D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d5de78f4e09009d11921234a00ca5b8cf6b635","datavalue":{"value":{"entity-type":"item","numeric-id":3821188,"id":"Q3821188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4b301bb3098c32cc57d36ecfe1b2f10345d1e2","datavalue":{"value":{"amount":"+0.8518476","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":"Q5145674$B98410C9-748C-494E-8697-47CB8F6EE1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee298d1b53eacdf7ca4e2bf16c6b2c951e387385","datavalue":{"value":{"entity-type":"item","numeric-id":3083305,"id":"Q3083305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758aeb84d28a4e728e058ca0aa04063fcbdb9cb7","datavalue":{"value":{"amount":"+0.8508872","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":"Q5145674$BC5E8EF8-3764-4FEA-B532-433DA7AF20A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a3ae0a68d36de348a69ee2066c7bd981376d01","datavalue":{"value":{"entity-type":"item","numeric-id":892787,"id":"Q892787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22c55373b0840d19b96dfa942aaacabecd088dbb","datavalue":{"value":{"amount":"+0.84932905","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":"Q5145674$C5ECBFF6-724C-4919-BE09-C9E9D893C42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba7eaa811e5696e7c16a88fc2d59a11e0cdc9d5e","datavalue":{"value":{"entity-type":"item","numeric-id":714327,"id":"Q714327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219324798ce530ced52f52201d3b06ee0cb889fa","datavalue":{"value":{"amount":"+0.8492298","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":"Q5145674$08C25802-DFD9-4C4B-9255-B23C6D6E9E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"566312327d1d2cad9db28edc281e1b2f68ca9a8a","datavalue":{"value":{"entity-type":"item","numeric-id":4428719,"id":"Q4428719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"219324798ce530ced52f52201d3b06ee0cb889fa","datavalue":{"value":{"amount":"+0.8492298","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":"Q5145674$99FAB507-6808-4CF6-8A9A-BD505981122F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pebble Minimization of Polyregular Functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pebble_Minimization_of_Polyregular_Functions"}}}}}