{"entities":{"Q6151615":{"pageid":13285922,"ns":120,"title":"Item:Q6151615","lastrevid":102558503,"modified":"2026-06-06T04:45:57Z","type":"item","id":"Q6151615","labels":{"en":{"language":"en","value":"Local confluence of conditional and generalized term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7803178"}},"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":"Q6151615$E89A9948-756C-413E-AFF6-9D17FD108981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f14b7ab7d3a04bdbe3e4874e488ca17fa584b1c8","datavalue":{"value":{"text":"Local confluence of conditional and generalized term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151615$8B730583-51EC-4F08-85B8-0D977FB45AA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c863fa396706b2f00b0e4efd36ab68137f900a","datavalue":{"value":{"entity-type":"item","numeric-id":293292,"id":"Q293292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$47F991C9-18D6-4089-8065-6C203089BCCD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$BEE976F2-D42D-4835-94AE-7E1E9AC2D651","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2690d5dc291ad0ded12f2eb8597187f840576ab","datavalue":{"value":{"time":"+2024-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151615$FD342FE3-F050-425A-8893-579B589E1945","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151615$429188C6-CD8A-42E7-A19B-4D78EAFB4043","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74cc1f511abf0e986bc4b5abefd34ce93ced5e78","datavalue":{"value":"7803178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151615$C4392A38-495D-477B-B90F-56C5EF11603E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151615$12FF78C9-A845-46A9-89EF-2248AF6ED943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151615$0C9B52E5-E01C-4769-80AD-0517B9D9578F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151615$D3AE54F2-CBD7-4D7B-B52E-27DD572D6627","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":"Q6151615$23D11537-7E0B-4EB7-99D2-6C4094A1FD54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfeddd2555e975c536334dd0085d13199ab21238","datavalue":{"value":{"entity-type":"item","numeric-id":2154006,"id":"Q2154006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$7CA407DB-302B-45EA-A3C0-7A64E728482A","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":"Q6151615$EDE6BA85-06ED-4231-B545-DDA3877DE000","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":"Q6151615$23B53821-BAB3-4EA7-8E5F-71877C5EC624","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":"Q6151615$0695AF0E-C83B-4943-A9F3-53763ABFAF47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d903972af7d29825f64b1c88e5395eb0b5d0fe00","datavalue":{"value":{"entity-type":"item","numeric-id":915429,"id":"Q915429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$46746231-2630-4AE4-BB15-3B8C358BA2CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f8f7ccc1c97a833573f62334972a5021fa3d72","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$33573C18-CEC1-4AF1-B4C3-EDD409A7A494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9948cde9cb912873d313b070e72a3e8980e0949d","datavalue":{"value":{"entity-type":"item","numeric-id":3210187,"id":"Q3210187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$82766EE3-4811-4150-837E-CAEA3F28A6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9347765136650ae068c681dd50837d0a09bc96f4","datavalue":{"value":{"entity-type":"item","numeric-id":2291818,"id":"Q2291818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$6B207959-DF01-4AB9-9AF8-38F19970F086","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":"Q6151615$633D2FED-F2DD-4AD5-BF99-F800B59676C1","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":"Q6151615$55F4E23D-5DDB-4862-B744-420D5DAF1549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32958591c3e6b09af1c21e58d8f0ef427f9998b8","datavalue":{"value":{"entity-type":"item","numeric-id":1763429,"id":"Q1763429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$2DBE9321-7FC7-4CBA-96B4-CA52997AF530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$11B8C2D5-10C7-48A9-B1BA-2D7024203607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe3faa2fe777bdd3b70d1a845f296c9eabeb910","datavalue":{"value":{"entity-type":"item","numeric-id":5878911,"id":"Q5878911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$173681CE-75DD-4A46-A993-E27E62A25B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8630196765e23a48a0f7120cd525c10258da6f13","datavalue":{"value":{"entity-type":"item","numeric-id":2305421,"id":"Q2305421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$A526E4D9-3BC1-416D-9FD2-58AC4D65FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16258d9a3a703db616d63050ff5a071f95880252","datavalue":{"value":{"entity-type":"item","numeric-id":5049020,"id":"Q5049020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$1B3E3A68-178F-4DF8-BAD2-34D6EB9C75FE","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":"Q6151615$2A79C691-BD22-41E5-BADF-A6C2B3922A75","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":"Q6151615$C1DF9A0B-3387-4B63-B193-1CB29731F1B0","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":"Q6151615$C20C7BAF-C5C6-4867-BF6F-BD016A023262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc38d5f7a802e9ea35c5abdf22fc0003a899e4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$D950EC56-4991-4F97-A6AE-E9EC2431D201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfe1a468bf534a00b281ff6f6e46bb3e144de76","datavalue":{"value":{"entity-type":"item","numeric-id":2289018,"id":"Q2289018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$5FEB36CF-E375-4CE9-BE4C-04AEFD0898C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90ad8a162001141c6c4e168e5e3dbaf69ae64e23","datavalue":{"value":{"entity-type":"item","numeric-id":2303238,"id":"Q2303238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$23B7463E-7DAC-4002-B132-6E83A9F0AC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b84f823b14d0f23ba5f08302bad63e3af1883f3","datavalue":{"value":{"entity-type":"item","numeric-id":2043816,"id":"Q2043816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$F0907DA3-A02D-4C77-BC09-2F27F3577C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca454fcfb674a55b9997dba52f329c49a980195","datavalue":{"value":{"entity-type":"item","numeric-id":1655487,"id":"Q1655487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$1375B5E0-262C-49C0-B2B1-3CAB44551F30","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":"Q6151615$F1F6D8D7-6A72-43DD-A71C-06FFFC892162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae0abab94a705c39043ecd61c1a54360ab1aedae","datavalue":{"value":{"entity-type":"item","numeric-id":1635507,"id":"Q1635507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$FAE06340-4D7C-47B4-B392-43B2D31202F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$36C3CCED-F810-42DC-B587-D1A117A46B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb496c9634a98f0039346f65f7083ec0caefc11","datavalue":{"value":{"entity-type":"item","numeric-id":5881285,"id":"Q5881285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$8560D26C-CCD6-4C5B-A338-BADD4C7B0D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73082194760b2ca2ddf549af4f20d67097ed3f50","datavalue":{"value":{"entity-type":"item","numeric-id":689098,"id":"Q689098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$FD926573-0A19-4E77-B8CC-8C0E7C7A8524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35b3a3bbb3070928fbac1b871eab8deae4848ea4","datavalue":{"value":{"entity-type":"item","numeric-id":1328184,"id":"Q1328184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$811C6B8C-57B9-49E4-9D23-EB3939047A20","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":"Q6151615$4310B1A4-7BC4-4E89-A8E9-0C2C67B58282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1503f29dae7b866dcfe74c37fb3ccc4700ab33d","datavalue":{"value":{"entity-type":"item","numeric-id":3817651,"id":"Q3817651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$FDBDB82D-35B8-4140-87F5-302E56A77081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$1C0BA67A-1F8C-4515-9B6C-8A2D36A49C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$E0924D44-91A7-439B-BEFE-EC0C2C926877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67ebe330482a25481526c9eebf18b5ee31078c61","datavalue":{"value":{"entity-type":"item","numeric-id":5055830,"id":"Q5055830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$57D48B16-5C9C-463C-A172-8359AAC69568","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":"Q6151615$E5CDACD9-7226-442F-803D-BD3800CC0B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$1E30976D-B5B8-4819-A231-CC6CD5477414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$94A958D8-FE0D-4886-92F7-C8C78D202AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718380434e13ecab09fa4cf3bd463d4c47181c65","datavalue":{"value":{"entity-type":"item","numeric-id":5816105,"id":"Q5816105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$FDEBDB18-218E-4DBD-B657-365BB73DBB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6445dcc8faa3ff5bbda85615af67e6b0ed84f9b5","datavalue":{"value":{"entity-type":"item","numeric-id":3823708,"id":"Q3823708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$C784A125-1ED3-4A2D-A59B-D58981DBFFA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e7f0395b20326fe2350947c576ba691d840a244","datavalue":{"value":"10.1016/J.JLAMP.2023.100926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151615$6E0BA127-295F-4BAA-90B6-D87C405B0D6C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151615$AB5B3045-AF26-4490-87C5-441E252D14AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local confluence of conditional and generalized term rewriting systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_confluence_of_conditional_and_generalized_term_rewriting_systems"}}}}}