{"entities":{"Q6487302":{"pageid":14066071,"ns":120,"title":"Item:Q6487302","lastrevid":40893166,"modified":"2025-04-13T20:44:41Z","type":"item","id":"Q6487302","labels":{"en":{"language":"en","value":"Solving String Theories Involving Regular Membership Predicates Using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628095"}},"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":"Q6487302$DEDE6852-4550-4D70-8305-FB259E471CD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82c767d23557530fe7df7fd4b2f265a19e2d52c9","datavalue":{"value":{"text":"Solving String Theories Involving Regular Membership Predicates Using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487302$64CC4888-1B5D-44A3-8C33-7FB212EE8E42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab902ce526daaad48b25c7c3fd851d4c5874f2f2","datavalue":{"value":"1514.6833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487302$090A521D-8C00-4627-80C0-E93A17CE9F96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88106a252f1cceef73363016163c544c344eddcc","datavalue":{"value":"10.1007/978-3-031-15077-7_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487302$8E9D82BF-FE26-4489-B704-09A306D31D3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"246c4bf37a5be8c5f0f5bfa1900fd05d4b481f08","datavalue":{"value":{"entity-type":"item","numeric-id":782601,"id":"Q782601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$F7BF2B7F-DF48-414F-BC04-33AA7F1D68C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b803f2b22f94b43bee43de85e97ed78873e6a01","datavalue":{"value":{"entity-type":"item","numeric-id":6199875,"id":"Q6199875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$A2C57FF9-3DB3-48CC-9C22-A9164E59EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff2faee2368478bf55a793dd701ca5744189c916","datavalue":{"value":{"entity-type":"item","numeric-id":344548,"id":"Q344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$0B2481B0-302E-4A66-8BFB-9112B22B2132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"104fbc3377339182c599ab57a5ea62dc6b2b1597","datavalue":{"value":{"entity-type":"item","numeric-id":782602,"id":"Q782602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$02B6E28E-21CE-48EE-A441-06994D5EBDA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487302$54E58083-7CFB-4111-84CD-6C7313D1CB2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"824c9242ee6f86c15bf4eecb8cafeab39e222c2d","datavalue":{"value":"68W32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487302$F8396E19-E3A8-4D1C-B5F9-DC3FB73EA263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487302$D059BD36-531C-4712-926E-2EE2814D9FE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fec15a3fbc587bf3c92d4dd36a71ef764426a44","datavalue":{"value":"7628095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487302$4A24A13A-1362-440A-9C65-8522A9990780","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":"Q6487302$BF18E96F-30D3-4A77-B342-AA78383A2730","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$CD013388-05A4-485F-A796-4956C13DE279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9cffc01e2d2430a622e0bf1a7204037b9a8f431","datavalue":{"value":{"entity-type":"item","numeric-id":2140459,"id":"Q2140459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$385EFC7E-3E54-4ACE-9232-38852F43D187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d9297d0765766411dd0d536ee866abe35681b6d","datavalue":{"value":{"entity-type":"item","numeric-id":832270,"id":"Q832270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$DC844C71-2341-44A7-B64A-FBC4217AD507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b94d43797d3d13eb25d822012ac3f0575afcb853","datavalue":{"value":{"entity-type":"item","numeric-id":5802117,"id":"Q5802117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$0D895541-D8FE-47DA-97F0-A5FD556DB9FB","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":"Q6487302$25B2DA51-A9B6-40D8-8ADC-460D9499EEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"972ff908209cbae1dc0a10a9462932031345a6a7","datavalue":{"value":{"entity-type":"item","numeric-id":1099644,"id":"Q1099644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$783DBEFD-12A4-4E13-B674-5F270C96B091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80c0c955661a3be7255e6ae15d8e2f2b95def01","datavalue":{"value":{"entity-type":"item","numeric-id":2330594,"id":"Q2330594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$30AC09C4-0E09-4F92-8E80-C3D1F66354EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b90ce876afc6f420406572534d02a40f2727fe1","datavalue":{"value":{"entity-type":"item","numeric-id":4406307,"id":"Q4406307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$B3A8E2ED-FFF4-43F8-8C36-394FCDAA6D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da43fab8c0cf053063bc6ddbc3b6137a408995bb","datavalue":{"value":{"entity-type":"item","numeric-id":1342238,"id":"Q1342238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$D87DD747-F8C4-4176-99A6-B26E38A982F4","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":"Q6487302$0904C3AC-A954-4600-A112-7E7148D35BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbfa590f21cd879b92e704b7e4b986acda0bae9","datavalue":{"value":{"entity-type":"item","numeric-id":4219050,"id":"Q4219050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6487302$05FBCB68-F0C4-428D-98CE-AFC0C85FE266","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e4033525ac2fb82231225d190e7406b7a32b29c","datavalue":{"value":{"entity-type":"item","numeric-id":2140459,"id":"Q2140459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dabd1ce6ba6b413948b2b4d43f9942a8800447","datavalue":{"value":{"amount":"+0.8899906","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":"Q6487302$392BA5E5-2F06-42FA-83D2-CB97E05DFDFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4315323875c6003c6af0815b7ca79ecfa743b0","datavalue":{"value":{"entity-type":"item","numeric-id":487632,"id":"Q487632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a57fab498092ebb844d08d3779f9447d78a25fc0","datavalue":{"value":{"amount":"+0.84884775","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":"Q6487302$D389F2CB-1A70-4D04-AE8B-1C945D2A46A4","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":"811bb2162e1c4cab1cf161fe11c4f81f4a56a5c2","datavalue":{"value":{"amount":"+0.83507186","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":"Q6487302$7B42485D-892A-4F68-853C-6592058BCC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e0aa964a66315e34966296c47a398e15109c086","datavalue":{"value":{"entity-type":"item","numeric-id":5222981,"id":"Q5222981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffc7123ec502d26e39873d9829705ccaf01702b","datavalue":{"value":{"amount":"+0.83151865","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":"Q6487302$0EA7C78D-9026-4DEF-AD17-E551B4ABACA0","rank":"normal"},{"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":"b251c4c657bd3f742001551918024f774cb393a5","datavalue":{"value":{"amount":"+0.8306171","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":"Q6487302$C1F9DA20-22AE-40B0-8FDB-937C34E53F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98fd1515fa2dee7f9e2c86cbd72a562f56c13da","datavalue":{"value":{"entity-type":"item","numeric-id":4288808,"id":"Q4288808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43dbb4d2d6efad2f58e48d054bc8dd1d01361630","datavalue":{"value":{"amount":"+0.826648","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":"Q6487302$B87FBE11-2386-45DC-AA34-2A74B791FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18240ada612154b365e6daf50d72144869500ba","datavalue":{"value":{"entity-type":"item","numeric-id":3176367,"id":"Q3176367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a05bb4eb6d333f377e8a563f74ea1986609a94de","datavalue":{"value":{"amount":"+0.82228935","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":"Q6487302$C54CE60C-E76C-4995-9E98-8B9F456C2360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be845df90ebb3af1a5cd734f1774e887d6a736f9","datavalue":{"value":{"entity-type":"item","numeric-id":6486037,"id":"Q6486037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16d8691348f502f58b9f84f0711e028532db10d","datavalue":{"value":{"amount":"+0.821695","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":"Q6487302$CD1970EE-8E7A-4381-8C2B-13A67E2C9B71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487302"}}}}}