{"entities":{"Q3088018":{"pageid":3098733,"ns":120,"title":"Item:Q3088018","lastrevid":51317642,"modified":"2026-01-17T17:56:16Z","type":"item","id":"Q3088018","labels":{"en":{"language":"en","value":"A formalisation of the Myhill-Nerode theorem based on regular expressions (proof pearl)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940078"}},"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":"Q3088018$F6B81FAB-F4C5-4B06-86EF-5C399FC7227B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be61fc15d92f57f2eeafcfefdae52a701022d95e","datavalue":{"value":{"text":"A Formalisation of the Myhill-Nerode Theorem Based on Regular Expressions (Proof Pearl)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088018$C5DFE211-4A9B-42A7-9685-DB1BAC1E0166","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f293df124f3299042b878b6e674d03d2aef80d6a","datavalue":{"value":"1342.68306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$21CAC3A4-7B4B-444D-A4E2-611EE996D3C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5363e868e555cc54221d7df16b6ac51ee3f56b1c","datavalue":{"value":"10.1007/978-3-642-22863-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$2ED7932E-97D2-45CF-862C-1480FAE88398","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39736715bab30a3ff137e1dff33ce2b8ee7a27b5","datavalue":{"value":{"entity-type":"item","numeric-id":2303233,"id":"Q2303233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$A4DC5F92-A01A-42EB-9640-E8696FAD783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$1694B826-F755-4517-86B3-CB04C75E0232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c1db257e626cb76e16153e74052c741125ca701","datavalue":{"value":{"entity-type":"item","numeric-id":2113967,"id":"Q2113967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$70B12841-7A99-4302-92B6-BE83CE91B97D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$B951D1EA-FF74-4E60-91DA-60B4DECB6ABC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088018$2E1348D7-2666-4253-8C4D-5274BF0E792D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$3A700C6A-A340-447C-8498-9FCB7EC60F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$47BDBFD6-23E2-4C24-B04A-F8A8A447D746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"888a17992d420d801b3d49c96d611932a11bef4b","datavalue":{"value":"5940078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$5F92F47A-0601-4804-86A5-1393B23C4D96","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd1392891407fd9f11bfc5ced5f71a7f7a0fb2a6","datavalue":{"value":{"entity-type":"item","numeric-id":40261,"id":"Q40261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$BA6974AA-DD7A-46FC-8506-FED2E08A772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98fa4eae74c00b37595e0b95ae97e84b58f1b880","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$EF665D79-410C-4FA0-9034-989FDE823179","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":"Q3088018$BEA66C1C-6458-455E-B2AC-086EC401236A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"736f82becab112d484d5d5462a64c196b3190b94","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22863-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088018$574219F9-4A74-4BDE-B6D9-40F4CD1B54A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5464cce1e8d66179b1e657c5daf9e17546f87703","datavalue":{"value":"W1500313939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088018$2FC21A55-B12F-463C-9177-92846FB43044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$663D9AB6-6238-4744-ADD1-D27C090210D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$29014034-DC95-4869-BCC3-A0228ED64CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$38365D5F-F2DA-4986-B6CB-C2E7637CA917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$877FBF84-B0EE-41F7-815C-0395C96F9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$16091502-F3C6-4401-9814-DED3FB413C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae6bc8f1db4896eaf2d7f33a78e86ea3e68692d","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$1B4006E0-9C8F-42F4-9233-30B0840E6DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351df2a8b1173f3d3a83aebab494a1f900b8f514","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088018$85685757-53CA-47EF-9F61-6B8AE37465A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f81fbc18418f9b2042fcc98dca4f12a99820f140","datavalue":{"value":{"entity-type":"item","numeric-id":2351151,"id":"Q2351151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6100b6ee2c12a84bb0604eb9879c7dca2c97747a","datavalue":{"value":{"amount":"+0.9544728994369508","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":"Q3088018$A07460A6-408D-49B6-B415-A5381445BDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"038d284f7f513b61d7fcad54728bad5301d4393a","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"346263809910f8c57038b2800ad345dbbe1eb206","datavalue":{"value":{"amount":"+0.7837406396865845","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":"Q3088018$30A5A9BE-443D-459E-B6ED-9F9A631BA0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3e395de17fd4363de1a91973e01f6103e1c10a","datavalue":{"value":{"entity-type":"item","numeric-id":2914749,"id":"Q2914749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e5ede656a63ceb6f1f679bf35951ffe36323cc","datavalue":{"value":{"amount":"+0.7580313682556152","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":"Q3088018$B83DE5AF-6DF4-4C3F-B52C-4B360D04AD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39eca9f95562e6115e4639f0089d090e5b39745f","datavalue":{"value":{"entity-type":"item","numeric-id":2908498,"id":"Q2908498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d0169b4b8681b3c8e030966ad1c3d9933c4490e","datavalue":{"value":{"amount":"+0.7545133233070374","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":"Q3088018$F335629F-E109-4B6D-87C5-BB59ADFE7F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e377286c0e68a6604ff3575e0f799968c00d5380","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161037364cbde6c3edd35c9719a569466f53422f","datavalue":{"value":{"amount":"+0.7509786486625671","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":"Q3088018$5A1F6AC6-D0DE-438A-A5DE-6B20C0C7F188","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088018"}}}}}