{"entities":{"Q2964458":{"pageid":2975183,"ns":120,"title":"Item:Q2964458","lastrevid":52751399,"modified":"2026-01-23T10:32:01Z","type":"item","id":"Q2964458","labels":{"en":{"language":"en","value":"A decision procedure for regular membership and length constraints over unbounded strings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688812"}},"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":"Q2964458$940A727A-57C6-45BC-A702-36925097B7A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e322835865d7d83d5c476255933eae220117127","datavalue":{"value":{"text":"A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964458$971B2E0F-AA62-4260-9836-0600970FCE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6b7266973847264e13a03d006022929687b1988","datavalue":{"value":"1471.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$E955BCBC-6CBC-4F46-BF65-C9940295AC9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"234360cfc925bfd0a6b447c460ffba6395508798","datavalue":{"value":"10.1007/978-3-319-24246-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$999943C5-EEB1-46BE-AD78-1E53316F0E0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a708f833efb7d08c0315fd576eae86717ce6ca9","datavalue":{"value":{"entity-type":"item","numeric-id":518397,"id":"Q518397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$5869190E-9973-4226-BDB0-354AC6806B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb86119916d61a15ffc3436f1b3c720cb4c289f7","datavalue":{"value":{"entity-type":"item","numeric-id":518399,"id":"Q518399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$2AB7AEDF-FDF2-4EBA-801A-BAD138881107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$EE8D6FC6-C683-4D8D-9297-E5E0459CCB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$72030D0E-8527-4EB6-842B-01BEAE7960F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$936CC58D-82CE-493D-A4D3-189EDF509F8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$687CC4A9-7D5B-4930-AEB1-8FCE20505327","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964458$22108F1E-8305-49C0-A953-DCA34DAA118F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$2CE2F3E9-FAFC-47BA-B617-0DD2B109D2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$5526F779-DDA8-4DD8-BBE8-6EA065EBE815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$7C45608E-53CD-4434-A965-2A91ADD52537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$A1CAF1E1-5254-42E8-B694-8B23E8B09732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$FCA6E3E8-6FC0-4C71-8935-5DA1B771A5C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b6fd38c8966c11941bccdebf57fbccb7b48ab22","datavalue":{"value":"6688812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$CFCF7ADB-8FBA-41B7-A0BC-0C7634CB1E39","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49ac22cbc7f1c25c9986192cc70681f40e0463cd","datavalue":{"value":{"entity-type":"item","numeric-id":31322,"id":"Q31322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$7B4207BC-6295-4CB6-9D53-A8FE020CC2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f3ae470baece4f03ec596df9827c9204c93258ca","datavalue":{"value":{"entity-type":"item","numeric-id":31320,"id":"Q31320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$9B7605CB-1A6E-40AB-8BE0-C9012F078AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d068560d63c03dfd9102c9b275d1ffc29cdd1c75","datavalue":{"value":{"entity-type":"item","numeric-id":31321,"id":"Q31321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$C1A05236-613F-4BD4-B74D-8AF7B16DCA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$1FBA6388-58A2-40A4-B49E-1DCDB6CCEA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$5F463B18-5A1F-48ED-99B3-386504122E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0176915bcd8e9197e025aeb643840aa8fcdc5722","datavalue":{"value":{"entity-type":"item","numeric-id":21145,"id":"Q21145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$665146F8-49C2-4D39-B44A-09F473C389D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58983eb13ff884001edd1d51c3da3c619d8b872c","datavalue":{"value":{"entity-type":"item","numeric-id":33658,"id":"Q33658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$EA519D6A-FD14-4940-9EDC-93E72F3181FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8defdd41bc909054c02be9fcdac73c75633546b2","datavalue":{"value":{"entity-type":"item","numeric-id":21843,"id":"Q21843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$3F19EFBC-7353-46E8-AB13-725F8907234B","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":"Q2964458$96224ECF-C673-4758-BEEF-C194FC437F65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c23404ec07a7380877ab58f6043206f6f0f669d9","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24246-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964458$F3FCA9DC-8B50-4827-A204-E8267491B355","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53e66ca873d0a36be140985f6c85042db42a8b8e","datavalue":{"value":"W2295723447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964458$8352F3C3-D5CD-4ADE-8000-78AF00150EA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$9849DA8C-0F74-4475-9630-614608D147CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$E984611B-ECAA-46F3-A9AC-84E1003150CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b46cbb34b56f4bd29f5a11dd0e83b21032e8b6","datavalue":{"value":{"entity-type":"item","numeric-id":3586120,"id":"Q3586120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$038CB2CD-BCB5-4CF4-A954-88260B000114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$6CE4A40C-6966-4925-9A5E-44906F91A9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad897287445407ee795edd97d0959f0fb9be3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3617764,"id":"Q3617764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$E9B02B12-F581-425F-BCA4-3E5C6C9B0B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359fb45aaedb345f290c1d71c6196d254c3c1191","datavalue":{"value":{"entity-type":"item","numeric-id":4813388,"id":"Q4813388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$84864C5D-59FB-4A3A-A019-135BE7782C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4d91de204feb5edcace878be2e177a0321303f","datavalue":{"value":{"entity-type":"item","numeric-id":3075486,"id":"Q3075486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$306C9977-11BE-4D48-9CB7-1756858938F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05471aae7e071cb257e3673e6ee079f4d3972f3","datavalue":{"value":{"entity-type":"item","numeric-id":4540967,"id":"Q4540967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$E9A4DB2B-FD68-4836-B256-DD383B7B5E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdd9e476d1f75379ca5fa58c4f7bf7ca1cf3ade","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$6CEBC824-AC8A-4FC8-81DD-81B8AC618CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$E10A3660-9BBB-4C90-9A2E-035DBC4B90D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd5e33f2af50479bfb0e944c1566e00b4e76f63","datavalue":{"value":{"entity-type":"item","numeric-id":5717055,"id":"Q5717055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$B89F5056-5746-4B88-9B6E-94178B6587CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$5BCDF053-7C34-4A50-9825-049F42B5E2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12c8a78fdb6d49ac1992048f78754c13989c50a7","datavalue":{"value":{"entity-type":"item","numeric-id":3583578,"id":"Q3583578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$7C3D68C1-B6B1-4654-987D-80FB3037584A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de8ad027862d538b2b6f8571a66c4e0ce34b32e","datavalue":{"value":{"entity-type":"item","numeric-id":4447254,"id":"Q4447254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$9049DA4A-7E38-4C69-9DD2-6E3CCA7CBBC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c205a3527c640b7f32da7151a10fe74486f68","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$D3CF9A2F-20A4-4AD1-BEF4-9603B8A4E72D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6511f2ab28b1ab2433e56820834e0e4329a2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4933337,"id":"Q4933337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964458$A953A5E2-881A-4191-9BA5-51F7F317ED8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b2e08f73f62e28259e395453e917e84bed531b","datavalue":{"value":{"entity-type":"item","numeric-id":518402,"id":"Q518402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a43b01a176fcdd253be3ddbf49a902a776f495","datavalue":{"value":{"amount":"+0.8653701543807983","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":"Q2964458$14E8EE64-3F24-4071-8F0E-28B1169CCC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57801161d798face5f76eca6a2c219b5528d5e0a","datavalue":{"value":{"entity-type":"item","numeric-id":6166155,"id":"Q6166155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375fea39590402a229d268061f5116c30dee63a7","datavalue":{"value":{"amount":"+0.7865992188453674","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":"Q2964458$CCE1319D-66D5-4779-9B16-3F9229F8F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1094c88d03a598347d4c045c01fcc76beff211ce","datavalue":{"value":{"entity-type":"item","numeric-id":526767,"id":"Q526767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb860ede3ed347e1cd5a1d7a4a06b468d0a6ccaa","datavalue":{"value":{"amount":"+0.780768871307373","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":"Q2964458$135C7A2D-F87B-4A0D-80BF-6C25C51A7D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe307e50fa6e08a5a0532ef08eb312437e27c28d","datavalue":{"value":{"entity-type":"item","numeric-id":6487302,"id":"Q6487302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba2d0422c1022d5b0dfd8ae3ad5eb44334a16be7","datavalue":{"value":{"amount":"+0.7741634845733643","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":"Q2964458$B14656A7-9DDD-46B2-A011-82FE1F6767F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31af5e63cceff5d7feab45098b2bf4826c77b98e","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cc0a8a0573dc0320dae462db1695a2464b70756","datavalue":{"value":{"amount":"+0.7718391418457031","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":"Q2964458$16BC94E2-C204-4390-B5DF-B7BCDCA6122D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964458"}}}}}