{"entities":{"Q6166155":{"pageid":13301037,"ns":120,"title":"Item:Q6166155","lastrevid":94156754,"modified":"2026-06-05T06:01:31Z","type":"item","id":"Q6166155","labels":{"en":{"language":"en","value":"A decision procedure for string logic with quadratic equations, regular expressions and length constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721441"}},"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":"Q6166155$A854B863-E149-4D30-9B0A-AC2F8C6ADB58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8ed314886a2a6fcd6767bdf1145398acb784c3f","datavalue":{"value":{"text":"A decision procedure for string logic with quadratic equations, regular expressions and length constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166155$6DCFD118-F2B8-4B6C-BE23-5A5F4D8EDC81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"047cb549e53353874c90e21485f1b537289420c4","datavalue":{"value":"1519.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$6775D38D-5379-402F-A751-833E86957B4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01b0517d270b020f81383afba5317b478ea855b2","datavalue":{"value":"10.1007/978-3-030-02768-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$19F74890-2E46-47EB-BA2A-3BF5DF4C534F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a423a466fbecbb20f333bdb71f0b06a2cb01ab3f","datavalue":{"value":{"entity-type":"item","numeric-id":2234105,"id":"Q2234105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166155$E7FF26DA-56E3-4EC9-943C-5DD08DD21182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e23f3bf9ddcab9b4e2e432ffa7398f8507b1a5dc","datavalue":{"value":{"entity-type":"item","numeric-id":778373,"id":"Q778373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166155$38B6B394-2463-4866-A8EC-ABDA56BEC0A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166155$EE6C316F-CFF7-4E19-88F8-1B3DABE06E16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166155$4CA22C2A-CE7D-4382-B096-D428057BFAE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d359c85ee77fa72a06b232b073875c2fb749c689","datavalue":{"value":"https://research.tees.ac.uk/ws/files/24738048/aplas2018.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166155$10B6A04B-3CA7-407C-84C8-62127AE3AEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$785A1C2C-D4D5-4767-9968-C3F6EBCF470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$359DBC01-CDF8-4DB4-ADD2-DC1E38E3511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$A9D52C2D-B48E-4982-AD59-D4502A93C617","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f08f0a58a14804083f9f81b1b07c06ff5e50b8f","datavalue":{"value":"7721441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$75B347C1-0A3F-4B96-9562-891657A08ECC","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":"Q6166155$D701EC05-AE7D-4B1B-AC55-FDB0FBE9B9F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4c7729251f9e68eccb21a0001afe4745cbaeda4","datavalue":{"value":"W2897835509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166155$C3FA7F3C-E4D7-469A-BF0B-B39F8A893207","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98f98be1516f2857c90f426f553ee2b36513969","datavalue":{"value":{"entity-type":"item","numeric-id":5028423,"id":"Q5028423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d3565fb8f8c02709e0a8dc5e50788fab726c25","datavalue":{"value":{"amount":"+0.8007929921150208","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":"Q6166155$617EB7F8-BED4-4B2F-B631-66B810A704EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3496d54b418502b7ef9fd284e492afeb0a0933b4","datavalue":{"value":{"entity-type":"item","numeric-id":6109598,"id":"Q6109598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9b2f994051b11c2d271e2e9c0eaf5ea6a69cd3","datavalue":{"value":{"amount":"+0.7943568229675293","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":"Q6166155$FEECB6AD-24CC-4AAB-8DB8-62FD4780FF0A","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":"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":"Q6166155$3764AC7D-8AF0-4D0E-BA3E-49D1C1F15C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2fba806254e9b21db83ebb19f9a9ed99b861c2","datavalue":{"value":{"entity-type":"item","numeric-id":4251053,"id":"Q4251053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2283c11f0cbec720722a2683f1c559c2d45664","datavalue":{"value":{"amount":"+0.7669180631637573","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":"Q6166155$21900838-9CDD-4C24-A9E9-A568FA3B9B8B","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":"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":"Q6166155$9E406450-64FC-4942-B09F-A42F763AE32B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A decision procedure for string logic with quadratic equations, regular expressions and length constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_decision_procedure_for_string_logic_with_quadratic_equations,_regular_expressions_and_length_constraints"}}}}}