{"entities":{"Q2866805":{"pageid":2877525,"ns":120,"title":"Item:Q2866805","lastrevid":51886460,"modified":"2026-01-20T11:42:31Z","type":"item","id":"Q2866805","labels":{"en":{"language":"en","value":"An account of implementing applicative term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236531"}},"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":"Q2866805$D18D7196-795A-49EC-BAA6-EDF17E9577F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15ebb6474b7b76036e3a74f5d6068c4f16b532cc","datavalue":{"value":"1277.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$D0C477C7-FBA0-4EA9-9338-C6FEDFC0AD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b73ea77b55f66caebdb675084a7121d3c23f6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":1014570,"id":"Q1014570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$E394C47B-C8D7-425D-ADD3-2CBA33D04EAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$71188098-C575-4EBD-AA7A-60A0F9286BD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-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":"Q2866805$54C9724E-BDE7-43F4-B5D4-12D8FCDACD0A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$726DAA42-8B56-4AF3-973E-C690649E5642","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae6e3b9d806fdf3b89e5902d1e18e64d15a7b330","datavalue":{"value":"6236531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$806CC2A1-160A-458B-85FD-6539000F9C52","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b931c010dfda174544daa80849dbc2360072e1ce","datavalue":{"value":"efficient rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866805$32EEBE12-CBDA-410F-92A9-1252D5F08EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6799d91260694453c8ab31c2eac4d7a48c3c6057","datavalue":{"value":"open terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866805$A4DBF3CD-A5CA-4F8A-963D-303A20BAA8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840e2447f57ac2510c7ed87e605b58294bd0dc7b","datavalue":{"value":"nonlinear match trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866805$A8159CF3-9F39-4E75-95BE-524BBEEE62C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$ADC8DC83-CC31-4645-B4A1-59D371B02FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$7EAD9DB0-DBB3-4435-AE08-D817F7365F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd02d4d62b5959aa902e1ad2d76d1a474786d83a","datavalue":{"value":{"entity-type":"item","numeric-id":23262,"id":"Q23262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$40B51389-380D-4A8A-8054-D577D1498D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"175ba681e270f9c1d53e466f919ea269e9d6d13b","datavalue":{"value":{"entity-type":"item","numeric-id":22089,"id":"Q22089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$A0CFFE49-09A9-42E9-98D9-1EAD039CBF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$0749490E-6B9A-43DB-9B7D-86B5A2FA98E0","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":"Q2866805$E4EEC214-8FC1-4F69-9956-84D8180B1CF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c12fc46932b8e0c034d7dcd28aa1e2a4cbdeaaa6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866805$205B0279-A395-4FA3-BA13-DB7BF07FCE9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5ccfa53805b486a6d1b1c36cfd969b179e12a1d","datavalue":{"value":"W2140403461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$F5519D47-68D5-4207-B5DB-694A0F36BD8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$6332BA53-9D40-45F8-95A8-FCC865021F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca3b30d0a635de87e776bb5c6ce06af9f321896","datavalue":{"value":{"entity-type":"item","numeric-id":1608917,"id":"Q1608917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$A454173B-4881-4143-AF0C-0760B0E93BF0","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":"Q2866805$CBAAB27A-2E3A-426A-8966-92FD531ADDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$6450FB27-0980-4EC1-94E3-5D3E6F1528B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$0F0F321E-D8D8-4908-873E-78BA1DEDBC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd4008380b4a2aa4cf01ad9b377a93847a01323","datavalue":{"value":{"entity-type":"item","numeric-id":4222811,"id":"Q4222811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$A0265961-CE74-46EA-BB46-94E0DDB129AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b62f362ced31ff366bd2674d8c96fc86195313","datavalue":{"value":{"entity-type":"item","numeric-id":1123586,"id":"Q1123586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$BC45CCFE-5BFE-4913-BD32-148C4EC7DF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d710ba27c9b354af046abbf518721c9bb6ea53","datavalue":{"value":{"entity-type":"item","numeric-id":2841222,"id":"Q2841222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$D779125C-40A7-470B-8A9F-9AB61E9A2093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a80b6c600ad4516def6d10dae58ad9bea941ea","datavalue":{"value":{"entity-type":"item","numeric-id":4808759,"id":"Q4808759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$DAF38CC5-EC67-440F-B21A-EACC0720BF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0117ad46ee66fb6bfbca76e525bb0949b33f3b","datavalue":{"value":{"entity-type":"item","numeric-id":2764099,"id":"Q2764099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$EF77BB94-776D-48D2-8438-382AC8ED5090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910a4ff7a322416b591b541680f5f8d89ff2cb8e","datavalue":{"value":{"entity-type":"item","numeric-id":5055858,"id":"Q5055858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866805$295CBDCB-D5E8-41EF-B213-77E291E8FBC7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"40229137d3a19422401129c659dc49bd025fa308","datavalue":{"value":"Q126244388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$68943079-3CE8-467A-88F6-2A0B5FB054D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f30d0113aa7bae99f19bd493660498246a0daa66","datavalue":{"value":"10.1016/J.ENTCS.2007.02.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866805$2BA0B724-FE72-4D50-9F69-CDDD6FCBF11D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"822963c5e09117bee338a620726f930ffae8e109","datavalue":{"value":{"text":"An account of implementing applicative term rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866805$420184F9-F0BB-42CC-AC0F-3B0D41E907C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4975addb4905a856dc84fcaa166c071e9d04c5e7","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7a9f8603fde150947772a2407558c70ffe51058","datavalue":{"value":{"amount":"+0.7268564105033875","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":"Q2866805$BBBA1DCB-933C-4994-B53F-9AC3CE251233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d82b734ccbba388021255f1524da334be8899ea1","datavalue":{"value":{"entity-type":"item","numeric-id":4222988,"id":"Q4222988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e63416a72c0d08f0d42645f466a0b42e5883732","datavalue":{"value":{"amount":"+0.7233800888061523","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":"Q2866805$6D94537C-0DD5-4A3A-A1C5-FAAC5FCFC965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802dda257a7b48f5519976626fde11408dbd9833","datavalue":{"value":{"entity-type":"item","numeric-id":4013244,"id":"Q4013244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a16a51c06d1801a5d4ddd8bf90227a76d9212b7","datavalue":{"value":{"amount":"+0.7229003310203552","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":"Q2866805$0AED1353-35C2-46CA-AF5E-EF61C37FB21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4df95f3c3b37af1ca7c124e81edfa9dbd75ef9","datavalue":{"value":{"entity-type":"item","numeric-id":3773311,"id":"Q3773311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7feb48baa519a1ccdbc576666dab6a2e181b2f45","datavalue":{"value":{"amount":"+0.7217515110969543","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":"Q2866805$4837B03D-94F7-4B79-9E8D-AEFF75157659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"598a66c661a68dbd8a1af8fc5a3e9c21b4217523","datavalue":{"value":{"entity-type":"item","numeric-id":4364374,"id":"Q4364374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6f4cbf49b74d1e73125682887e94eb79b9f143","datavalue":{"value":{"amount":"+0.7217338681221008","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":"Q2866805$A65B0D0E-F840-410A-AA0B-31E14D9FC12F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2866805","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2866805"}}}}}