{"entities":{"Q2841249":{"pageid":2851969,"ns":120,"title":"Item:Q2841249","lastrevid":83818667,"modified":"2026-05-07T12:03:54Z","type":"item","id":"Q2841249","labels":{"en":{"language":"en","value":"Certifying term rewriting proofs in ELAN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190942"}},"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":"Q2841249$AEE75786-27AF-45F4-9A68-168DFA682945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"610c258fa27047e86583ddf70cd61f47b8ad7753","datavalue":{"value":"1268.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841249$8B06E73B-E022-4B10-8B96-629607837F5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac09a1e5d6cd6440cfb1a924fd19d67faa87382","datavalue":{"value":"10.1016/S1571-0661(04)00295-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841249$3A4F4C7B-C283-4095-9ABD-DE7AA1D2DCA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51915c997a0de468f9e9bfcf36ae19c404891d3e","datavalue":{"value":{"entity-type":"item","numeric-id":1868510,"id":"Q1868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$046F9306-EC7C-4636-A8B5-D88D74CADDFA","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":"Q2841249$DD109E2F-C5CB-4A60-8372-774EDA26A01F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841249$6EE8684D-B8B5-4937-8CFB-595F76E303A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841249$2810B978-EE45-4726-8A82-B1D81ACB5C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841249$D362785F-2858-47BE-8993-DF348BADDC45","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea9af1eff296999dac2c1d0de4a939e7c3fdf41","datavalue":{"value":"6190942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841249$8B25C0DF-9733-4A62-8CAE-E9D398FC328B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$ABC150BF-9C97-42EA-A12F-694F9F2CEF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$5C072857-85AB-40D3-8753-1D2949486C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$E70B869F-AF1A-475D-A90D-9749DC585157","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":"Q2841249$C73AF15C-30C0-4CE7-A164-30ED02642BE5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$1667827C-3A94-460B-88A6-1B2CD975750C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"becf5f4cc735947b117fb82f7aabc6a54df59ef2","datavalue":{"value":{"entity-type":"item","numeric-id":1099615,"id":"Q1099615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$35DC6C85-28E4-49EB-B935-31C76DCD924A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4cb046e7e6d1eac10022f3d396c57882b72a6","datavalue":{"value":{"entity-type":"item","numeric-id":2754030,"id":"Q2754030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$EEA13860-CDAA-4073-A4BD-D3C9AB837D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be126e0eb8d13204e0b0a96acc72543ab758d244","datavalue":{"value":{"entity-type":"item","numeric-id":2723415,"id":"Q2723415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$E814F08E-0026-4E92-991A-40CC5299C7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e68451ca4549e729233336d652ad1a927a7053cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769430,"id":"Q2769430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$72468DA1-C989-4DCC-8956-11C753CA2265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$CDB06853-CA95-43A0-AD35-99586CED9F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$1D6F3E03-1728-45D9-8F7B-7ED03379E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751b349337ae70400cbbb8450620e09ec3b1f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":2754039,"id":"Q2754039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$9C0C79CB-605E-4C1F-A074-3AE6EF0E6905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$3F4083C9-2634-43A9-A5D4-272EF9C0D3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$DD966444-3E02-4A30-BD08-E8F84068A96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$0E9CD4E7-DAAC-403F-8C92-859E627417FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299da2cdaab4313c0718c773bd4fb2786347b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$D132593E-4DAF-4D47-97DE-D9BDB3082691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9579a4ebc8fc362938d3ee4c1626b4dbb8862f2","datavalue":{"value":{"entity-type":"item","numeric-id":4281483,"id":"Q4281483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$DFF051B6-EE3D-48A9-96E1-5B0B8A737919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed6af69bef8cf8a404e28944391c6180dc82f33","datavalue":{"value":{"entity-type":"item","numeric-id":4228072,"id":"Q4228072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841249$B16E99FA-E027-4C5D-93D7-9B1B6B309B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e29f2fd55f70b23450ed98479c53a683b1ea6d","datavalue":{"value":{"entity-type":"item","numeric-id":2233502,"id":"Q2233502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe973ad15df5add97d8205fe851c8ff53b0893b3","datavalue":{"value":{"amount":"+0.91854024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$D362BA39-F938-42AB-9FF3-7C812BF58C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c253f14bbe090f94c2109115768ee05dab1ea7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3453650,"id":"Q3453650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da6edc8db12d54c84066155ff6e07b015780939","datavalue":{"value":{"amount":"+0.90051126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$23D4F866-B57D-4138-BC1F-AC899CCDAB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a131c71e76eddfd40c0ecb8e8ead92f9e2fdc410","datavalue":{"value":{"entity-type":"item","numeric-id":4202962,"id":"Q4202962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaee61709bcf600cb90152de9dcbd46a371d930","datavalue":{"value":{"amount":"+0.87941647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$88C3AE7C-E71E-47B4-9327-C0F1B558323F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e1a51a10e36cb812c421b859a331e1592d8c601","datavalue":{"value":{"entity-type":"item","numeric-id":2985126,"id":"Q2985126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c59ce634b2e0b74918e91adc9e8d4a636f9b3d","datavalue":{"value":{"amount":"+0.87436295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$694CF337-E8B3-4745-94D3-532FBA52E701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0f3012050f4fe135eaa9629e2716245665a19","datavalue":{"value":{"entity-type":"item","numeric-id":5901568,"id":"Q5901568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc0fab8d0b4180390be4b615e074718bd89e3221","datavalue":{"value":{"amount":"+0.8736513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$947AB329-436D-4D91-A892-C749071B2286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44ad3bcac2eb462823232de5b8fdf66bee894219","datavalue":{"value":{"entity-type":"item","numeric-id":633302,"id":"Q633302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f4b38a6d137cc5340f6bf76ba331127b18f527","datavalue":{"value":{"amount":"+0.87102175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$9604743F-4101-4009-9E4D-F9EB9F5E4905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f0638a8c38776d201be9f988b1fd4a259df9fb","datavalue":{"value":{"entity-type":"item","numeric-id":5448658,"id":"Q5448658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da4a994a7583952bd19488de68a07a0b2565b7c7","datavalue":{"value":{"amount":"+0.8703906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$0A18657F-4446-460A-8599-E74200AFC772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3759b7d7dc516dbd11ddc44d79565c29c01c078","datavalue":{"value":{"entity-type":"item","numeric-id":1764432,"id":"Q1764432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2affbe7b3389b74ee733787e19e570b9a919325f","datavalue":{"value":{"amount":"+0.8680005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$1EF68788-FA8F-406B-987F-9E85FD3AC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb69e972609065e61eed7b6b998da2eaa239458f","datavalue":{"value":{"amount":"+0.8667728","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841249$E02AA16B-49C4-4522-B799-2B48A9F63629","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84affa5309354917904d58501adc9a769de1d832","datavalue":{"value":{"text":"Certifying term rewriting proofs in ELAN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841249$BDFBE2D2-8029-4FB7-98B8-C16210C85D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying term rewriting proofs in ELAN","badges":[]}}}}}