{"entities":{"Q1887142":{"pageid":1897884,"ns":120,"title":"Item:Q1887142","lastrevid":48380626,"modified":"2026-01-04T13:29:29Z","type":"item","id":"Q1887142","labels":{"en":{"language":"en","value":"Ground reducibility is EXPTIME-complete"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118408"}},"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":"Q1887142$90E94ADC-7E65-498E-BE9D-818F0FE27DB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e30f151d4aaa97f735f8922ad16ec207ddd06829","datavalue":{"value":{"text":"Ground reducibility is EXPTIME-complete","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887142$0D83CA4A-10F9-4616-8459-73B20DE4FA36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2b6c818a138cc5b97f7bd07c965565094b64675","datavalue":{"value":"1090.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$DF667D8E-E7E1-406C-84CB-7390318D5904","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d61ff563697cc0817837a07d8caac09c11c38894","datavalue":{"value":"10.1016/S0890-5401(03)00134-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$F0223CA4-1802-4388-B913-D3171C8373E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23be70569faa30ab86ceaac20a2ea57705fd5fb4","datavalue":{"value":{"entity-type":"item","numeric-id":685392,"id":"Q685392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$F970F7B0-F383-4D0F-B56E-8505830B133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$351702C8-F778-4987-A4AF-F0337B368ED9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$4722604F-7451-46FC-A597-1D334843D876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887142$5ABFDC69-00B8-4BF0-B742-AF6BF7F1068F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$B8FBB8D2-DF49-44BE-9309-019666361483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$1889009E-EBB1-4EF6-ADFF-FF9A4F9BBBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$9E1C3C63-08AC-40CA-856F-8FAD90ACA3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4baafcb1ebe9a674f5802b9a814168fe6bbb64ae","datavalue":{"value":"2118408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$76E09FB4-F19A-4237-8D03-B231B6079A9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"264c638c55cafbfb1d861701a69fda626cc535ce","datavalue":{"value":"Computer theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887142$4F301D85-4882-4563-9721-B6A469CFF5C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1310ed209daed4d9d04f80c2037c77754b69e70","datavalue":{"value":"Rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887142$50693214-698F-47C3-9960-4CCDA9DCB853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a5a511a70081ebff631f8fb66688d8f2c0ad26","datavalue":{"value":"Tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887142$CB0A4161-F07A-4D79-BA54-7D778A04C809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da67da54e89e7c80f20f3f95c3ceec18bb927753","datavalue":{"value":"Computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887142$8C162123-38F0-4D30-B03D-FCA7A49E6596","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":"Q1887142$C9C45147-5DE2-4574-AEAC-92768F76B619","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bed3cc28811a5e3f4dd5352c6cd345f8a75b6dc","datavalue":{"value":{"entity-type":"item","numeric-id":4632446,"id":"Q4632446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$EAC11A6C-89F7-4CED-9670-6A9E486A1961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed1ef347d29b8f0be1edd97644c055691282378","datavalue":{"value":{"entity-type":"item","numeric-id":5055805,"id":"Q5055805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$65937330-AFE6-456B-AF1E-CE2823918701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1b9e2e68bc833b46cdc93d4bf6d42d768ee309","datavalue":{"value":{"entity-type":"item","numeric-id":3490949,"id":"Q3490949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$1C25D2D7-3082-4571-BE93-636E6A11198C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e6541565e61c7c04b1ecea6dc57283706c32cc","datavalue":{"value":{"entity-type":"item","numeric-id":4942651,"id":"Q4942651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$BDF115E9-136D-48A8-932F-6531F10F5077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0747fee7ce0d75558ff92f6c2b216b460047743","datavalue":{"value":{"entity-type":"item","numeric-id":1911400,"id":"Q1911400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$7BE6F217-D582-4712-8E3D-C92E371570DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$F64E54AE-8157-4D93-B6F3-A17544BEEEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b2d686cee4a3c3f8b34fe98b0a4b4dfce7fd2c","datavalue":{"value":{"entity-type":"item","numeric-id":1082092,"id":"Q1082092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$EC57ED74-93FD-4AD7-8B8A-1DBECB53A955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c5bfb17208f024589c23d81de3c137cadf1eb4","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$D31BDC5E-5ACC-4413-805C-05601E8D2C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$BB0B744C-985C-4DBE-B11B-C460E983309F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$1DD48CD8-3D11-44A1-80B8-9C3C32894304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28bd12adf4f08b88e1bc9b70377dc99daeb17","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$91EC2125-6DF3-4209-9A5C-989293A86E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d03a1c424bcaeb63f633ac851296a587c7c9dd","datavalue":{"value":{"entity-type":"item","numeric-id":3732980,"id":"Q3732980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$64D021E7-EDFA-478B-B11C-601873150D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bbd3ff0e6402348b490ebdaf9fd860aa3f7a57","datavalue":{"value":{"entity-type":"item","numeric-id":1336737,"id":"Q1336737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887142$6CA6C66B-5374-4562-86E7-977CF5716B44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fceddbfa424e30dc8ce6aa15d767526a671fe16a","datavalue":{"value":"https://doi.org/10.1016/s0890-5401(03)00134-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1887142$66CB52D3-A2DE-422F-8896-57100CC11011","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f77281af879ce142df96e8b7832c21b399207f4a","datavalue":{"value":"W2133563196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887142$60E590C6-E8AA-4FAD-9E76-84DA07729E90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a9a8279b9103af4054cc62513f18c2caf94b539","datavalue":{"value":{"entity-type":"item","numeric-id":5895159,"id":"Q5895159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105af596e28da25c4f8ed5cd0974e3fb8bdf6671","datavalue":{"value":{"amount":"+0.7639448046684265","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":"Q1887142$95D7B04F-8507-410B-BC2E-6527BB2AA5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f115c0f769483659495a9432673d125ab659e333","datavalue":{"value":{"entity-type":"item","numeric-id":685352,"id":"Q685352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c308f73a505443d0bde0018778a1dc77a2d57a4","datavalue":{"value":{"amount":"+0.7549958229064941","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":"Q1887142$F622B809-0E5F-466D-A49A-EB7A962D938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5809a8c7d144066a2c3b65c6f7b80312eb5fae","datavalue":{"value":{"entity-type":"item","numeric-id":5892435,"id":"Q5892435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c308f73a505443d0bde0018778a1dc77a2d57a4","datavalue":{"value":{"amount":"+0.7549958229064941","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":"Q1887142$CCEBC5E6-AD9C-4027-BA29-3BE24C68B0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d645ec95dbdc041ab7520cc99e4ee28fa979128e","datavalue":{"value":{"entity-type":"item","numeric-id":1853144,"id":"Q1853144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb980bdbfd7f76c2fa4582e26c9300e8dc9014a2","datavalue":{"value":{"amount":"+0.7524316310882568","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":"Q1887142$49E31794-8223-42DB-9B25-E41778134018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb0c54de68ea40c9b529338bee24ebb9cc6472d","datavalue":{"value":{"entity-type":"item","numeric-id":3020012,"id":"Q3020012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39910afc7a60895ea9805116d8e66316e4998572","datavalue":{"value":{"amount":"+0.737892210483551","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":"Q1887142$2AC1F905-F16A-4AB4-BBDC-71B21BCAF7A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1887142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1887142"}}}}}