{"entities":{"Q2039930":{"pageid":2050672,"ns":120,"title":"Item:Q2039930","lastrevid":72486672,"modified":"2026-04-14T05:15:05Z","type":"item","id":"Q2039930","labels":{"en":{"language":"en","value":"Theory and practice of second-order rewriting: foundation, evolution, and SOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368081"}},"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":"Q2039930$3A8E2BA7-2866-4830-89FC-6C63E219B326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"174345f49284c79c7fe84d11ff55fdd59b47014b","datavalue":{"value":{"text":"Theory and practice of second-order rewriting: foundation, evolution, and SOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039930$50251B19-D1F5-40A8-9F79-AB8EA066D603","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca5c5d85febd32c23434c6d267bc59590ee75d5b","datavalue":{"value":"10.1007/978-3-030-59025-3_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039930$58A23710-D186-43FE-9043-55F1248DA204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39125986354abecea843861eabc948f8d83e93d5","datavalue":{"value":{"entity-type":"item","numeric-id":853742,"id":"Q853742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$6D158470-8259-4B20-999B-D9A7DA37D25D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea07e2e14cf0a66355cfc6e3cc2a283124ee993","datavalue":{"value":{"time":"+2021-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039930$E142322A-75B6-45CD-AADB-0A253C637A31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039930$02F82DAA-F3C5-4D56-B429-F493D954EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039930$99A9AE8B-BC56-413A-A82D-2E7E07AEC448","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1754b51c647b8df0654f33257474ce1071888a98","datavalue":{"value":"7368081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039930$C8D57704-0BD6-43B3-B3BE-99921F33112E","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":"Q2039930$9CE094C5-564A-4EFB-8B23-82EB67C6CE3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8716f2f1066ad83a82e8380ee4e4a560e9710a43","datavalue":{"value":"https://doi.org/10.1007/978-3-030-59025-3_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039930$39B8C5DC-3B2E-4521-8317-070013AED473","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5a223d13197f238f5c4ad06fc281b9eeef439bc","datavalue":{"value":"W3085882190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039930$6450EEB2-0D63-4D6D-9E6C-CB02F13298C5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1da24acf3b5ee71faa6dcac0706ae2aeff6d11","datavalue":{"value":{"entity-type":"item","numeric-id":5145623,"id":"Q5145623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$0A96487A-CB09-4878-84E3-9F56274899D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b21e5a5186c3d39ea689c9c82bfc2c17a0b611","datavalue":{"value":{"entity-type":"item","numeric-id":2723890,"id":"Q2723890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$08E9B6D7-6076-4C0A-A765-A2516EC83DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e903923785f11d6473791a8ccedb18f2347c5f18","datavalue":{"value":{"entity-type":"item","numeric-id":896904,"id":"Q896904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$1C2E99CE-0CE9-4479-999C-E4872B14CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"357ccf03e46aaa39253d03b41c233e835e9de436","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$B66F63F7-2F9B-4E5E-AEE4-F6660EE940CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a176cb8e13997c0970792df4a08fe30cfc54c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5271090,"id":"Q5271090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$1E11A79C-DE4D-4448-B047-C7E1983F1394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd6cd0d0c72bd63bb035b0e71b44baff47cc10e6","datavalue":{"value":{"entity-type":"item","numeric-id":3586098,"id":"Q3586098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$E0117DD7-5A97-4FBB-9722-FF9F94D829CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea1f72848cfa87c362b9b7757f714b25c30fb10","datavalue":{"value":{"entity-type":"item","numeric-id":4635626,"id":"Q4635626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$31CC256C-23C0-4145-9B26-D6B9B2F348C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db59a8f34190362ca8d3ff9cc297a5b872ef504","datavalue":{"value":{"entity-type":"item","numeric-id":5464050,"id":"Q5464050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$A9AA833D-7C68-446E-8B66-9A157110E942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa52527054a11b9511a9d5a4ebb0ac41d898138","datavalue":{"value":{"entity-type":"item","numeric-id":5703844,"id":"Q5703844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$00145E92-E4FF-4EE8-8BEA-CFD5506E8DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad6bb317efc983c57951e760c27d99d87f9614a","datavalue":{"value":{"entity-type":"item","numeric-id":2786132,"id":"Q2786132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$8E518269-B8EE-4E62-991B-DE3AFAE77D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa11d71fdc8466cfdf7fceed7ab78578554d320","datavalue":{"value":{"entity-type":"item","numeric-id":3557095,"id":"Q3557095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$5A043784-8978-422F-8554-EB68EFAD9613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e231509417730037f235992cfb266c04999d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":3000622,"id":"Q3000622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$202B90A6-B771-49C3-92B4-E82A9EEA134E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00c05f5224020032026c3d3abe9500b32fe16d8","datavalue":{"value":{"entity-type":"item","numeric-id":4596785,"id":"Q4596785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$9D87D77E-039A-41F6-BBAE-A9520991FC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b7209f4b03619262b4acd6cda904b19343dfb4","datavalue":{"value":{"entity-type":"item","numeric-id":1648875,"id":"Q1648875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$0EA9FE31-03F8-4A20-90A3-CC41E240EFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4666614b2179809baeef1d2c00547663ed4b5bdc","datavalue":{"value":{"entity-type":"item","numeric-id":5110922,"id":"Q5110922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$03CD910D-E1E9-4F52-970E-9ABD4DB7A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$3D5CF233-440F-4B0F-8E8E-4015AF52063E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0489be88e864067c71c45e9245c2984d36865282","datavalue":{"value":{"entity-type":"item","numeric-id":4910433,"id":"Q4910433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$EEE8299F-E6DA-4497-B183-3D4E46D9BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3c28f35f22708ba27ad5d96b0a37f74c26c6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":5271089,"id":"Q5271089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$9C20179B-E531-4086-8D6B-A6A8699DCC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219d29e1e41c1bee6866c983e77a50e191407469","datavalue":{"value":{"entity-type":"item","numeric-id":2819826,"id":"Q2819826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$972F9127-31A9-4ED2-9160-C00E3AF73FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585fa642060af30bbfbec6c1227ab57ea3dd4b2d","datavalue":{"value":{"entity-type":"item","numeric-id":1029104,"id":"Q1029104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039930$46AA7FB3-39DB-4263-80CA-4B63F96EA1DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49e2f6230755d3282c27a8cd58e6b7ece875ae7c","datavalue":{"value":{"entity-type":"item","numeric-id":6052944,"id":"Q6052944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49cc4e674c06dd32869baedc2f37b5db01c1a87","datavalue":{"value":{"amount":"+0.85289705","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":"Q2039930$EAC038BA-1A13-47C7-B969-615FC47F071D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e4fd3410c2355a9a7e7c0d4e861736de2c1606","datavalue":{"value":{"amount":"+0.85261333","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":"Q2039930$1A7E59C4-3A75-4FD0-9F7E-415AD0EECD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99071566482c9a8189f2aaf80ea309e832520c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909283557b4c824e72223a1c12af7084ef6fa80c","datavalue":{"value":{"amount":"+0.85083306","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":"Q2039930$723F9AA1-1B2E-48C2-9001-066AB6A6C422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f6cfe611393060a4d729a571f9c694ac88cbc66","datavalue":{"value":{"entity-type":"item","numeric-id":3829498,"id":"Q3829498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f4db27218422f08de330e46767ee9b2ba41157","datavalue":{"value":{"amount":"+0.8496782","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":"Q2039930$B06663C8-99FA-4D65-9416-619489322274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"360dbedb9dd24a67268fcb921e9f350f4d5d54a2","datavalue":{"value":{"entity-type":"item","numeric-id":5055746,"id":"Q5055746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b00d57c71a247fd731099a45765e8dcd71bf787d","datavalue":{"value":{"amount":"+0.84758216","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":"Q2039930$3DB571E1-DE90-4220-8511-4FB8BD04B8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf9500bdb0c351e71dae538f51dcde914dd88a5","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41184958979680015e0276673c33542ca6fe33c8","datavalue":{"value":{"amount":"+0.8467823","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":"Q2039930$529AB3A7-7415-4B55-AF64-42B3DCF53B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18dbe47618768eb312adb549a9ce9f62147f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa24ebb8848db1c2e2d685f76546cc64fc30028","datavalue":{"value":{"amount":"+0.8463782","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":"Q2039930$31A9FB5A-B725-41AD-8AEE-3609765D6AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efcba330e0d15894627289be8552e56b1ab0dc71","datavalue":{"value":{"entity-type":"item","numeric-id":685380,"id":"Q685380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"decb7dd89fc6a34f3efbb881b847430a1eff3295","datavalue":{"value":{"amount":"+0.8457328","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":"Q2039930$432F61B5-3498-4756-82F7-0BE159E541FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a5e258712eb8a99312523d92c6a06e458cb2182","datavalue":{"value":{"entity-type":"item","numeric-id":5058367,"id":"Q5058367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c86b04425d2e2d7cb9cd8def4e50168a632d8d3","datavalue":{"value":{"amount":"+0.8450618","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":"Q2039930$959B80B4-2565-4BE5-B8B1-D35245C63155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1719b3e43a422eb0da04125791729778cfe78414","datavalue":{"value":{"entity-type":"item","numeric-id":3586049,"id":"Q3586049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad3f42ad3ec2e8518a1ef92d0a5c365997027b03","datavalue":{"value":{"amount":"+0.842205","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":"Q2039930$42E875CB-0DE9-4853-BA73-4980566985F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theory and practice of second-order rewriting: foundation, evolution, and SOL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theory_and_practice_of_second-order_rewriting:_foundation,_evolution,_and_SOL"}}}}}