{"entities":{"Q3395137":{"pageid":3405840,"ns":120,"title":"Item:Q3395137","lastrevid":50751347,"modified":"2026-01-15T01:09:46Z","type":"item","id":"Q3395137","labels":{"en":{"language":"en","value":"ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597922"}},"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":"Q3395137$9F462021-3445-4BD7-AC14-3684DCAFBE76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c51f9a9959491c92cacce4a4262944731b60d3e2","datavalue":{"value":{"text":"ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3395137$F5E9B44E-6269-4421-858A-CDD4770D8AC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3e0b5491fc1efbbca706f91a212d1f59ab70720","datavalue":{"value":"1191.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395137$F8A382D3-5D4C-4505-9163-F846A5BF48D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a986b13514d66c6653c023d9466451575ce476dd","datavalue":{"value":"10.1142/S0129054109006802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395137$75A4D3EA-DB91-4E94-89C2-B4A4EED7CC72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ced08fbb405acd6a4e57a03141485537b73176e","datavalue":{"value":{"entity-type":"item","numeric-id":2465039,"id":"Q2465039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$6B9FEB6E-DAE7-40D3-AAAB-9D3E8D27D9D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5600a361c3bd384dab8b5caf52d841503a78cac","datavalue":{"value":{"entity-type":"item","numeric-id":498391,"id":"Q498391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$08B706E4-E9CE-4515-AC3B-27A92FD5A3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"18eb64126f3b0348026730db4bcdb13b8ce3ad8b","datavalue":{"value":{"entity-type":"item","numeric-id":329727,"id":"Q329727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$D2DE758E-6524-4169-8E32-D1C3678D4602","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$B4EB25D6-E720-49C2-82E5-5F08C6FF849D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50fecf8675e1e3b5d160300ecbc650fba5c02aa","datavalue":{"value":{"time":"+2009-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3395137$29A093C8-3F24-4B46-808F-F0A6DF630AE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395137$B26FD204-2E08-477C-B7A8-01BA43912E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395137$176D2CBC-8FF7-426E-911B-45D0DE52C0F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c88f1cf817166aefa8442fed9a9c031666fed018","datavalue":{"value":"5597922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3395137$00E21ACE-8A2B-49F9-903F-A2785DAC064B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$7964536E-9713-49D4-819A-4435007CBE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$E036F4CD-05B3-4170-B48D-61C8C4F5E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869804c54fc67421013d4b873822c9383db054ad","datavalue":{"value":"derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$D29A3E88-5F14-4424-9F8D-9D49E8A5C2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb99962b970390ab8994a1445e5d835a779cbd9d","datavalue":{"value":"partial derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$BF9CADE2-5621-4804-9901-BC9031FA4C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5944993831dc8d486c797dc9354b3df2b3f466","datavalue":{"value":"regular expression equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$C6157A85-F9F7-4F58-BDB0-85B1E189F8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b652dfdd2be497b8baa5a4b0d7ab237adb2d7c52","datavalue":{"value":"minimal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$B9C93EC9-5E94-4F10-A903-4709F1C27194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3395137$B52007F7-4A4F-40C0-B649-75B6E3E39616","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":"Q3395137$36ADD329-1831-4469-A4E6-90E411418E1C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c2258f52da9867c13c2b30df8aee56e4d4b64b0","datavalue":{"value":{"entity-type":"item","numeric-id":2465040,"id":"Q2465040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$089A7420-2C11-4B8C-B99F-DEA75880E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$AC2B0C7F-1D56-43F7-BD96-23DAE09C610E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$E131701B-5CA7-4BE5-9247-EE63226F27FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$4260B49B-315B-4C07-812F-904C95AB5624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"677e10984800b2f973ce1edcd5a2f197d9d5da43","datavalue":{"value":{"entity-type":"item","numeric-id":1426009,"id":"Q1426009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$BEFD6DC0-E6E3-4C77-A7EA-C50C9DD293DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$E885A96A-4454-4A8A-88F8-FE41FD3C2756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d62f70da14cbe4ce0008b55e635218e16f12862","datavalue":{"value":{"entity-type":"item","numeric-id":1318776,"id":"Q1318776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$559642CD-D155-4400-B717-C76DF422425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3395137$44DD77B9-7D92-4831-8841-2AFCB7CB4BF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6f9496081792da17fe6f28163863ee11c549225","datavalue":{"value":{"entity-type":"item","numeric-id":3602800,"id":"Q3602800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5374f8130ca1eb90be68bf06ef2f933708bc30","datavalue":{"value":{"amount":"+0.9869579672813416","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":"Q3395137$4F0DBF50-C84A-4443-AA24-4725A93A1E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe58a7b447be1b91fae0cf3c0b16ef2f92a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5146514,"id":"Q5146514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb16feb06a817f31ad60a0ec1be39f82f9a83a3","datavalue":{"value":{"amount":"+0.8005664348602295","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":"Q3395137$104693C6-A285-4DC3-97D8-8BAE72A2E676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6349d66e021a1e6726afbeeee476c8cdbc49c62","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aa54cf5ba3d1cdc6f9440f67d894b5b8279cdf1","datavalue":{"value":{"amount":"+0.7307242155075073","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":"Q3395137$211BA5A7-B94D-427C-9D86-975322206CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c98b5884322c739a44b52cd8c2901b7a673581","datavalue":{"value":{"entity-type":"item","numeric-id":3616446,"id":"Q3616446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d50c2205272bc37e4f3851afc4ef1c6480ee00ab","datavalue":{"value":{"amount":"+0.7274150848388672","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":"Q3395137$CA915BEB-C04D-44C8-8EAA-B729D9F10386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd00c573d3eb8fd5e8967e824fc8a2cf82a49879","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48efdc1c81e02867a9cbcc7871d77393da914829","datavalue":{"value":{"amount":"+0.7227113842964172","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":"Q3395137$206E25E9-EB23-474B-BAEF-8DFB67C67BDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3395137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3395137"}}}}}