{"entities":{"Q3395034":{"pageid":3405737,"ns":120,"title":"Item:Q3395034","lastrevid":46125904,"modified":"2025-12-23T06:51:52Z","type":"item","id":"Q3395034","labels":{"en":{"language":"en","value":"Resolution Is Not Automatizable Unless W[P] Is Tractable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597431"}},"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":"Q3395034$5FC91D55-1C3B-4361-B219-B1C752FB02A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb709d530b282d3496f70baea8269d92e6ca069b","datavalue":{"value":{"text":"Resolution Is Not Automatizable Unless W[P] Is Tractable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395034$C15D9AAF-B3F4-4429-B42A-4AF961B1DD38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a67465444489523a77dcc9d88621ef48aa9c420e","datavalue":{"value":"1169.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$A31B70E4-394D-434C-AC2F-4A77AFF25773","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5145fcfc8cb55450d9a62e9ebce86a5125eb5bfd","datavalue":{"value":"10.1137/06066850X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$95C1D630-AB56-4763-9978-A17E85B4E99F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda6b61323c36da4336c78f2a00f81b412a8cdcd","datavalue":{"value":{"entity-type":"item","numeric-id":430822,"id":"Q430822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395034$17A752E8-0583-44AC-ACA4-6B8E7B56BF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395034$0D9F8929-2C71-47BD-A50E-F305909D4D61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395034$FA51A6F9-400D-4F84-A8D0-DF71D6CE7EC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395034$824BB6AA-D566-4422-BAD5-E607C7EDAB7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$BEC67F97-CF09-4980-8794-A04CDF590751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$D9D0FE36-F7FD-4F42-A82F-AD2C3AF19361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$BBE9CCB8-145E-4610-911D-C7357EE3D989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$6582ED96-2C85-47BD-A245-06A28519B8D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89b01b86f3214763244558f0f54a83f4e7371778","datavalue":{"value":"5597431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$36F7FDC9-DADF-4040-BF72-E4F951CDDC5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395034$662C994E-03FD-43F0-BDAE-A81056DA95C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395034$C584579B-F055-4645-A40A-88A9993FAB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c503d1f307d11fe2dee746636a5b30bb12f8bf91","datavalue":{"value":"automatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395034$14ECF28D-7590-4A65-B806-177F3A55BEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deab25a737eb10928deb16a98ef82c01bc6e104a","datavalue":{"value":"parametrized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395034$DEE7E007-7827-4B92-A8E6-481146799027","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":"Q3395034$C36C7818-FAE2-46CD-A521-FB087F6F8245","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f36820ac6ba5af466b3eec7e5b644c9caf5599e4","datavalue":{"value":"https://doi.org/10.1137/06066850x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3395034$8E64A69A-A43A-44A3-86EE-32C5596F25B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f07ee34f3a85dad0cd3c6cdf928b22adbe24596b","datavalue":{"value":"W2152390092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395034$24309BCD-A7B9-465C-BB7E-4EADD8EA26E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395034","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395034"}}}}}