{"entities":{"Q6093575":{"pageid":13227882,"ns":120,"title":"Item:Q6093575","lastrevid":41228419,"modified":"2025-04-21T22:38:20Z","type":"item","id":"Q6093575","labels":{"en":{"language":"en","value":"On Simon's congruence closure of a string"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7735123"}},"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":"Q6093575$7C85B5B3-7E98-4D38-9549-C86545EB1BCB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b16d48295c2bb617301cb2643aa766347f614a46","datavalue":{"value":{"text":"On Simon's congruence closure of a string","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6093575$6703826A-F236-461D-B12D-785AF5CA3B82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19e9ab4b51909771089c4ba9145c4760fbfbc0bd","datavalue":{"value":"1520.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093575$AEA3FFA6-1224-446D-ADA8-B8BD3EE00660","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":"Q6093575$880BAFEF-5906-4A4F-B1AE-287E50893C94","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":"Q6093575$766AEE9C-76D8-4989-B981-563331F00BB1","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":"Q6093575$CBC88CD0-ACEE-4D1B-BB3E-009DCE3DE6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$FE57E983-774E-4E8E-948F-9C3006D80895","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":"Q6093575$3C175F83-B877-421C-81F3-229E007F09A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01b11c9d4800996e8623922e5c34ea9a50befc7a","datavalue":{"value":{"time":"+2023-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6093575$5D332CA5-48B4-41DF-B77B-B0562266EEC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093575$8FFDCD67-B377-49BC-A3DB-A453A76D1794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093575$AFAA1981-C83C-45A6-97A4-16097DBD5031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff3d3b862a768548fb28890da7572a9b6362760c","datavalue":{"value":"7735123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093575$605CD848-76AF-4FE4-8BB0-66A35A281C2B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fb33c1a08cf6d043cbb75ba1ec162dd216c56a5","datavalue":{"value":"Simon's congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093575$6DFDD5BF-2EC1-4BDF-8D3B-C3B0B34A4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093575$1158C198-A8E1-4D42-80C7-5F7F12869FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093575$41103FA4-B308-467B-B1B4-6A6E79789CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84f15a24d667ab21ea96e8afaa1a378d5a7e8daf","datavalue":{"value":"shortlex normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6093575$E69B359C-B38D-46C3-B4B0-853817786180","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":"Q6093575$A8121DF4-7185-4B73-BA70-51E2BF865A2D","rank":"normal"}],"P223":[{"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":"Q6093575$46B44EF1-DB3C-4CFE-9A68-4A126F7145DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"247df18e17d99b18f3fad322633de85f8add9f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2358683,"id":"Q2358683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$AB518CE9-C9C3-414B-BFBB-1D6336B7DF7E","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":"Q6093575$6CB4A6B1-4BCF-4FAB-ADD5-F186636D46E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4e9b5ca4ac19cb533459b0010a9be44c47b83a","datavalue":{"value":{"entity-type":"item","numeric-id":6169894,"id":"Q6169894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$9E6CF047-FD4A-4E8D-9645-AFE5AAF90BE1","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":"Q6093575$51B4D1BD-7502-41BF-B0CD-2A91BDD673A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cae6fb3d03b45e2cf1b56634abbd81a2940eddd4","datavalue":{"value":{"entity-type":"item","numeric-id":2117669,"id":"Q2117669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$D9720A33-DEE9-4BC3-8631-35D75932ABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b1c777a4f89f357b86dce24d7af076ede68d3d","datavalue":{"value":{"entity-type":"item","numeric-id":2512830,"id":"Q2512830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$5931089D-8D4F-47CF-B8CE-39C8A8A4E1F8","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":"Q6093575$31A58AB5-A566-42AC-B819-B6223ED6475F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb20521440de465eb9be21a24eab7c9d583a92a","datavalue":{"value":{"entity-type":"item","numeric-id":4970534,"id":"Q4970534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$75987D97-44FF-448D-B7B7-24E8F889A7A8","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":"Q6093575$B5B1302C-2837-4D00-B611-AFBF2275458A","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":"Q6093575$3844E7B9-F062-41DA-BEA7-D2D795721C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308cf46ecdab71c6b1075c08c196067c9c347d19","datavalue":{"value":{"entity-type":"item","numeric-id":3608423,"id":"Q3608423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$141ED14E-7623-4A37-8965-8108AD7C2003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617310b37fc85fd09ec7dd2c4fe23b8a3c75fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4692941,"id":"Q4692941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6093575$144E55A7-86AF-4377-8611-EFC07791E188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c0e0cd8c599a68b78c19356e06b5f43e406313c","datavalue":{"value":"10.1016/J.TCS.2023.114078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6093575$FFF9719D-244E-4C41-B08D-76B591E4E111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e73be1177284ea086eb5ba8454248ee101a3735","datavalue":{"value":{"entity-type":"item","numeric-id":2112187,"id":"Q2112187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q6093575$51377469-8398-4C4D-A2E5-F8F455DCC548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0825eeae7e9d38937cda17b87d2f5ee7c806","datavalue":{"value":{"entity-type":"item","numeric-id":3219430,"id":"Q3219430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f68a91afe605f54444c1bd3f2e6f641b4a2d7c0","datavalue":{"value":{"amount":"+0.8489025","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":"Q6093575$48F4E391-6831-4F77-B16A-F182F088174D","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":"6dee5555bd99cb951aab50ac3877bdb8e3b0c066","datavalue":{"value":{"amount":"+0.82517606","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":"Q6093575$F7E77E16-2626-4F92-A7AD-186BAC58CD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080ab8f3c89305971990fdff655ab9022935ce10","datavalue":{"value":{"entity-type":"item","numeric-id":4520388,"id":"Q4520388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca133f65c584d15ca9c262d1635ac5431a5ff622","datavalue":{"value":{"amount":"+0.82343364","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":"Q6093575$C044BA8B-A384-426C-BCE6-7CBEE4D172EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c52cf78c6e3d77621edd0d72e6cc8cc2391bfd34","datavalue":{"value":{"entity-type":"item","numeric-id":6067338,"id":"Q6067338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d8f8898dc727a3d2e00f439295ae4f13646009","datavalue":{"value":{"amount":"+0.8210165","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":"Q6093575$414F1F6F-03BC-4E8A-B179-CF7300226511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc715deea8afc38d4ee4dd94dcdd117fa3d0ea07","datavalue":{"value":{"entity-type":"item","numeric-id":5859637,"id":"Q5859637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a825b36fc2cc95cd08bb133ffdbec1f52e6f30fd","datavalue":{"value":{"amount":"+0.8199703","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":"Q6093575$7A39E236-20B6-482D-B15D-49F97D4CEF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749b3ae661858955e3cc83924364994290bb787f","datavalue":{"value":{"entity-type":"item","numeric-id":1768176,"id":"Q1768176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8afffa23b6de9fb82c108141ee59dd7470a97ffd","datavalue":{"value":{"amount":"+0.8120977","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":"Q6093575$5C1F23C8-F710-404B-B70A-564DB27E012E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb196672bcb1c8cbe362cdc469fd4003f74d1896","datavalue":{"value":{"entity-type":"item","numeric-id":1102946,"id":"Q1102946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267455e8d29320f75d2c5b2c8e20a0eccdd7c0a9","datavalue":{"value":{"amount":"+0.8120768","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":"Q6093575$F14F387F-02B3-4DE5-B404-8C4700A92F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0bed15e2fbb5bfb237b57fdafae65829b5deab","datavalue":{"value":{"entity-type":"item","numeric-id":1191634,"id":"Q1191634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbae50799d2cc3e0c97f78ff6c22bcbf30bf2e80","datavalue":{"value":{"amount":"+0.8104986","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":"Q6093575$C8377423-E00C-4F3B-8F45-AD046491A93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6780a473f2531033ed9ff794b00f2c819392e060","datavalue":{"value":{"entity-type":"item","numeric-id":4258669,"id":"Q4258669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70220251887292b95cfe1703dfc10abc4f917b08","datavalue":{"value":{"amount":"+0.80989957","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":"Q6093575$9ECF5875-A188-44C8-A7D9-2B5F7EC04E47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6093575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6093575"}}}}}