{"entities":{"Q3816048":{"pageid":5845954,"ns":120,"title":"Item:Q3816048","lastrevid":53762960,"modified":"2026-01-25T16:38:53Z","type":"item","id":"Q3816048","labels":{"en":{"language":"en","value":"Completion of a Set of Rules Modulo a Set of Equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4087624"}},"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":"Q3816048$07236858-0557-4BAA-8905-00A2EC99C3D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"202285f5f2933167247ec3c577db100f79da1a90","datavalue":{"value":{"text":"Completion of a Set of Rules Modulo a Set of Equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3816048$966E5271-BEEF-47FF-A316-247C482FC370","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9d39c3796fee8d21076910743d5d35e45e33678","datavalue":{"value":"0665.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$5F1B93BF-C12E-4319-8A53-3F74C40E9E5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54960177ba0914fe52e1fb697f46a3f256b1ff68","datavalue":{"value":"10.1137/0215084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$BF9B7816-40B9-4174-B213-F1A28A0563FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816048$B0187936-EC7F-4F2B-992A-496FA39F4589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3816048$A4CC07B7-B172-49B3-B3BB-DE7B535C43C7","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":"Q3816048$654CBE21-AA5F-4F36-A303-CCFB182B005A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3816048$41896073-1C33-433E-91B0-BA59B1AC96C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$C201AFAE-7D9E-48CF-9F68-3E7A084F63CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$8C123247-3BAB-4A5F-AF55-EFE5581AF538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$AFC36A04-8FAC-4377-AB0A-10473EFE7411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$CCE33065-E60A-4BFC-A792-7006AECE3F84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42dc3b41737d1043531c28e72f3999eff52ea99f","datavalue":{"value":"4087624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$E70E486C-803E-4D7A-8F4F-E2DC93773B9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$1AFF320A-8079-4874-8AF0-B519202620C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$221F836D-CF26-4B45-996D-1934E682D2EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cad92bce031d3a76cb9efd6f5e39e947fbc717","datavalue":{"value":"reduction relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$55F3AFD0-EE39-4E87-8C82-FB35606EF8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baf480d40018189d8ea6f62595d9ba9ce5abb551","datavalue":{"value":"terminating rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$996EAAD3-9846-4199-860C-BFA8622F2686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b7c3ba92884f19e41ef9ebc3011a6cdbfe04d9","datavalue":{"value":"equivalence congruence classes of terms of a free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$AED7660D-7174-49D4-8C9F-5E3419C46819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$F8E5435C-295B-402A-8FB6-F6947ED5BA64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e78c793d6b274ad90381ac7e5d81ad110605318","datavalue":{"value":"completion procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3816048$EEEDFBD4-00D5-4FA6-B520-8DA647A9D1BE","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":"Q3816048$F4A990BD-A037-408F-84B5-D44F4C26413E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d48b761b46535225c22509289fa1c09f256f2995","datavalue":{"value":"https://doi.org/10.1137/0215084","type":"string"},"datatype":"url"},"type":"statement","id":"Q3816048$38D2D1C5-3B71-48EB-8AD5-8A89302B2A35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28f74fe49a398de4314fcc8610ab84548950bc3b","datavalue":{"value":"W2042924775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3816048$DA824036-992F-4F08-B76B-31E8EF05A7B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6574306d2419827858f10ebf8d18454bcc32293","datavalue":{"value":{"entity-type":"item","numeric-id":3706484,"id":"Q3706484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bcfaee6b999a6bac4c6e32788ac673eba69cc41","datavalue":{"value":{"amount":"+0.8329229354858398","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":"Q3816048$F09DE680-57C9-4355-89D0-569DA7BB2562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7fbf8f1e7996bab7a9837102b5cca23246627c","datavalue":{"value":{"entity-type":"item","numeric-id":5055722,"id":"Q5055722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d309624a3b7f2d0c5c84a20d682dd2aebdc091e","datavalue":{"value":{"amount":"+0.8200732469558716","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":"Q3816048$96F557CC-F67E-4864-A856-35859DE79EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"993d637a754732a387d0cc84a2ad3fa0628279b6","datavalue":{"value":{"entity-type":"item","numeric-id":3675515,"id":"Q3675515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d42acec519dc1b2ec4a69f6cf29861756659a8d","datavalue":{"value":{"amount":"+0.815752387046814","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":"Q3816048$FB258BB3-FF08-4977-A247-7A1A92B81DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8199fb8b0b03fc7814ce16bb04165ed45f5ea89","datavalue":{"value":{"entity-type":"item","numeric-id":3809306,"id":"Q3809306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ee4b1508c88bf020eb34b0b5243b0c0abd4b59","datavalue":{"value":{"amount":"+0.8133243322372437","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":"Q3816048$A6DFCE75-1259-4FF0-B400-2DAF2B9ADE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caf87ff7c457f8dd54803488a6ffef97070babb","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad3233e592ab30f608d186a39118c5f752cccfb","datavalue":{"value":{"amount":"+0.8132908344268799","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":"Q3816048$A9C3164F-772F-4078-983B-EB346E5D8D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3816048","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3816048"}}}}}