{"entities":{"Q3583578":{"pageid":5613482,"ns":120,"title":"Item:Q3583578","lastrevid":90330746,"modified":"2026-06-04T19:53:55Z","type":"item","id":"Q3583578","labels":{"en":{"language":"en","value":"Satisfiability of word equations with constants is in PSPACE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772159"}},"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":"Q3583578$5A93118F-8772-4A38-BDB6-BD09D78BCEF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e0096da9a82b5902df9559e7d6e3735d55f02a8","datavalue":{"value":{"text":"Satisfiability of word equations with constants is in PSPACE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3583578$41748DA8-F73F-4B96-9508-9DED0DCF5041","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"497ddc5c5c66e559eb36512aa2516ef90e18184b","datavalue":{"value":"1192.68372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$93ABD38B-4BFC-4B8F-ABC9-673A1B1E591B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72cbb928075df00bd279fddbdb9c9648c696cdbd","datavalue":{"value":"10.1145/990308.990312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$85993575-B00D-45F9-AB51-74BE6232248E","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":"Q3583578$599B65DE-D82C-4723-80D5-36280E95ADE1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3583578$85B43EE2-5F5F-4C56-8EAA-1857483FE92A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c89651c6683051016042b7b4395027a450ca476a","datavalue":{"value":{"time":"+2010-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3583578$1ADC95B2-31BA-49EE-880C-2ED551E88008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$9D6C6234-B360-4831-87E8-D788502223F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$D6730F14-5BCD-48C4-AF24-1B1D718A5FDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb0473a8e79c49aba31b9dbb0ca1bca103d5c4b3","datavalue":{"value":"5772159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$49AA6C94-CA2C-49AF-82E7-7B1FC4CDBBD9","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":"Q3583578$CAC7E35D-B5FA-42BA-AA14-4AEE2C9C3D4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28c9cb043be9e0cc01b6bffc37e8065cf68b074e","datavalue":{"value":"https://doi.org/10.1145/990308.990312","type":"string"},"datatype":"url"},"type":"statement","id":"Q3583578$E44ACEF1-211F-47A0-9452-44F41CC71DA3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8f948bfda82ac76780468b4fc5d391587c9b1e8","datavalue":{"value":"W2028685566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3583578$618B6C98-6524-440A-AAEB-BF7E3DD0149F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of word equations with constants is in PSPACE (scientific article; zbMATH DE number 5772159)","badges":[]}}}}}