{"entities":{"Q685352":{"pageid":687201,"ns":120,"title":"Item:Q685352","lastrevid":47188852,"modified":"2025-12-31T23:10:20Z","type":"item","id":"Q685352","labels":{"en":{"language":"en","value":"Testing for the ground (co-)reducibility property in term-rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417315"}},"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":"Q685352$79B16D21-7387-4E1B-9B29-4367A967A544","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f878b3295995ab0831b8c4dc982ccf96ec1850d8","datavalue":{"value":{"text":"Testing for the ground (co-)reducibility property in term-rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685352$1ECBAED9-5ECB-4E94-B094-1421769CF0F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"519ce02ce3e46051d310763d4fb66fb650d5f46d","datavalue":{"value":"0776.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685352$ED997BE9-0ADB-41CA-8ADE-8962D63C47B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0e5bcb64a7007081edd6a729e678f4c93ea394b","datavalue":{"value":"10.1016/0304-3975(92)90279-O","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685352$69D4CA35-8C04-4558-A59B-9533B086252E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20b4944fe4b96d4fda5cc5e09d49f0846d30e2b","datavalue":{"value":{"entity-type":"item","numeric-id":685351,"id":"Q685351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$842D7843-646B-44DA-B8BC-B85B9C5C347A","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":"Q685352$AD150E4D-15AA-427D-A583-9E57F856BAD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d02bde13d622d42f9b76cdf00d7fe9c53527b91","datavalue":{"value":{"time":"+1993-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685352$24923191-FE70-4349-9B09-3B4164F646A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685352$F0A1D8C4-043B-4DB3-9499-ED3C8EE2D911","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a86f6246470d31ad5ece11d9b4002473ba88ffb","datavalue":{"value":"417315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685352$96C7941E-BD6D-46C4-9FA8-81DB217FB483","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06450a2634a9923064d1a24b8308ebd444aad97","datavalue":{"value":"ground-reducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q685352$98772CF7-8FD9-4399-BAA2-ED4294546849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57b168699c530596808da3fbc5497bd142eadb11","datavalue":{"value":"ground-co-reducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q685352$0EAEBA6D-2308-45C2-A900-868FF0685EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f01d3c097cfc3280e9d2ef5dbaca987d5728d941","datavalue":{"value":"mechanizing inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q685352$88FA94DC-C9C5-4257-894D-901D8CA072A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"019a6ed5982241abb5ad173ea9f0389406288f3d","datavalue":{"value":"Knuth-Bendix completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q685352$982E184A-FC24-4961-8015-610D3CF3187E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22d04ea1f4c816bc767a7990a1cd6a3e8d44803","datavalue":{"value":"arbitrary term-rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685352$29069E2D-EDB5-47D2-93EA-7AB00241CAE7","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":"Q685352$5B074A93-48B8-4336-A43C-ABB69DBD40E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fea1ac3ee9372cea794388ddfec6d158b780a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055712,"id":"Q5055712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$2FE7AAD9-B25F-44D5-9661-8861C61A749F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$DE15CAD7-C5DB-4B8E-A9B4-9592B758929B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fc6ba95a7a3d1c30683f3ac547139937323420","datavalue":{"value":{"entity-type":"item","numeric-id":3780428,"id":"Q3780428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$A6272385-80C1-4E64-992A-C1D168228241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4729be87912b5a5fdfcce989a6133074a40903e3","datavalue":{"value":{"entity-type":"item","numeric-id":3490953,"id":"Q3490953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$64C94B97-808C-44CF-A580-61157A857475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$2D8F6DD8-D9B1-4BCA-B683-22E3BDCCF885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$6E1A1ED9-1F6B-491B-94DF-853E3E061F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$1E45BC4F-D732-444A-9A35-209EFCCFB4E9","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":"Q685352$AFDCDA7A-1F85-4951-81D7-A0625610B06D","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":"Q685352$C043A2A2-4F38-4A0B-AC55-4E8C31120FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$DD974000-6AD4-483A-A039-EE3C992A4768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566b870e69f3dbfdeefaa194d7a638c30bbeb478","datavalue":{"value":{"entity-type":"item","numeric-id":3976041,"id":"Q3976041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$96363410-4A9A-4EAB-BB44-5FD70A3E3B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3ec1e159bd1943261f2117168841011130fdd9","datavalue":{"value":{"entity-type":"item","numeric-id":3713575,"id":"Q3713575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$821E2E3C-1785-4209-B1D3-AA0A84DCF6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4e84eb72ad50dabc1ac701be55dd4e88d28569","datavalue":{"value":{"entity-type":"item","numeric-id":3490955,"id":"Q3490955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$DC6D6DE7-5B98-4C19-A9DA-19F05A66B4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1427fe2cc4f762fdeff53d2b88ac222c2ec52d","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685352$D97C022C-A56F-4500-B3AB-21E185BD4398","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":"Q685352$E57E9C01-BB34-472A-9AFE-8320B0B20122","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"163acce2d16b0e9c9f4a423021ac63e5bd5116b3","datavalue":{"value":{"entity-type":"item","numeric-id":4027631,"id":"Q4027631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294ce7759b6a6eb13d9c3831be83ea651a083fc6","datavalue":{"value":{"amount":"+0.9227198958396912","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":"Q685352$F30FB4F9-9A03-47ED-A83E-DA6E1AF23941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a69148a98bb8be578ebffce87b8b01398d403a2","datavalue":{"value":{"entity-type":"item","numeric-id":4005178,"id":"Q4005178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294ce7759b6a6eb13d9c3831be83ea651a083fc6","datavalue":{"value":{"amount":"+0.9227198958396912","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":"Q685352$F89B1238-19A7-4217-A8AC-4973D2AD354D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7132a01dc3f4041cf9da9249f0550f82e398c2a3","datavalue":{"value":{"entity-type":"item","numeric-id":5055712,"id":"Q5055712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84e413572858f43c250c5eb2d0189eb7dd65847","datavalue":{"value":{"amount":"+0.8360571265220642","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":"Q685352$00F8357E-F3FD-4C8C-9A6F-DB91FEFB8F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8122b7b4ce7a08e2bab37d853a8c08eb2bb66653","datavalue":{"value":{"entity-type":"item","numeric-id":5055821,"id":"Q5055821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c9e2617afc3a4f38946914347724a78fcefa11","datavalue":{"value":{"amount":"+0.8072450757026672","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":"Q685352$9B5F9D4E-7578-4EF2-A700-5ABC6DC4C20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e502e7d343be0687628e87e4bdc9e8d406190f31","datavalue":{"value":{"entity-type":"item","numeric-id":1401322,"id":"Q1401322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03295a2cf7c1192ae2f1268bed98eac85aaafaf1","datavalue":{"value":{"amount":"+0.7963316440582275","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":"Q685352$717F2FA7-C209-40C2-A2EE-B5C77F952CB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685352"}}}}}