{"entities":{"Q2819601":{"pageid":2830339,"ns":120,"title":"Item:Q2819601","lastrevid":52630880,"modified":"2026-01-23T03:46:11Z","type":"item","id":"Q2819601","labels":{"en":{"language":"en","value":"Satisfiability of word equations with constants is in NEXPTIME"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631120"}},"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":"Q2819601$196ABA38-D8FD-4779-B1E2-118B8FF77388","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18a4435b454eaf575be1ae7b5de2d905ec3a9cc2","datavalue":{"value":{"text":"Satisfiability of word equations with constants is in NEXPTIME","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819601$ECD300BE-B610-4736-956D-4A3BDDCF396D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6870ae8bca4755108780e7094cbb2ff39f724667","datavalue":{"value":"1346.68113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$7616887B-445E-4372-A7C7-76C221780500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3207e8caf9777791c1983c85b3bfb961115812ce","datavalue":{"value":"10.1145/301250.301443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$42FFDDED-FAF2-46EE-BF6C-7E3AD59A4835","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d52cfaca708fdb5e3d01aadbb13f66a0cb02c2","datavalue":{"value":{"entity-type":"item","numeric-id":223816,"id":"Q223816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819601$5039E7CA-8283-42AB-9DE2-CB38E13E22E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02b30a1626a5b4c7cd3e7cb2924ce62a76543215","datavalue":{"value":{"entity-type":"item","numeric-id":2819528,"id":"Q2819528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819601$37A1D38C-F342-44F0-993D-29AB4B448863","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-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":"Q2819601$880ACA15-6049-429B-9C57-2BEC34E84C8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$A69B1020-F0C5-4489-A9DD-C37B487EED84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$73DADEAA-3E65-41C8-93E8-3CE9525B5DCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd5a5a083f0446fd2a70b9e3d093201983ab1edc","datavalue":{"value":"6631120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$DE8F32AC-4F06-4740-8BF7-9606279D8E6B","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":"Q2819601$6D21A3EC-F3C1-43B9-923B-EEF1CB89BDDB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ecede9e7790e73dde6a780e5cd5e82cacdced6b8","datavalue":{"value":"https://doi.org/10.1145/301250.301443","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819601$CC65C121-26AE-4057-869C-EFA69D6365D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"978ca8981b5c7fba8c7cce349cb219b8b31bdf49","datavalue":{"value":"W1989660382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819601$5C059321-CBEE-4AF8-94C7-391DF0D76B1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f996c96586f9adcffa6b0a0023f255d672f29c85","datavalue":{"value":{"entity-type":"item","numeric-id":2931409,"id":"Q2931409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85afc854718e3e7df8f1667ddf123cf30bdee45","datavalue":{"value":{"amount":"+0.8537224531173706","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":"Q2819601$5C12B188-A80F-478E-8D61-2472A47A6C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8e9fb93e5f2c201c2015884d2ba8ed70b63cce","datavalue":{"value":{"entity-type":"item","numeric-id":2237894,"id":"Q2237894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85c1f3ea78a27526c4c9e3ff49742a54afdd66b4","datavalue":{"value":{"amount":"+0.8342662453651428","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":"Q2819601$699A16EE-2F6E-4ADB-9D0F-8FB9C4392060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc718ac798a5e2758e86a7e149c14373af2e6d5","datavalue":{"value":{"entity-type":"item","numeric-id":5111427,"id":"Q5111427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2ccd759e17926e794deb8880ca2c5a04058284","datavalue":{"value":{"amount":"+0.8305529952049255","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":"Q2819601$320B776E-A573-497B-BB9D-150F5AAC9673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa8cc9e2461ae78da40d3eac2cbc98891bdcd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4941171,"id":"Q4941171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfdd150bbd10709e5fff809eaa5f49a49c9fb7c","datavalue":{"value":{"amount":"+0.8273773789405823","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":"Q2819601$4CAACCF4-F76A-4033-95A7-7F7B9FF2EFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9e51212cc13740d0cb97a89b27878c3ef810a3","datavalue":{"value":{"entity-type":"item","numeric-id":4683237,"id":"Q4683237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bfdd150bbd10709e5fff809eaa5f49a49c9fb7c","datavalue":{"value":{"amount":"+0.8273773789405823","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":"Q2819601$3776FB26-B249-4BEE-BAC4-E75E9BA5D2B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819601"}}}}}