{"entities":{"Q3100207":{"pageid":3110922,"ns":120,"title":"Item:Q3100207","lastrevid":45450751,"modified":"2025-12-08T14:27:35Z","type":"item","id":"Q3100207","labels":{"en":{"language":"en","value":"A Decision Procedure for Regular Expression Equivalence in Type Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977508"}},"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":"Q3100207$3E81C128-E2AF-4171-A10C-6C6673BBC5BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"786e6a89da9ffd5a76404ef0b002f85a7db47627","datavalue":{"value":{"text":"A Decision Procedure for Regular Expression Equivalence in Type Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100207$4A7193C1-ED84-4391-AB34-070CE0C5D726","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acb7c2bd083449c8cc67f037e9bb932e6a59c490","datavalue":{"value":"1350.68228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100207$614C6DEB-7BE3-43F2-B1F2-2A7E0154505E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e5ff0aed4b16a22e26e366f08711c5950e1abc","datavalue":{"value":"10.1007/978-3-642-25379-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100207$1DA022E6-1AB8-4E74-BAA0-189D02787EB2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$98F5DFB0-5F94-4D59-A0AF-80AC10A05D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9837115d701db3c6d1129817eee769862467ad1e","datavalue":{"value":{"entity-type":"item","numeric-id":2844695,"id":"Q2844695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$CFA0FE68-4CCD-48DB-9F20-1F1BD968D12D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$59EE4A63-9DE4-451A-96C0-B88D184E0B00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100207$00CC9A65-34DA-4974-9065-F7824C852182","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100207$FD88BCB0-C9DB-4F60-8542-2863E9249EC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f9b13b5e1178b7bdb9b0462bcfd135717c937d7","datavalue":{"value":"5977508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100207$D255B471-9F7E-4E48-9B6D-4927AEC38754","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$D90FBF0F-52D1-472A-9980-6F15DBA3BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$C54FA912-5658-4EE2-B6C6-87782E9AD1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8e7deacad56e3bf59f522de6c1fa96858f2fd494","datavalue":{"value":{"entity-type":"item","numeric-id":18676,"id":"Q18676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$BF7D4F5F-9FD4-4A80-8C64-E86357C3ABDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a94daa7865c51c0d2412cced8422ea9361d06e30","datavalue":{"value":{"entity-type":"item","numeric-id":21343,"id":"Q21343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$7C372FA4-63B8-4919-BDF3-2DD2ADF29B5D","rank":"normal"},{"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":"Q3100207$03E30456-098A-4860-BB4E-F45B89D7D79A","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":"Q3100207$E8F00457-5772-4335-BBAF-307DFFFFAFCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"738956bc9e4e578ef974e893a71dc9cc4e8f8018","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100207$8E73FBD4-D1D2-43B7-8E8D-88A78554EBA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d1c36171a1449af3f3157b691972fae975f1c7e5","datavalue":{"value":"W2235749104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100207$EC5F5384-91F3-4F45-AAB0-79D9137CA044","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec920212c7bee4f02e99d512c4de636c7eece737","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$DE817759-965E-40C6-978E-FB0BCA054507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ea42446cc519607f67e72d2e7dee47b560cfd3","datavalue":{"value":{"entity-type":"item","numeric-id":3166225,"id":"Q3166225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$BD08647F-7775-4967-A8DD-F19FC54DE9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$62F5C2B1-1FD7-4320-9331-6FA14DAE214F","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":"Q3100207$239A80C6-A70D-4213-B7AC-638D75C19A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$28355766-573A-45D0-8BA7-144A5AC6E9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae56cbc30bf4e0ace39780e420d931108cdd0102","datavalue":{"value":{"entity-type":"item","numeric-id":4145861,"id":"Q4145861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$AA1BE6AD-FFDF-49BA-BE0A-8948D35B77AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$A63EA266-441A-4290-9650-A2FC46030355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$3D76843C-1CB3-4A8D-8560-1667B5F564BD","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":"Q3100207$A755A7AD-B147-4C15-949F-EB804721C2B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d8ad24cb4bd25b66b08a8a88a01461662f8272","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$C67D3B50-6C57-43D4-A332-1E55C5AB725A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$3C23BD5F-EB68-4C11-9C25-6C3CC0CA5F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aef60bd392ccfb5e82daa98f095917b33d1745","datavalue":{"value":{"entity-type":"item","numeric-id":3183545,"id":"Q3183545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$28EF6472-68A8-405D-84F9-CFDABFE84F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce670ec1d34ee6c61f1437c968abe3b27423157","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100207$A47DD3B2-6EE4-4C63-AF75-B7177455BCAE","rank":"normal"}],"P1643":[{"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":"b200909ae63f7965b1af513c6cda38ec7c63d288","datavalue":{"value":{"amount":"+0.91836333","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":"Q3100207$608E70E3-E002-4226-B009-22540D97E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29fdc187c40943025ceec1a4fe3e7d79c3edce0","datavalue":{"value":{"entity-type":"item","numeric-id":2851929,"id":"Q2851929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7cd81fb266e79f85e817c982eda47d767faef4e","datavalue":{"value":{"amount":"+0.9155793","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":"Q3100207$9D169549-F84C-4F5E-9974-D7939D8A72C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8725401b12ea13eec168fe335b1495c7f4533b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07094f55a2a0d8c5a00c79124b3414bdf276dd8d","datavalue":{"value":{"amount":"+0.8914197","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":"Q3100207$7673F829-2DF5-4F4D-8E5F-84516C07D5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6349d66e021a1e6726afbeeee476c8cdbc49c62","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada50fea4cdcb935c71f0fc642ab9201964ca148","datavalue":{"value":{"amount":"+0.8832562","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":"Q3100207$571156B9-5AFC-4F26-90BA-4170562A2B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8844b00547a7df487afcf7945288a82e01b2793f","datavalue":{"value":{"entity-type":"item","numeric-id":4943321,"id":"Q4943321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96da6b01d2367c7eaa2779997b67774e447b85f","datavalue":{"value":{"amount":"+0.88229513","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":"Q3100207$DF5B49FF-B5FC-4256-84D3-B6CF6F66D140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de40c31396555b7ffbbdbcd46726f4456adcd13f","datavalue":{"value":{"entity-type":"item","numeric-id":5464059,"id":"Q5464059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"121aeed0e666d28c8b3fe585a0988ad02f85d178","datavalue":{"value":{"amount":"+0.8763854","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":"Q3100207$535BF4AC-5E7B-44AB-9A2C-E7AC8F91EAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e07ca98430ea0f67988363309b9e28969d4e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2361347,"id":"Q2361347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55d315ae2ed76ccaa9ddc8d4bd333c2c7150c24","datavalue":{"value":{"amount":"+0.87553495","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":"Q3100207$38D71BFA-AED2-4056-B077-269A1C040C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4027ea4599b37695586a1fa21ebfec4a14310c4e","datavalue":{"value":{"entity-type":"item","numeric-id":4910426,"id":"Q4910426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b55d315ae2ed76ccaa9ddc8d4bd333c2c7150c24","datavalue":{"value":{"amount":"+0.87553495","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":"Q3100207$4F0790D0-754A-4AB8-92B0-8232675A4B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553b043bbda9f27bc29ad986974d550c889a084e","datavalue":{"value":{"entity-type":"item","numeric-id":5408558,"id":"Q5408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94b92e0c1bfc0e6743721d76577f900b0866e19","datavalue":{"value":{"amount":"+0.8746271","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":"Q3100207$878D34E2-7592-4F61-BAA7-9E1400978AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a57d1cf6077fd943954f2c53e21c634294369c","datavalue":{"value":{"entity-type":"item","numeric-id":3801522,"id":"Q3801522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3033b7e265b76f69f237b2213a30b5457c5cf1a7","datavalue":{"value":{"amount":"+0.87166125","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":"Q3100207$E2FAFC47-E5EB-415E-BBF8-09F9B9BECF31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3100207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3100207"}}}}}