{"entities":{"Q5881285":{"pageid":7910836,"ns":120,"title":"Item:Q5881285","lastrevid":41810074,"modified":"2025-05-08T14:49:18Z","type":"item","id":"Q5881285","labels":{"en":{"language":"en","value":"Confluence of the disjoint union of conditional term rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661657"}},"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":"Q5881285$A91E2D6F-F775-45EC-8F34-8A26845A78E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38aee856c882e36066caacbbe31ca41ffd7ec53b","datavalue":{"value":{"text":"Confluence of the disjoint union of conditional term rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5881285$5AF5826E-A91A-4A55-9C80-DBCE3891674D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84fc6e562f3f18199847ae630c122352126b9e4f","datavalue":{"value":"10.1007/3-540-54317-1_99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881285$A9CCD49F-242E-4656-B2CA-ADE2B0D6745A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$62A83148-B326-42C0-80B6-06636088DAAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a4b5901641e74cf791bcdabc63125c8cff24565","datavalue":{"value":{"entity-type":"item","numeric-id":5881262,"id":"Q5881262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$EF23FCAA-627C-46E8-9B41-ADC270B17BD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa71b3b2a7b7ab0138de60bd723d67e92e6e5110","datavalue":{"value":{"time":"+2023-03-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":"Q5881285$7113B523-0806-4D20-B244-A1E604631989","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881285$CB7C1F7B-A924-4913-862C-A2D383FD4D85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab0170c280b6c86609356694172814fe387b401","datavalue":{"value":"7661657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881285$C5149D9D-7058-4BAF-A9C9-833DA85A2885","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881285$B44AB69B-FC76-4102-BE09-6F0D35D0BE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf4028094eff2937eb718f1cad23b3763457cce","datavalue":{"value":"disjoint union","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881285$4A2FE6A1-303B-4CD3-85BB-960E5C1FE71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3ae69788226feca6ae8044c1c7a9062ebff252","datavalue":{"value":"function symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881285$F4CE2ED2-1908-4D62-80DE-1B6C63317B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce052d0256e49f94d85045cf9e553d76ad1d9ca1","datavalue":{"value":"modular property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881285$3CD66DFF-4EC8-4C08-99EE-9E2969EC2ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2937b973c91d3b5515ba93a4c99f71fc3b17f60d","datavalue":{"value":"rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5881285$AF973713-F50A-4E8E-B0B6-AD922805EFC8","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":"Q5881285$14D95871-5D02-4A1D-A503-1C5B52781072","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a5d2f031413899f50e41b55250c8c7c59fba3b4","datavalue":{"value":"https://doi.org/10.1007/3-540-54317-1_99","type":"string"},"datatype":"url"},"type":"statement","id":"Q5881285$D585CF61-DAE9-4360-8E6F-8E8DCA640366","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da86950fc9547d839570ad0defafbebff52fad8d","datavalue":{"value":"W1542488508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5881285$F84E5E89-4EFA-4838-A4BB-392A272027FA","rank":"normal"}],"P223":[{"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":"Q5881285$01CC6F8E-93F1-424E-B24A-3051E08E73E9","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":"Q5881285$80AB3D78-5BE8-48DA-8923-E6F80C85BFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5985ede7bd580a3b6a10ed6c28ef50e7923f93","datavalue":{"value":{"entity-type":"item","numeric-id":3819993,"id":"Q3819993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$DBEEE68E-AE17-4E72-A63A-3654C86CBC46","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":"Q5881285$097978C4-62B9-4881-8424-3CF8FFA3BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc952c4dd8b2618cd6914cf7fc4aa87c79fa4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3716279,"id":"Q3716279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$7548AF3F-9D45-4F45-9242-38C3A7EAE34B","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":"Q5881285$F80C781E-5084-46D4-A346-D818EEA8C5F9","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":"Q5881285$87CBB597-E173-4058-BDE2-9B2894364EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17f28b0751a7d60f0d11ffebcb02ee26333307dd","datavalue":{"value":{"entity-type":"item","numeric-id":910207,"id":"Q910207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$6A4428C5-B0E5-496C-830B-FD949536DB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5e8b14e33ce5508a37941b203d2419e8ded357","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$4538F22F-AC71-4DDD-BFF8-1AD43D96F18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399c4cdf2fc30383b927caff1ca0ff9ad8e69425","datavalue":{"value":{"entity-type":"item","numeric-id":3204048,"id":"Q3204048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$7A736F44-8C4E-4ECA-BF44-C419DE581B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8c39dcf1cd87a28b508e3c9832adf61306c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1108785,"id":"Q1108785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$98AEE47D-19C1-4483-9C9B-53A2A19C2312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776ab2ff945c52396f6e0d21fa9758c667df50b2","datavalue":{"value":{"entity-type":"item","numeric-id":5503212,"id":"Q5503212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$B583DCE8-C123-49B5-A7E4-F9F00FCC953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52993d82a0ab7d20a5a52eff1d3b454c784598a7","datavalue":{"value":{"entity-type":"item","numeric-id":1107975,"id":"Q1107975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$02749237-FDDD-462B-821B-D7C5AC83280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a13b8b47957d5cbd2ccc811d6a3ea0ab1cb966a","datavalue":{"value":{"entity-type":"item","numeric-id":5055740,"id":"Q5055740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$BE10EF25-3854-4B13-A741-34CA8E4B216F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b71055072311024197a19b15cc0eb0d22b3766","datavalue":{"value":{"entity-type":"item","numeric-id":3696496,"id":"Q3696496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5881285$56B1E4B9-918A-4CE3-8578-C92CAFB877DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcf024aa9c11d7a9325b0e6852ea3f518f6f848","datavalue":{"value":{"entity-type":"item","numeric-id":5055864,"id":"Q5055864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd46f4460aacfcea098be772703f0bfc195db877","datavalue":{"value":{"amount":"+0.9354462","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":"Q5881285$4D2A228A-F5AB-49E0-B888-17CFB2C4591D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14b0b888df5f87cf5a228917eed7cf3bdf1c591","datavalue":{"value":{"entity-type":"item","numeric-id":1337642,"id":"Q1337642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483fa3ab38c2bae28d4a72b082c94c187417bf87","datavalue":{"value":{"amount":"+0.92207074","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":"Q5881285$1046070B-54BF-48AD-BB9C-E21295D0B357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e398622807fc23703a52d71147468fe98588f5e","datavalue":{"value":{"entity-type":"item","numeric-id":671506,"id":"Q671506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea10a3da3b0df426318bcec79112f4526c5bd71","datavalue":{"value":{"amount":"+0.9209713","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":"Q5881285$AFC651E7-FA79-497C-942F-36CFE210AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d15fb2518b9f8adb7c5c23e6ebcaad4b5732bc","datavalue":{"value":{"entity-type":"item","numeric-id":2321950,"id":"Q2321950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46187c02f75da72981057d9fb0bf9a743bda1565","datavalue":{"value":{"amount":"+0.918452","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":"Q5881285$C06D6208-8BEF-4ABE-8D6A-231DF67D9610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764599736dae83742547a7cc4f01e4f35b62514b","datavalue":{"value":{"entity-type":"item","numeric-id":1100891,"id":"Q1100891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f8638286bd7f2c2f4e114631d9a23243e1266fc","datavalue":{"value":{"amount":"+0.9149985","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":"Q5881285$9C6BF996-ECE3-45B2-A6BB-4DFC0ED19B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75a70085fde5b6308d974b348cdccfe783e8981","datavalue":{"value":{"entity-type":"item","numeric-id":2518609,"id":"Q2518609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0008b4a545799c5f09609049d415a1381ba8e545","datavalue":{"value":{"amount":"+0.9123796","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":"Q5881285$6613F1DC-EA4A-4CDD-B315-9C97E0D15912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a1611cb9417e5134b7d8804249cc6b5e2f380a2","datavalue":{"value":{"entity-type":"item","numeric-id":3817653,"id":"Q3817653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0622c485dd70e985bacb08c8611e330ef8851dba","datavalue":{"value":{"amount":"+0.90956557","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":"Q5881285$791D41BA-D4C7-4A1A-85A0-FC6D5A0F0434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f54df1bbf11efb4735293287eca9f501744a1cd","datavalue":{"value":{"entity-type":"item","numeric-id":1101209,"id":"Q1101209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8122f86f29ee5e751228627c71da884b6d8dfa27","datavalue":{"value":{"amount":"+0.90931886","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":"Q5881285$D5E74F08-21E6-4618-9834-9330AB7921EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce13c1d6db4164a5c217410489d88ebd117a5adf","datavalue":{"value":{"entity-type":"item","numeric-id":3819991,"id":"Q3819991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfe1d17bef2f807a92819b41ebec500be8fd41d","datavalue":{"value":{"amount":"+0.9077103","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":"Q5881285$1FAF3156-56A6-4A73-ADD1-D030DD6F9E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f8094e792cfb2a3f64409ed95b797e54c5bea9","datavalue":{"value":{"entity-type":"item","numeric-id":1325846,"id":"Q1325846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571abd351d94fe808f5d08460762185225191826","datavalue":{"value":{"amount":"+0.8985867","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":"Q5881285$CD6FECEB-788D-4A18-BB87-FD5ED5B10813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5881285","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5881285"}}}}}