{"entities":{"Q3297597":{"pageid":3308305,"ns":120,"title":"Item:Q3297597","lastrevid":80753897,"modified":"2026-05-06T16:55:25Z","type":"item","id":"Q3297597","labels":{"en":{"language":"en","value":"Chain-free string constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7222927"}},"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":"Q3297597$EA66DEB4-CB17-4A29-96F1-A7A236FA3FDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c6bd223cb7ed41707dd56ed795a28e5e99e5174","datavalue":{"value":{"text":"Chain-Free String Constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3297597$848C2624-8DDA-47FB-869C-87F4E1FAFB18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0041e1f05bb8021464f2e31e52ba9c1fca0838f0","datavalue":{"value":"1437.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$FEE4D9C4-55E2-420C-9573-273470752739","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5b8e1dbe4d4fe6e81aa8cd378e960a1dbb7806f","datavalue":{"value":"10.1007/978-3-030-31784-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$F78125BF-5BB6-4871-89D0-0DF764A73960","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$15F81078-F2CC-4BAE-B166-459E0AC6681F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5b3858ee4ce0d677b090d18ec2090b3038558a","datavalue":{"value":{"entity-type":"item","numeric-id":2281621,"id":"Q2281621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$59200B65-B71F-465A-BBFB-4C7E4BC0B938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"88ff85b194809bca7f50c32cce728497c09fefc5","datavalue":{"value":{"entity-type":"item","numeric-id":300409,"id":"Q300409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$AAAD188A-62FF-4533-B303-3C65B40FC997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"091525fa2b3eeeb1fc9f1c4bf67049e6c4ea32bf","datavalue":{"value":{"entity-type":"item","numeric-id":3297596,"id":"Q3297596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$93313340-5A14-426F-B439-A4A2D8D84F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$FF9B17A3-C10E-43E1-AD44-C960C8D7963D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$89F0139C-237A-4E1C-B45F-96E87263295E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93d5f4948d316121f295e91de8563e97eff620a8","datavalue":{"value":{"time":"+2020-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3297597$BA8788A5-3D12-4AA2-8669-801C583A4E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$06A9C0A3-C533-49CE-B2D6-76F65D4D62B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$DCCD8788-E0C3-4C17-A744-0E960C69324E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c342ba6ccc31174bb44753ac813a2de62753abff","datavalue":{"value":"7222927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$5353D760-7729-4095-B73A-D6E58A288F0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88d9e6b91704a49cf209362bf007030d1ba4ddac","datavalue":{"value":"string constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297597$B5EECCB1-F9CC-4D1D-8300-F99C6444DE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297597$B4D7EDF9-B1AD-4126-A810-C8F1262D4DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3297597$D11FAA95-A441-4556-AE68-DD4D584D4EC9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$AA94F799-6C1F-4762-89FB-CC8235EA64CE","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":"Q3297597$FFC889D2-6769-4CED-9EEA-6D4EC0685FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bdf32cbadeb7558eda754397e87c5420d6ced54","datavalue":{"value":{"entity-type":"item","numeric-id":33653,"id":"Q33653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$F395536E-902A-4980-ADF7-4CA09C539A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9b6ed2a4717208bd87edcba8266a1421b187e25","datavalue":{"value":{"entity-type":"item","numeric-id":42233,"id":"Q42233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$A9CDA6AB-81AB-4E71-B282-D17C7D1D874E","rank":"normal"},{"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":"Q3297597$9FB8FA1A-FF71-4DEE-A31D-1CC7FBD42CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$3FA5C595-EEE1-4520-8A6C-13E65FB5373A","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":"Q3297597$156C356F-ECE7-44D0-A59D-72FA636C344D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$1590A75E-3C45-4068-985B-A113F6FA30E2","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":"Q3297597$498ED36B-371A-40B1-837D-8EBFB8B2F9BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e9235fc332231cab2f34b9de21f2e9c81404bee","datavalue":{"value":"https://doi.org/10.1007/978-3-030-31784-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3297597$39EDD3BF-90B1-4DE0-85CE-C1C3DC109258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aec91c3270ad29715a1e5b5d690911721a65cde","datavalue":{"value":"W2981614836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3297597$3B402D0D-55F8-43EB-ADDD-E26AF5C54D90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14dfba00ef3c929aa8e0a6231dd575c4fcee0bb3","datavalue":{"value":{"entity-type":"item","numeric-id":2846573,"id":"Q2846573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$DB63F9E3-7CA6-403C-8EC1-C4139FEDA4B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf045231a1ed32f3a90aba5b68efa5e97dc9514c","datavalue":{"value":{"entity-type":"item","numeric-id":3773843,"id":"Q3773843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$94720444-007C-465D-8ED0-FDCFD40F8BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72a24ab38e8fafa6fbae1839d4df37aee0396ef","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$7AD60565-2DE5-4B6A-BB1B-ACDEAE92CF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$59D4AB42-6FDB-442C-A1E9-F80C70747CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f04d0979fc697884f2828553f27d7a8a83c3f8","datavalue":{"value":{"entity-type":"item","numeric-id":5384968,"id":"Q5384968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$B79864BD-291E-4147-8F6F-7B588EE1ACB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5af7a0be58f8dc13db4767cfe0acfeb5913530f9","datavalue":{"value":{"entity-type":"item","numeric-id":4508307,"id":"Q4508307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$7182FD3C-5CC7-4EBD-9123-A3463ECE39DD","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":"Q3297597$A9A6C4F9-CB5C-41E1-A488-D75A506919E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66ceb8ec0539a655fc0af44496831760b37a384","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$BF1B0AE0-D21F-4607-8588-E5DD5D5F66F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64f0c9b576f1824f2de905ba6f67be3b88864da","datavalue":{"value":{"entity-type":"item","numeric-id":5845416,"id":"Q5845416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$F0493792-0C97-4802-921A-7927BF7C5C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fa78d199c1a45949047edb73ab94398f608b93","datavalue":{"value":{"entity-type":"item","numeric-id":2164248,"id":"Q2164248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$EDEB21C9-060B-4C0F-B089-66157FF95B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59ac119e876d85eb92b15c503e4e479fdd3777b","datavalue":{"value":{"entity-type":"item","numeric-id":4251053,"id":"Q4251053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$B9BC4F13-4F59-4D25-A296-B731B048E4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$C51409F2-BDB0-472A-B31D-107E30A52160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7024436ce79d78900d887501762f1523e2832f46","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$BAA7E3C0-B303-4364-A967-EA698CBC8BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5719987d95abcff509f77c3d64c5ea4f2a7f4b","datavalue":{"value":{"entity-type":"item","numeric-id":4633536,"id":"Q4633536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$93BE1552-ACF8-46BC-8F65-5BDAF8128845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e175be2d970e9a1994d85c88e332778ef2a0c5","datavalue":{"value":{"entity-type":"item","numeric-id":4633540,"id":"Q4633540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3297597$4AA63D86-1D59-4AEB-B417-95336010810C","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":"426a5e05062694fba6dee9afa98238a0975b70fd","datavalue":{"value":{"amount":"+0.7722217440605164","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":"Q3297597$690528C8-6269-45F1-BE50-D09EB1B8DE87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0661bb8afb793b8d790ffe632fdd1f9ae496d","datavalue":{"value":{"entity-type":"item","numeric-id":2964458,"id":"Q2964458"},"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":"Q3297597$C289F690-9242-4839-BA78-CEECA28EC1FD","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":"55ed6d33b2f21a9bf5219d79dd9da0ac8aae1ac0","datavalue":{"value":{"amount":"+0.7563636898994446","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":"Q3297597$82234496-13F7-42FF-85B2-EB00B4E7CF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48e518e8a1e1f9df8dd3df5711783cfd47a4aa46","datavalue":{"value":{"entity-type":"item","numeric-id":5741480,"id":"Q5741480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4962e7117faf371755c7c5526406d3eb00206406","datavalue":{"value":{"amount":"+0.7469968795776367","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":"Q3297597$3B8700DC-DAF0-4121-B69A-7670122694B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85de523121358c548575a4c79647a63100681d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2828250,"id":"Q2828250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf54faa4b964dc1262f7f8c5f73ef6251aa8744","datavalue":{"value":{"amount":"+0.7435104846954346","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":"Q3297597$D556269A-E756-4E96-9E68-F2488BF2F8E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Chain-free string constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Chain-free_string_constraints"}}}}}