{"entities":{"Q6204538":{"pageid":13339425,"ns":120,"title":"Item:Q6204538","lastrevid":55619713,"modified":"2026-02-17T19:50:32Z","type":"item","id":"Q6204538","labels":{"en":{"language":"en","value":"Simon's congruence pattern matching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7826195"}},"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":"Q6204538$EF259765-34CB-4AFD-870D-F6DA2CBA63B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a18a37818aaccba690007c8a12439024a0b920b9","datavalue":{"value":{"text":"Simon's congruence pattern matching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6204538$1D54F5F3-C0C9-4803-B8D1-B344643B6BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa702e538b9a0ebc1a614578679af1913a5fc680","datavalue":{"value":{"entity-type":"item","numeric-id":709000,"id":"Q709000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$D90BE609-8FFD-44C3-B2B9-3B7BF5DBDDC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9921fec4a90bb1826d53253a693327953103aa8","datavalue":{"value":{"entity-type":"item","numeric-id":247254,"id":"Q247254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$443E2BD5-BECC-4704-9FDB-7E0314A99D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b9be352a0547cbf58bc75f40a54645b3913886","datavalue":{"value":{"entity-type":"item","numeric-id":247253,"id":"Q247253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$B2024AB1-59EA-42EB-9280-BF5340D566DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$71C6FD0E-AF7E-485C-95C8-BD84482FDF8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1ccdf6217cefa4fa8e84abc7a9cf0870ff18c0b","datavalue":{"value":{"time":"+2024-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6204538$D3EAE0E4-ED29-4A1F-8A3C-BAB4C0CD8785","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$D74A1EB6-8881-4D94-853E-AE66EA353073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$3CB567FC-D7FF-4A34-92E0-7BC8F3E811D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$ABC3DB8F-BE5B-4980-A091-16FA6710B21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$7DDB2F2C-433F-4A6C-91F5-63245DB665C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b540446013a7926e4da5259d5a1a655df1e8c8b","datavalue":{"value":"74K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$6365E64C-162D-43E3-9272-25C77E887913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0791678af6b0a4bcfab3de24ae8c23d9c1bf27c5","datavalue":{"value":"28A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$1F8354E6-F0B5-4140-BC20-6E927EA12B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"be14d74e7373d4be53948ee09a2de5c2e5440758","datavalue":{"value":"26E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$1D8F4780-83B7-4BD1-BBE5-1EB6F4FC8A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$F3BE7A91-49B0-47DE-B76F-12C62AFE0595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$598BE72C-AAB9-40F9-B272-D9B23E1AED0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f1ab8823a3e9735c1bed5e9378a197cfef6b276","datavalue":{"value":"7826195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$C4394A3A-6A55-40D9-BD25-61A17413FC72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204538$98E49174-E4D2-42A9-B92B-A8F118AF77B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb33c1a08cf6d043cbb75ba1ec162dd216c56a5","datavalue":{"value":"Simon's congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204538$E68F2D79-413D-46C4-94C0-32F01D75F880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60364b7810b08f763ddd57c6d61bc846e95b3d77","datavalue":{"value":"string algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204538$25D097C7-4E86-4085-A63A-02C16CD93B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6204538$5E6E2019-6471-4F3E-B146-124173DD74BB","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":"Q6204538$DF0D7D44-1049-4C13-A0B0-A74ADDF62F36","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4d3c282f52df2d4a118480cc7c0d2de17edcdc","datavalue":{"value":{"entity-type":"item","numeric-id":6134862,"id":"Q6134862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$A4722FD1-467D-4823-ACB1-F03766EA06B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"665644f8291df8f7144bf9aa95ebdbecf3e80826","datavalue":{"value":{"entity-type":"item","numeric-id":6065393,"id":"Q6065393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$BF9E69C4-F467-42AA-B0EC-4E4495D674CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce42528ec9ac08dbaae01f15d39a6acdf3368e8","datavalue":{"value":{"entity-type":"item","numeric-id":5041246,"id":"Q5041246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$3F985642-29C0-4CEA-B0D7-94FA2F7DDBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4a9e6a446ee2f26ddd00e0103afd2f8962c16f","datavalue":{"value":{"entity-type":"item","numeric-id":996830,"id":"Q996830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$B615A827-1431-4824-B4C1-8122E26D6EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73638d1dbf6f049515c281d8cb97afd801747be","datavalue":{"value":{"entity-type":"item","numeric-id":5005165,"id":"Q5005165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$AE6497F4-97AF-42A4-A446-9C69B350DA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3378b6484f5a5ccaf656b32026f564bed13588","datavalue":{"value":{"entity-type":"item","numeric-id":2112180,"id":"Q2112180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$0B71CED9-E71A-4D84-94DD-8BD9637087B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c98bc184f3d13058c6538a958db8bd493f1720","datavalue":{"value":{"entity-type":"item","numeric-id":758204,"id":"Q758204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$0BEF4C70-A3B2-410E-AE39-50A1A6391CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15fed2ca17626d36fe811af038816f630ab048cb","datavalue":{"value":{"entity-type":"item","numeric-id":6093575,"id":"Q6093575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$08C04914-6364-4053-B3D3-CC9A9436BD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb24e7bd9f87c64de62914209781b1181a77b0c9","datavalue":{"value":{"entity-type":"item","numeric-id":6067338,"id":"Q6067338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$4079063D-0F20-41E2-A74D-F42EE3BB96CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abaefa0afcf128a81a7cfbe009422b88fd75cdd9","datavalue":{"value":{"entity-type":"item","numeric-id":6134881,"id":"Q6134881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$CEE68570-DF37-425C-9D7F-2800B9F4319D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9fe604e660d702c669b699e6af48f385ee540d","datavalue":{"value":{"entity-type":"item","numeric-id":4737911,"id":"Q4737911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$8C9F49F7-4900-4D49-AAFA-2C45E4F45BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$89A54B4D-C47E-43CC-98AA-E04C52A11E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"261fa8822965b3a89f7b7df061221ccb67169c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1690343,"id":"Q1690343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$5FEBEF15-3731-47E3-B5E0-C64C97390FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51fedaa1226af33f3e132239a703d6971d476d26","datavalue":{"value":{"entity-type":"item","numeric-id":3395099,"id":"Q3395099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6204538$6490D50F-B597-40BB-ADD5-D217B72582C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"172c0ed92287fbfd538da36d3eeb3bfa2cf81aeb","datavalue":{"value":"10.1016/J.TCS.2024.114478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6204538$D474C1E7-6131-491B-B7E6-203628522C50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4519fe9ff1ce19817067072387478a8b5e833b","datavalue":{"value":{"entity-type":"item","numeric-id":6093575,"id":"Q6093575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd8ab2bf5f62364b03b8cb52773f7d7287b19a3","datavalue":{"value":{"amount":"+0.8215169310569763","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":"Q6204538$14FB3092-DAF2-4F27-94A7-DD4522B1531C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1893d78d328eb6f2c920da4537e822db62dc087","datavalue":{"value":{"entity-type":"item","numeric-id":685473,"id":"Q685473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd4f3a4a3c6235753ab31e3ed26f005d1b7f27f","datavalue":{"value":{"amount":"+0.7475177645683289","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":"Q6204538$0601D19D-FE25-4D51-8B61-2EB49B7632E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ebbc4be2b72e74fe0f4827feea74cc4a286d8a","datavalue":{"value":{"entity-type":"item","numeric-id":667852,"id":"Q667852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e8fa20960d5d8abb9e75a2a662178ca9d472f4","datavalue":{"value":{"amount":"+0.7457202672958374","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":"Q6204538$A42B7E24-0BC1-422F-AEBF-B03C5DE3E786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a843a65ae31d827cfe11398ec71bca57d888f59a","datavalue":{"value":{"entity-type":"item","numeric-id":507402,"id":"Q507402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3d94f690a0e90fac026f0c55b5c1213c262951","datavalue":{"value":{"amount":"+0.7405110001564026","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":"Q6204538$A3FD2476-8FCB-457B-BCD4-DF291BE6B866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"822846cc0cbe2265dca189738dc23f1cdd30b457","datavalue":{"value":{"entity-type":"item","numeric-id":4449230,"id":"Q4449230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fadd39babb244d9da783755d0f137b8df23e83","datavalue":{"value":{"amount":"+0.7162722945213318","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":"Q6204538$16BC5811-19FA-4DD2-A439-C4E75E5C712A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6204538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6204538"}}}}}