{"entities":{"Q683741":{"pageid":685590,"ns":120,"title":"Item:Q683741","lastrevid":63570888,"modified":"2026-04-11T14:03:43Z","type":"item","id":"Q683741","labels":{"en":{"language":"en","value":"Strict coherence of conditional rewriting modulo axioms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836564"}},"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":"Q683741$A8F2EE21-3A64-4EC0-B1D7-2FC2C1EE5324","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3e1b06409c9a5fa9a579626191cb6de7eaf486b","datavalue":{"value":{"text":"Strict coherence of conditional rewriting modulo axioms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683741$8014E747-AB11-41E1-B2E3-365037C63F3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41578e948c8b2f1402751a5623917799146462db","datavalue":{"value":"1386.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$99521C5D-09C9-444E-86E1-0992C513EA2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$52A8AC5E-D41B-4051-9DA7-34564F4155BD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$164A8D8B-261A-4B89-9BDC-273678F54B11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q683741$8FDB0976-ABFE-465B-B72A-FABC08CF6DCF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$7992EE3C-F644-4DD4-B6AC-ED9A38CF8DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$B701F263-0155-4675-823A-1D42898FEC8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c1625573880acf5f75cdbde4e2a4f39ca461036","datavalue":{"value":"6836564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$3AC617FB-8A9F-4A22-999E-EF44517F9794","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bd07150bd0119df51443aff185b5c254450e127","datavalue":{"value":"conditional rewriting modulo equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q683741$51248BBF-025B-425A-A33C-62A5BB308197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9490545d864dc4d4d3b5053469ec7bc8ef0582a9","datavalue":{"value":"coherence","type":"string"},"datatype":"string"},"type":"statement","id":"Q683741$F3852CC2-E4B4-468C-BB59-D0FD1452280D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3e6e5613bfdcec7e0337c5696cb06bce741c1ca","datavalue":{"value":"order-sorted specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q683741$3862BCCB-14FC-46EF-9D0A-EE21EC25FC57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b930226a3d323ae2711ac3a072d07f4735865b","datavalue":{"value":"operational termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q683741$04A5E5FC-4F40-4CB4-A39E-638509412D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q683741$F4ACBA13-5780-49D8-A548-5ADA4CD4B1AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$C77A2302-0CD3-4073-8263-F1AAB5CAB371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$CAFABFB8-7933-42F5-9E0F-E0254A083F2D","rank":"normal"},{"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":"Q683741$99BBD57D-F656-486A-B75A-BE3C898E384A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$E374A003-8355-4793-98FE-B4C1E02B19C8","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":"Q683741$BC13D496-3207-4294-930B-665899A25F87","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d60969f8cfb9cad0658f54f3fa961d531ce6d048","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2016.12.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q683741$02B43A7A-3AE3-47B2-9F73-3A929D54223B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e55d66409887138a6ce5213a196345c40dc09bdd","datavalue":{"value":"W2282814833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$7CC6FB21-204D-4D6C-9705-7BD35DDC644A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3455e3f4a94a330dba477e08dabbd126fc6889f9","datavalue":{"value":{"entity-type":"item","numeric-id":1262752,"id":"Q1262752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$F8999DE6-B86C-4D33-BCBA-548AA439BF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$48EE896A-4705-4C9D-8658-B94CCE3262F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672d742f9083697d3e0cc58dbf60b9bab3721515","datavalue":{"value":{"entity-type":"item","numeric-id":1422256,"id":"Q1422256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$4A62314D-0603-44AD-8296-B80C520D2D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf54744a08e8b93914db9cf0c37c129d201dbde","datavalue":{"value":{"entity-type":"item","numeric-id":1261194,"id":"Q1261194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$5B2A6270-FDE5-46AD-A803-28F178D2975A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b84e50d5b8107ff3d8511662cf6eee9934348f6","datavalue":{"value":{"entity-type":"item","numeric-id":1608914,"id":"Q1608914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$46D4A1A5-E30D-49E0-9838-EC5448BDDB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0a77e1c48f39d3b14ae34f12c26a25727e4adf","datavalue":{"value":{"entity-type":"item","numeric-id":1978640,"id":"Q1978640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$E3C35E05-4509-46A3-BF35-92878E84BEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$51C7F32D-E4C4-46E4-9850-18820D0A36A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4eb651c8363807599380b2222eea5dd308b21b","datavalue":{"value":{"entity-type":"item","numeric-id":1596540,"id":"Q1596540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$FE3EA9D5-6341-4CC8-A38B-7445C9284981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$FF068D3D-0C1C-42B5-84BF-DC325FDBB782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a4ef3cf5529c302dcba2d05b41a61a0e7210fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101261,"id":"Q1101261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$8E2B7D69-7CF8-486A-BD16-A31B2835B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"303eb3964db9127e4631b86a220d9feed74d7acb","datavalue":{"value":{"entity-type":"item","numeric-id":1264438,"id":"Q1264438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$89288BEF-6D59-4A6C-8B27-6CE19F75010C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f948edd10fb44ba3b5ed2c2fb7d1ceb79354a6a","datavalue":{"value":{"entity-type":"item","numeric-id":1264439,"id":"Q1264439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$AE4D4138-1084-4B6F-AD74-B55D63F2F110","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":"Q683741$EB1F83DB-6D15-4F3F-881C-897D5AA53D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db15afe119e4d8924199889dafaa491710809a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2751361,"id":"Q2751361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$23E7178C-D4E5-404E-9BE9-4B8EC3BA242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f8ef03a702d69c585c63b326a09f44c5b6e4af","datavalue":{"value":{"entity-type":"item","numeric-id":2271899,"id":"Q2271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$27B8435A-9E4B-4612-BF2E-BBAABC01D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e75d9470afbb4ac39057047e070d0e7ba8260db","datavalue":{"value":{"entity-type":"item","numeric-id":2808239,"id":"Q2808239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$DAA47E81-EC26-4047-B30B-1C839AACEB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8cd5062ef7190bb31eab0c47c266fd2bf8ffbf0","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$B5DB91D9-1332-4B38-9E39-20D9D29BF543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c5c002024dc720962b6529d391d3debc5a9ceb5","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$F219EBB9-A1F5-407A-8F73-472B33C8F4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fb45e28ec1fe2b0effcfeeca5b6f58e3c6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$D0778882-BDD2-4972-8A6A-1F38A13D1066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde07a5af9c9126c9edeee597823bae300bf25b6","datavalue":{"value":{"entity-type":"item","numeric-id":1931909,"id":"Q1931909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$9DE0C045-5044-47F8-A979-2E0700C911F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c89e1d9004398ab389501fb07d2ceb4cfccb559","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$9CDC6184-FE84-4C74-8120-023AE678A5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"685b6f2241ca731964008614149743ea5d098bf5","datavalue":{"value":{"entity-type":"item","numeric-id":2715825,"id":"Q2715825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$C0BD1104-9AC5-4708-9255-F911DC3030C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6816a809c0eafdc95cf8e2d66409da79e457ce5","datavalue":{"value":{"entity-type":"item","numeric-id":2778873,"id":"Q2778873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$250FEE71-55D6-421F-A392-585BAF291E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3388784066552dbe30b5bf9917261a8daba9ae5","datavalue":{"value":{"entity-type":"item","numeric-id":3719824,"id":"Q3719824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$8AD0329E-CAD5-4445-A690-775090993257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6249290c793fa3d4c305541f1a11cd397a401609","datavalue":{"value":{"entity-type":"item","numeric-id":5902880,"id":"Q5902880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$59861B9D-86FC-41EF-9A5F-21FC85BA9BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239d3bc022112b37f4da6991a3c7bf09667ee35","datavalue":{"value":{"entity-type":"item","numeric-id":1196302,"id":"Q1196302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$94A8D856-1915-4A9B-A783-DCAD26B3B881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a80deb0cfb397883fb743c9d595c86bd3fc1b4","datavalue":{"value":{"entity-type":"item","numeric-id":1391097,"id":"Q1391097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$9651E05E-AE3B-4BBB-9895-BE3F927FAC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34fbcec5ed81e29a468a971155558d3079e2188","datavalue":{"value":{"entity-type":"item","numeric-id":5166637,"id":"Q5166637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$14A4972A-D68E-400A-96AB-F8CBB0894093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$757740A1-1F55-42C6-83EB-9F6D9F0E5A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$D0FBD1E5-D36C-4EAD-BAC3-5AE7589107E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ffd80c0f66dbfb43fc21c30aee0ecb3bfcf815","datavalue":{"value":{"entity-type":"item","numeric-id":3673071,"id":"Q3673071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$2468C0E0-37C1-4BC2-81D0-A1CE26D9E15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$1D211DE3-8876-4AB1-A9C0-DB699F7831CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5caa1963409882f291bdd862dfad9c1f478a91e3","datavalue":{"value":{"entity-type":"item","numeric-id":4649558,"id":"Q4649558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$B443E5A3-48CD-4844-A7CB-221648983328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59039c304cefa089c2de717037730a79479caebe","datavalue":{"value":{"entity-type":"item","numeric-id":3336736,"id":"Q3336736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$D1AAEFBF-091E-420F-9B69-0E317A383458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de9f23bc58febcc60aff99ac387949cd328d3079","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$0EB2AAD6-23C1-4B42-9027-66ED2048A8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a563464d434ef2d751986d83ad2c2fbce7bcf156","datavalue":{"value":{"entity-type":"item","numeric-id":3795207,"id":"Q3795207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$47623317-4E45-4458-9CED-676AC07C4FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f77c9f0b209bffb78ce37325c9477c70ceaf77","datavalue":{"value":{"entity-type":"item","numeric-id":1041807,"id":"Q1041807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$D209C8E6-C54F-42B7-B22E-D6642F1C5453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0c1063d2d24fe1956813fa9bc95f21d14d9d1e","datavalue":{"value":{"entity-type":"item","numeric-id":730473,"id":"Q730473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$64396039-B198-426D-BF00-A745D345A85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec104be679335716ec30c554db0a53b12f974b06","datavalue":{"value":{"entity-type":"item","numeric-id":4895548,"id":"Q4895548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$ABA2DE1B-4FAF-4BFA-B407-953B034C2B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc0c53b37a566572d86f01f7ce274b955eda8d24","datavalue":{"value":{"entity-type":"item","numeric-id":3032225,"id":"Q3032225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$8F8BA548-A07B-48DB-954C-4D2A4EF54DF8","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":"Q683741$D3F863FD-7BF9-451C-A6AD-A61CF90FE702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$15FF5D46-D713-486A-95D1-42B1B7F31886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$FE925D69-A277-4A94-A962-D33580056BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$20CFBFA8-3523-4720-958E-850A446880B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2e515b8f14213cd38f21fb2b2915093cbf9321","datavalue":{"value":{"entity-type":"item","numeric-id":582269,"id":"Q582269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$05185431-44B7-4EC6-A1F3-C379A5319E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9eb6c941375c753f19057467c47613aaec27a9","datavalue":{"value":{"entity-type":"item","numeric-id":1881752,"id":"Q1881752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$93AC6A1F-0F8A-492D-9BCC-0DB247714F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc91f97f4610232fc0f4f16dad485e27866f89e2","datavalue":{"value":{"entity-type":"item","numeric-id":2783416,"id":"Q2783416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$FC9F6A25-9EC2-4236-BD93-EFCC23A583CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$893F810C-1186-4B6D-B261-625A12BF5001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$189C16F8-0A1A-4681-9599-147D8636525D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$2A99A4CD-6A53-4FE4-8EE6-EA750EF4A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$9B3E140A-C7D6-44E3-A934-1B376F5F4871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe6c7975b9d29007f81ba1a0bee5e1e5d56fde2","datavalue":{"value":{"entity-type":"item","numeric-id":1168754,"id":"Q1168754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$031634AD-9751-4A20-86A4-3F9C74B4D1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4afef3b11d19d8db29962a36cde78d2d8af8733","datavalue":{"value":{"entity-type":"item","numeric-id":1124313,"id":"Q1124313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$375206F3-BD3B-4CD7-A60C-4D9B2CD8A4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$3C31DFA9-3DF5-477B-B4E6-5F2B6BB032ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$839DC9C0-AC7E-45EC-A698-9A0AB022F39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$619D0642-A7A6-4447-8D39-D3DF9B0A7684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$9C87403C-E1BF-405A-B26B-F9FE836D373B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27794eeffce4bf0bd1a5c3cadef3ee24d0346726","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683741$E75AB524-C75A-403C-9CED-DCA63049B0FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6f2812c71987c76c35393506aed4e1826a4c51d","datavalue":{"value":"10.1016/J.TCS.2016.12.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683741$BFFF5E8C-03C5-4BF8-BFC6-DD7013A2FF42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27559d9a2dfe724957077ab9753ebed2bf70cb01","datavalue":{"value":{"entity-type":"item","numeric-id":1931906,"id":"Q1931906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c77d47f6b36a204be50b10d506e7b59dc63dc90","datavalue":{"value":{"amount":"+0.7941926121711731","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":"Q683741$9E2ABF62-F7B5-48A6-87DF-0B9913FFE9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ae75205f2f2fff0491c7fa831b88025350a0e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4537514,"id":"Q4537514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4effaa705cdabf736c187aa7c1f939fc8d6ad07","datavalue":{"value":{"amount":"+0.7651729583740234","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":"Q683741$FC564DD0-A997-42BD-B047-DCE8C1E438C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5fba29b8c33e16e6b5e17d1279d611ec3082c9f","datavalue":{"value":{"entity-type":"item","numeric-id":1065790,"id":"Q1065790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2564ab380c450078ad6143ac7118d9c73ea7daa","datavalue":{"value":{"amount":"+0.7637485265731812","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":"Q683741$6F511BC5-C821-4CBC-8231-7706086EABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66d8d56472749cb9bdd54ea62c7c6f3ad94441","datavalue":{"value":{"entity-type":"item","numeric-id":5881267,"id":"Q5881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e1bc26e2ac23105e92bb6f6032002b732852223","datavalue":{"value":{"amount":"+0.7620341777801514","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":"Q683741$63E17DA5-F667-4A28-8E15-87939F60B969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e25c0dc71325e23a4e3ab92f687918a8041e21c","datavalue":{"value":{"entity-type":"item","numeric-id":3817657,"id":"Q3817657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d1680ccad58e720199be1d9daced7a59a9d977","datavalue":{"value":{"amount":"+0.75421142578125","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":"Q683741$0EACF4C0-42AA-42F3-A49E-A0D24171EA33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict coherence of conditional rewriting modulo axioms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_coherence_of_conditional_rewriting_modulo_axioms"}}}}}