{"entities":{"Q6488164":{"pageid":14066933,"ns":120,"title":"Item:Q6488164","lastrevid":41229397,"modified":"2025-04-22T02:13:41Z","type":"item","id":"Q6488164","labels":{"en":{"language":"en","value":"Solving Not-Substring Constraint withFlat Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7669400"}},"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":"Q6488164$C5A6B8ED-F070-434A-9630-DDBC797D0425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efbcccec28986620fda1c5ce9c49644764b86974","datavalue":{"value":{"text":"Solving Not-Substring Constraint withFlat Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488164$9334031B-ED68-4C3C-B362-7B34EA448DAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ff075fb0251fba041f984bd8f8cdaa7857bc0d4","datavalue":{"value":"1520.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488164$51F16764-B6A4-4259-8628-314C5B4823F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"846e02aac8a618a7a04e8a9e50fc8afbe33808b7","datavalue":{"value":"10.1007/978-3-030-89051-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488164$359DF10C-AC5E-488B-A4B2-83EE65FA1B5D","rank":"normal"}],"P16":[{"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":"Q6488164$2B5630A2-4392-42D9-B1B6-A5523765B2F7","rank":"normal"},{"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":"Q6488164$84DE0F8A-617B-4E60-AD77-11A3A7AAA2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$158AB876-19C9-4C3C-BB56-7361A3C5C94E","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":"Q6488164$01FE91A7-1D77-4A27-86B8-D937FE3A04C4","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":"Q6488164$AAF04876-CBBE-46DA-9844-AD6DA5B7F337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b54846d35532ac277ed6f7cb476a067f5ac4349","datavalue":{"value":{"entity-type":"item","numeric-id":6485883,"id":"Q6485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$B6F7CC3E-6C6C-44AF-B631-80182087F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec1091d59d1b285bc6e40270faff635c7a3e4f4","datavalue":{"value":{"entity-type":"item","numeric-id":2032269,"id":"Q2032269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$39DF8746-D7B3-4EE2-A3C7-8285FF8AB69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f630d4ee749067494a9a1e78a2c26c3c9aa41b0","datavalue":{"value":{"entity-type":"item","numeric-id":6488163,"id":"Q6488163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$587FBD91-D14F-4AFC-9689-219A6BE2BAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c58c56df9ae0deb16e91278ff629a1520e47d2","datavalue":{"value":{"entity-type":"item","numeric-id":2327546,"id":"Q2327546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$46399ED3-C245-4853-BB25-E9B21074BCCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9392fc1373ca37dd9973a2f3b99144329cde46b8","datavalue":{"value":{"time":"+2023-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488164$41E940BE-01F3-4821-B8DC-1B07D9F0529F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488164$31EC7104-9227-42DD-8839-F00C8D521857","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3b882f6cdf01da7a4c5eb8808c87859eafe59ab","datavalue":{"value":"7669400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488164$E7CFF618-D79B-49CF-BE61-CB1F990F8489","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":"Q6488164$C1C06BDF-FF8C-441E-A564-B3270F87F76B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcdb27290e727aaf8814e06a49f48f08e3ab294f","datavalue":{"value":{"entity-type":"item","numeric-id":3297597,"id":"Q3297597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$21296F1F-48C9-4143-8BE0-E36ED62D52A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abc084dd7e691a8aaf19ace257251eb5f414910","datavalue":{"value":{"entity-type":"item","numeric-id":6485885,"id":"Q6485885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$FA2BAC66-21C9-47CD-BE68-EA61F93238BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$D13E419A-FF6F-48A7-9BFC-BD5891140AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$47061952-4CEC-4032-884A-BD9B8454711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488164$EC79FAE9-FE2C-4FE5-9676-D7E2D71FD35C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"455c613d67647fc742c344db4b080302466a0210","datavalue":{"value":{"entity-type":"item","numeric-id":5897209,"id":"Q5897209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48d97d172649b1c07934d0c2f6ca24ba2af25ebf","datavalue":{"value":{"amount":"+0.8294709","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":"Q6488164$196F488C-2C69-443A-8D85-21AAAF6D8AC6","rank":"normal"},{"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":"e64019823f44b1e665a8c8f2219e9d606f6d1ab6","datavalue":{"value":{"amount":"+0.82740676","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":"Q6488164$999486E3-D0C0-4EBD-87DB-AA10D3AA3989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a0e469f439c9b8e657a3a2faa1ccca4abc85cb2","datavalue":{"value":{"entity-type":"item","numeric-id":2022305,"id":"Q2022305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c18238eb56cb63a59d8e90901fdb33611b0a59","datavalue":{"value":{"amount":"+0.8200409","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":"Q6488164$C13CCA4A-575A-464E-846A-2E0C3D2369FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375bad6ab9e9344f75774647dc5f8cce834da5ec","datavalue":{"value":{"entity-type":"item","numeric-id":3224672,"id":"Q3224672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59cb66831611ee97bedbd7f8fe2dbc0a20536b39","datavalue":{"value":{"amount":"+0.81023043","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":"Q6488164$B65AC131-0E97-478D-ACA7-C2EFD1E86B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1470b1e8ef74ac4ccbb4cb45fca6eba613970b1c","datavalue":{"value":{"entity-type":"item","numeric-id":4414737,"id":"Q4414737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e36cdba42aea87e3a975f33a592598adbeafdf0","datavalue":{"value":{"amount":"+0.8096489","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":"Q6488164$5C66E48B-D48D-43F9-9866-BD991379B29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ef1431f2b1a6d80ad02bc79b58e6d0e04da6db","datavalue":{"value":{"entity-type":"item","numeric-id":2432546,"id":"Q2432546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce170980ae15944c09f5bd67d14923674dc51a62","datavalue":{"value":{"amount":"+0.809624","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":"Q6488164$9E97BC73-97C5-455C-8231-E4A3B0574C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4fba077b32b4f71b6dae406a0dfeaaafbb6dd7","datavalue":{"value":{"entity-type":"item","numeric-id":5089281,"id":"Q5089281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ad2577a60df1fb7741c6c3c7c033ae53051e8c","datavalue":{"value":{"amount":"+0.80878115","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":"Q6488164$759535EA-B1EA-403A-893C-4A34AC18700B","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":"0310b972cf8ee099a4a1490653488ce64949dfb9","datavalue":{"value":{"amount":"+0.8049522","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":"Q6488164$6347354A-50F3-4BAC-9D16-75BF4AE06435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6610f2c789430cc76c6bfbeae60ab64f90faca","datavalue":{"value":{"entity-type":"item","numeric-id":6485931,"id":"Q6485931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c663b99082e6d8f3596b10f38d6ceb2c0322eaf","datavalue":{"value":{"amount":"+0.8026077","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":"Q6488164$7D5F1540-238F-4051-9519-1F37011C7599","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488164"}}}}}