{"entities":{"Q673186":{"pageid":675035,"ns":120,"title":"Item:Q673186","lastrevid":63607815,"modified":"2026-04-11T14:19:26Z","type":"item","id":"Q673186","labels":{"en":{"language":"en","value":"Modularity in noncopying term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985431"}},"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":"Q673186$3BED77B2-7CC3-4C36-B45E-B2DE0362EE62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fcd47c48244fbaf380a391edb06d00d1e83cf7fa","datavalue":{"value":{"text":"Modularity in noncopying term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673186$DE64E538-40F9-45A6-ACAC-EA9C0DCAC85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"056da3da742cba5ddf58279e979955b2369cbd39","datavalue":{"value":"0872.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673186$2B3AD032-C349-4C8F-8EF9-98CF45923D6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b67021ec5b50070f28f906f2ac7584db0132420","datavalue":{"value":"10.1016/0304-3975(94)00248-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673186$E3430B36-9D06-47E7-97A4-C7CA86AC4942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90280e2e9ed9c2da332555686dd4a20a6df5797a","datavalue":{"value":{"entity-type":"item","numeric-id":352955,"id":"Q352955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$8E53E4FE-FA39-4C34-B742-3DEE0E77F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbdb7bc792ef895f99260c21b4ab1607d10b9d91","datavalue":{"value":{"entity-type":"item","numeric-id":673185,"id":"Q673185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$27474FF7-BB87-4F8D-8745-DEDD246BBB1C","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":"Q673186$7E74252C-37C4-4E8F-B031-6ABEC8E06391","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673186$D6C78D07-FDB0-4E0C-9C21-01E3B126B9CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673186$208B59BB-FDF9-4B38-A168-A4AC7372AD8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd320a63a3289326e67e170011d130f7bad4931d","datavalue":{"value":"985431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673186$D023F796-25C3-461D-9AC0-E630E41E1ECB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"072b8473d0465b3aaa5bd9afca29653a07c302a8","datavalue":{"value":"modular properties of term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673186$B6D078CD-F63A-4090-80F6-43574B90E5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0d49f88d4cfffd19355bc10638cc930064c8bb5","datavalue":{"value":"terminating term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q673186$19575C1B-579C-4BFA-8BE9-D60A238DFF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c451baf55fe0d1a18b86021a24574585a81bf4e","datavalue":{"value":"modularity of termination and of completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q673186$7CAC0627-D3E0-48F0-A0FF-F0D56ADD6566","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":"Q673186$C42325F4-8EAB-4FC6-91FD-A0AEDCDA7EF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5d92c705025f66465327f743e5e432c21c0a698","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00248-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q673186$417CD8C5-E393-422A-BB5C-F1593903D4EF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b13ffe65ca17557d9bf4a97ef99bd60e78d5258f","datavalue":{"value":"W2078372985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673186$375F5489-82DA-4ACD-B774-85320A68E8A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5a16b889a55b8ab0bc43e030a5cca97f6aa3ce","datavalue":{"value":{"entity-type":"item","numeric-id":1823673,"id":"Q1823673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$950DE794-D83C-4C33-8A58-37F65EF656CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$1D4BB542-2D3C-449C-AA91-4B79BC52B762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$2A8DC4F9-9DA3-46A9-974E-DDBA9A04927D","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":"Q673186$E0B8429E-7ED3-4982-934D-5DCFF1B004F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1918f5bb53459939633cf3c465067b1eaa7154","datavalue":{"value":{"entity-type":"item","numeric-id":3210897,"id":"Q3210897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$91668A40-8A52-45B7-B405-ED46212D28DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08631d3600e4e9c99306248333f7605fb2842575","datavalue":{"value":{"entity-type":"item","numeric-id":4246729,"id":"Q4246729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$3F70780D-4524-4D39-BE1E-3B4640BF3C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692c7d5d1d410b0e1545d4034aed9921102bca15","datavalue":{"value":{"entity-type":"item","numeric-id":4255514,"id":"Q4255514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$BEB5AC58-218A-46FF-B45B-E91A0A0F4947","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":"Q673186$7C35FB61-5871-4ADE-AFFD-A9AE97E89832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39efa77a89038f7aa8cb5eda7cb808777bfc1d2b","datavalue":{"value":{"entity-type":"item","numeric-id":3817590,"id":"Q3817590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$4D91DCD9-EF94-4B4D-B35E-C1BBC693655F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57df5e3dc4736ec9eecd241151dac382ff6d6b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4490728,"id":"Q4490728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$0E46044B-8245-41C5-8BBA-351A19A65ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f8c08d244a6b275b719f350bd2ac35e88e48bd9","datavalue":{"value":{"entity-type":"item","numeric-id":1199539,"id":"Q1199539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$DCD7BFB7-A0D3-48E0-B6E0-47680586CD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$EFBC15D8-86BA-480D-8330-46FDE9E484E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$E0D2D194-C009-4A9A-9266-79FE42D4795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$E1323E73-8FED-4225-9A82-27214D67514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c44b9b936face2dfc4d4635051b2920e843d73","datavalue":{"value":{"entity-type":"item","numeric-id":2368072,"id":"Q2368072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$AE8AAC6D-55AF-488C-8B12-2FE36FAB193E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$0E050986-3D56-4A98-8093-4D0CAEBBA256","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":"Q673186$29D27C70-513C-4E9B-948C-804307C368CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033dcd0736cb42469f6e374b902230aefb1fddc4","datavalue":{"value":{"entity-type":"item","numeric-id":4954455,"id":"Q4954455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$B9A02085-8AAA-4157-B5A4-A91F0A6ABD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a728fcba7c305276041bc972343dd1d2f4397f3","datavalue":{"value":{"entity-type":"item","numeric-id":5881286,"id":"Q5881286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$90B45BA7-F816-4953-9B41-286A9575376F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bef0bf79ac0f91e3cec2b1b9d3fd2859370f27c","datavalue":{"value":{"entity-type":"item","numeric-id":5881178,"id":"Q5881178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$74BCF7FB-8C07-43B7-A144-766F28C378EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$B7FF89FB-1B2D-43F1-B608-EFED73A86BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$AF6F5679-1B38-4506-85F1-F0E0AB8D9951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$F1E959AD-21D9-464C-B405-A93B4F68190F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673186$474B8339-8710-4726-AD19-ED4C0CDF5BDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9722bd7704edd49a7b67aecb295ea086ac06ff74","datavalue":{"value":{"entity-type":"item","numeric-id":1349693,"id":"Q1349693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3248093d01d43016503a3926460868a0aea24718","datavalue":{"value":{"amount":"+0.8664173483848572","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":"Q673186$D7FE670B-6573-4A86-8A9E-79ED8E5B17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7121f07416fb4ad7acc1c8f55fde6f8ae46de3f7","datavalue":{"value":{"entity-type":"item","numeric-id":1328180,"id":"Q1328180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"662bb4170e780eb722d4a8aabf268dd568201a62","datavalue":{"value":{"amount":"+0.8549221754074097","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":"Q673186$7E3045FC-2751-46EC-B918-499428813DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b088c4659552d05ef6d890b942365a1fdcc9452","datavalue":{"value":{"entity-type":"item","numeric-id":1929227,"id":"Q1929227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84215bcdb2bdff2f4f3b46494f6bf02005b0045b","datavalue":{"value":{"amount":"+0.840704083442688","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":"Q673186$999C3161-A02B-44D7-9212-E11BA10132FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c6f8f4ec66eccd7dc7e8be168a2f0425bdd313b","datavalue":{"value":{"entity-type":"item","numeric-id":3125168,"id":"Q3125168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"069b7325afa0140240817801b788d70c78842de4","datavalue":{"value":{"amount":"+0.8386449217796326","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":"Q673186$D6AE1A99-713C-4D4B-A2DF-8602EC26440E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modularity in noncopying term rewriting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modularity_in_noncopying_term_rewriting"}}}}}