{"entities":{"Q5096311":{"pageid":7125887,"ns":120,"title":"Item:Q5096311","lastrevid":94459361,"modified":"2026-06-05T06:52:21Z","type":"item","id":"Q5096311","labels":{"en":{"language":"en","value":"On modularity in term rewriting and narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572121"}},"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":"Q5096311$D7A7F1DE-C8C7-42B8-B8E9-42485DEFBF93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"060e80fec8a7d900fadccd505ef04777d9c07920","datavalue":{"value":{"text":"On modularity in term rewriting and narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096311$86A0710F-60EA-41FD-B7CD-A823CE659803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43e9d77e94530de2f6636f19ef6ecedce3a1e454","datavalue":{"value":"1495.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$CF2EDEAA-BB57-4551-849D-EA889A3DF3E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"223489511b64196527b95b35561ffff391885c10","datavalue":{"value":{"entity-type":"item","numeric-id":4229810,"id":"Q4229810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$ED485705-CD22-4B5C-A059-4B6DEC081978","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf654a74f98ae9025a05efa0c569883148c4a32","datavalue":{"value":{"entity-type":"item","numeric-id":5096296,"id":"Q5096296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$35E0A93D-F1C2-4C29-9B84-4593A9132BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096311$C81CC581-94BE-47C0-BD42-8EC3ACA40212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$650365A3-68E1-4B96-9D21-A8E034A3705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$692B454E-3515-44C4-AD60-7689EBFFE404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$C39654BA-CA10-4E81-96AD-8A2CBFA215F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95953836a3c0cb4d3c9c97c43bfcafa131586a26","datavalue":{"value":"7572121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$44FDE853-4E09-416D-9226-9EDCE5DA9DA7","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":"Q5096311$F94A623E-5506-4A48-8592-13ED47FA2662","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a87eb4cdd0fe9ceaf462410bfeb005fa5d0358f","datavalue":{"value":{"entity-type":"item","numeric-id":3457756,"id":"Q3457756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$A8E05261-D2C0-43BB-943E-817CD3086CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e68522e480793ad08c3035e092f5d824e5fae6d","datavalue":{"value":{"entity-type":"item","numeric-id":3783521,"id":"Q3783521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$7F7512E2-7C39-4703-87FD-8B342B726A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3653d25245d2a801d7ea427fd306a858123a1580","datavalue":{"value":{"entity-type":"item","numeric-id":4847002,"id":"Q4847002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$B75A7069-E7D7-463A-867F-2A608DD0E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35559e046de5e842d7df1351a5b2659bff99a5c4","datavalue":{"value":{"entity-type":"item","numeric-id":1105364,"id":"Q1105364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$344A86F7-1331-4C1B-9D13-DF8643EE97AB","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":"Q5096311$53D5D059-ED3E-4F6E-8809-1091E4BA927D","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":"Q5096311$DA18500C-F675-42DE-B967-DA7323C7A92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83880f170299ba13e2e839890cba27cc20df7932","datavalue":{"value":{"entity-type":"item","numeric-id":4305632,"id":"Q4305632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$3A4E1050-E45E-4F6D-8362-0928D95635B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$2BE1FB29-476B-4A1D-8383-E240166A249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f25d717e5a4fd46d93e238ea6bc2542c0b945cad","datavalue":{"value":{"entity-type":"item","numeric-id":4264736,"id":"Q4264736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$B370C59A-8E86-44A1-91C8-CD02B1C12707","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":"Q5096311$3FFEEFA4-39F8-49BC-B8C1-CED75EE1026D","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":"Q5096311$AB5CECBA-5A33-4348-BF15-05F904F71D61","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":"Q5096311$8A565FFE-870E-46FF-930C-1B7885068024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04bc46285c285bd5587f7f8b9ae32dc8b1cab95a","datavalue":{"value":{"entity-type":"item","numeric-id":1824412,"id":"Q1824412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$EBD39A97-26EA-457C-98D5-6E167714B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ad55ec6996d82cc8ad24121af9535ee98d1393","datavalue":{"value":{"entity-type":"item","numeric-id":4268467,"id":"Q4268467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$BD574469-62ED-4C11-8E43-45012579E23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1178087fa59d8bd99d0bacddba2556fa09cad05d","datavalue":{"value":{"entity-type":"item","numeric-id":3893265,"id":"Q3893265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096311$B6659709-7285-4F55-8051-9D1CD11499EF","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":"Q5096311$F94CF478-83C2-4AE4-99E8-E54A19FD516E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ce04bb1317bdb7f4576499c44c29e0ca837a00","datavalue":{"value":"https://doi.org/10.1007/bfb0016858","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096311$C57B55C3-CC08-49E3-9927-5018FD979AC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa41ba373d00546c1c9c2a0f408fec40e6ca01d7","datavalue":{"value":"W1542860133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$FA3B475C-890A-4878-85A4-BD04659F407A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"036d965747cff2d092548b1376f872ea878c1384","datavalue":{"value":"10.1007/BFB0016858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096311$9E74287A-5D35-4D7C-B64B-D7B53F441C4B","rank":"normal"}],"P1643":[{"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":"8012f80b773c1e1ba2938c5f2cabe016adc3c00b","datavalue":{"value":{"amount":"+0.96829975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$B0E24B1F-F843-4B7A-8F55-355AAED816A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa435edefb50e75e46962ef2429e735f4f67e468","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"020bb9f9e6b3967e13f2c02205fbeda4781d2ead","datavalue":{"value":{"amount":"+0.9491027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$54FB7F33-98AF-4BE6-A1E5-D84A1FBBD7D1","rank":"normal"},{"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":"cfc366077441ff50ddbe2fdf31c81f6a6d2a08ed","datavalue":{"value":{"amount":"+0.9401586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$571D46ED-91D6-4C41-9F9F-E7F0F3D77EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf2e34b5d76f14c9a2c132d22a6b1befa5220ae","datavalue":{"value":{"entity-type":"item","numeric-id":673186,"id":"Q673186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74e4e2862c4b5f5506a6d5c06d0d3a322b704bd","datavalue":{"value":{"amount":"+0.935686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$4BE820FE-35B2-473B-9036-78A397A8D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926fe7dfb76f995dd131e99826f8cb89eb3eff17","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60453221d9acda768d7011cbb1ec875dab234379","datavalue":{"value":{"amount":"+0.92615944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$6301040B-3369-47B0-91BA-F1226E4DC930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bae5dbc9fcacdfce183694abcdf22459182f2e","datavalue":{"value":{"entity-type":"item","numeric-id":674762,"id":"Q674762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c214e523230bcc6b9201e6cc553498ad05eceed","datavalue":{"value":{"amount":"+0.9206818","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$F1D9FD55-5A2C-4F47-9ED5-D057563BE285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb88340ead554048af42a4741ecc44d4f1fb61b","datavalue":{"value":{"entity-type":"item","numeric-id":1275016,"id":"Q1275016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8189c74a2612cbd6bf99749964b811a4795b94e","datavalue":{"value":{"amount":"+0.9204682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$A0324F3A-994A-41A0-957A-C52060B028DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb463026b8822221681c84ff38cd19b67fc383ca","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb762be2dbe46998a505429cc0e07fbab078011","datavalue":{"value":{"amount":"+0.9202536","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$5CEBFDD5-8CAF-45E7-93FB-AE3701DCF52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7f0a7478dce861b8090bac57a12bfb55d16785","datavalue":{"value":{"entity-type":"item","numeric-id":5901569,"id":"Q5901569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b75695a575bb6ad789e878260d380e7733dd19","datavalue":{"value":{"amount":"+0.9196773","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$C32D8F38-9F7A-438A-A791-E674C3135B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1bd637b976226e8a05c6125e925ddee941f1949","datavalue":{"value":{"entity-type":"item","numeric-id":1911401,"id":"Q1911401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5b712081b61cb0b8034c238c83157021288425","datavalue":{"value":{"amount":"+0.91525745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5096311$BC0FAD67-9CD1-451C-9F93-0445A83DA375","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On modularity in term rewriting and narrowing","badges":[]}}}}}