{"entities":{"Q1401322":{"pageid":1412062,"ns":120,"title":"Item:Q1401322","lastrevid":68625117,"modified":"2026-04-13T01:00:28Z","type":"item","id":"Q1401322","labels":{"en":{"language":"en","value":"Term rewriting restricted to ground terms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965340"}},"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":"Q1401322$BE619696-E7CE-46FD-94DB-E1F75C38A4D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf49ef994800ebd81d2e36d93926338429ce983b","datavalue":{"value":{"text":"Term rewriting restricted to ground terms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401322$D350BC71-FBA5-4D86-8BA5-3FBBAD7D9D37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"634d873ae7446e4947d7755ddbd18943b0d4890a","datavalue":{"value":"1046.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401322$6BFC77C2-E643-48AE-BDC4-3CCB57EA8036","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fc40ff45c4d0d38346cdcf564906495a0e84074","datavalue":{"value":"10.1016/S0304-3975(02)00745-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401322$BCD77C8A-D21D-4605-A171-AE53DF900B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1be1e97a61ec61b6b5428ec7bf911ab8a63c8c39","datavalue":{"value":{"entity-type":"item","numeric-id":389935,"id":"Q389935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$CF517D17-DD20-4983-BFD7-A43ECEE0CD6F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$8BA569C8-A655-4C50-8917-B6167496B86A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-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":"Q1401322$C173CDEA-2AED-49F4-9A25-DB6D72179B64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401322$E554EE14-B29E-4F1F-803B-8E55C0890545","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b236444d225730ec22a0543f86aed8338161b3d","datavalue":{"value":"1965340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401322$B356095C-FCD5-468A-AA93-F585E5271A13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48dad1228b07001dd8f4063e466d423a614f6f73","datavalue":{"value":"Term rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401322$F527AEF3-3A2C-4294-8122-F9B0DA8EC586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d2ee5a14d7a056e5b7e870b2e4ca4b80c305bcc","datavalue":{"value":"Ground term rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401322$2F3BD4F5-96F7-4096-9F81-244C7F07DDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89667232388f9a4261feb894402d108392074081","datavalue":{"value":"Word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401322$CFBAB262-97A2-4297-966B-AD181156E499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35d734da3f9f994cca5f0a2e51bc2733950c88ac","datavalue":{"value":"Tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401322$B3C18FE5-17A0-4734-9AFF-9BEB026FF0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0c074ddc652aa17702c94055896992075998367","datavalue":{"value":"Preserving recognizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401322$1AA4E739-204C-4E9C-99EE-A97AF4A8CB36","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":"Q1401322$197BCBCD-981D-459F-A084-7D775E931E34","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3345e6fd9d09d3ca1ff79cae638016a0be76f15e","datavalue":{"value":{"entity-type":"item","numeric-id":2753653,"id":"Q2753653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$A2B67B95-04CE-41F6-9942-B81D6B0D25A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$50D1E0BA-4DD2-46EC-9DA5-3EC3EDA99A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$4994139B-52E6-4C14-A91D-4BEB00524B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e8621654e068ff7419d29506662c5e5f6afbe6a","datavalue":{"value":{"entity-type":"item","numeric-id":1325836,"id":"Q1325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$CF809F72-E65B-4636-B2B6-A34E6FC6814C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbc318032cec747535bd0c6935dca630a9056d4","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$03D2D582-8E0D-4FA5-A762-C3B48A3E43EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e310bdefc632226addc0140a1d43ec89695721f7","datavalue":{"value":{"entity-type":"item","numeric-id":1854289,"id":"Q1854289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$A8EC73E0-1B06-4597-9503-3C2969A07D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1255268d9ef3e1e662dd18cfd2dd87b355dec49","datavalue":{"value":{"entity-type":"item","numeric-id":4269134,"id":"Q4269134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$41F96B49-57A4-41C1-BBC4-902F6DC57265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7db4db251e3d87193c566492f0c67068165932b","datavalue":{"value":{"entity-type":"item","numeric-id":3468622,"id":"Q3468622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$156A05A2-F415-43E2-A8BC-BC392BD53D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a849a2f6b1d15fbc90157318dbf7f60c1d60459","datavalue":{"value":{"entity-type":"item","numeric-id":3485880,"id":"Q3485880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$F627CE33-6450-4A13-A89A-B6871CE7B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d230b16e1b0f6cbdb78aca3f14c9e2b7e4826ba4","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$D9F4878A-6D9F-4E99-AFAF-95DFBD969F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0fd394945ef755de9678bb41619ba37910bc2c","datavalue":{"value":{"entity-type":"item","numeric-id":1901719,"id":"Q1901719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$32859D20-C931-4A62-9DF2-FA54403D5A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118bd562040a493115205fbb391e19b26bbe0535","datavalue":{"value":{"entity-type":"item","numeric-id":1589437,"id":"Q1589437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$C0DE9BFA-2624-4C58-BD81-D3ACDC693318","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":"Q1401322$EAB2C1E2-0E4B-436A-B1D7-A412E04F978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$FD0DADBF-9E39-4ABE-8411-C6654936D5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$5C71FA4F-1B79-4AAC-860E-E8FC7B1C6609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$28AA8B0D-272F-44C2-ACF3-4FC6756D5DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$9BCA89E1-CF60-47EE-9026-4CA91BAB3516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df1650e99d132fcda0b14a915dec4481c01a59cd","datavalue":{"value":{"entity-type":"item","numeric-id":1575563,"id":"Q1575563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$FCE51CFD-5644-45F4-9F98-FA91103D4B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ff043886c15344e26a5762a58f1c95f9724f12c","datavalue":{"value":{"entity-type":"item","numeric-id":4594216,"id":"Q4594216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$A479059F-A3EB-41FC-9D78-5AD818C8C8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cddb4b569effa0290f20b944ded13e7806268be5","datavalue":{"value":{"entity-type":"item","numeric-id":1274984,"id":"Q1274984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$536934AD-B864-46BC-903E-17B684019615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a2161d61de39868eace75d44b99156e6623a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1100890,"id":"Q1100890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$92EFA5F8-3988-430F-9122-0E5698218E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda45515c8d113abab4b261c568e2d4dc9ee55aa","datavalue":{"value":{"entity-type":"item","numeric-id":1917087,"id":"Q1917087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$0C6E6277-BD25-470D-883E-353EE157A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$7BAA8310-6CD1-4124-BAEF-9016A77EAE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$A7E12010-14A4-4FC9-B354-E30791C00A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$0B204A16-8B21-4C84-B6FB-770F4B5C2BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f1d8724349482f262799d2831e961f6c9a0126f","datavalue":{"value":{"entity-type":"item","numeric-id":1261478,"id":"Q1261478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$E852E2AF-8301-4EB8-98C5-9F3FABE58B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3f8cd9f1455728a1005c1b1e530248db89dd177","datavalue":{"value":{"entity-type":"item","numeric-id":4264118,"id":"Q4264118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$75CD9D82-4291-4031-90FD-141E4AF2DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2feea16d8b47c1a6fe48a821fb7a9a2005c01021","datavalue":{"value":{"entity-type":"item","numeric-id":1575250,"id":"Q1575250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$4676F6A4-5CC7-49F5-826B-7813A93EE75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2f47f5d3f0ebe803b0e573a2cbf0f9d59e17e7","datavalue":{"value":{"entity-type":"item","numeric-id":3842797,"id":"Q3842797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$60C71F65-574A-4896-AB23-C5ACB2176036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65cebe790bcfed3d72466d7a732f22ec6057eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4503832,"id":"Q4503832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401322$B3C2D01A-6399-426D-8292-79527380605F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4880fc917ad3791a0a20c9e3e087ac5ae77bfce","datavalue":{"value":{"entity-type":"item","numeric-id":913496,"id":"Q913496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efc86a19fbfef0fa8c4b7ac1f8c6bbb76d64dc4e","datavalue":{"value":{"amount":"+0.8266255259513855","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":"Q1401322$A2D2F4C2-1ABF-49A9-8CEA-21B3017AD826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b06dfac1f68b3fe4b6e5c3f67b0d2ee353d8d81","datavalue":{"value":{"entity-type":"item","numeric-id":3400560,"id":"Q3400560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd1e38b2cb20cfa467fe968224bf0ef42f44826a","datavalue":{"value":{"amount":"+0.8240129351615906","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":"Q1401322$45A0F72D-0982-4289-9BB3-CA3F15395671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b91831c7d4052e98f092129f0775168916802cb","datavalue":{"value":{"entity-type":"item","numeric-id":3780429,"id":"Q3780429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6dfb647a0f697fb60bee7ed0ca930295443c18","datavalue":{"value":{"amount":"+0.8163325786590576","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":"Q1401322$A81F6A7A-64D3-4CF0-9F49-413DB96D92C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0a6120932c37d8646f8cde0fc8560e30e95847","datavalue":{"value":{"entity-type":"item","numeric-id":492918,"id":"Q492918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19985728aee0d2176efc746b696f759b156575c5","datavalue":{"value":{"amount":"+0.8126152157783508","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":"Q1401322$A755ABBE-A46B-40ED-977E-D2E8AB1B1BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e3f45eea40d80ccd249df454e6f68e1181ab9b6","datavalue":{"value":{"entity-type":"item","numeric-id":918215,"id":"Q918215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f886e3fbc9168b6d936221c86f239d703309a8b7","datavalue":{"value":{"amount":"+0.8052251935005188","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":"Q1401322$D90207DB-D82C-4164-BD4C-B6E076B1263B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Term rewriting restricted to ground terms.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Term_rewriting_restricted_to_ground_terms."}}}}}