{"entities":{"Q6852308":{"pageid":20610508,"ns":120,"title":"Item:Q6852308","lastrevid":84266639,"modified":"2026-05-14T10:08:54Z","type":"item","id":"Q6852308","labels":{"en":{"language":"en","value":"Difference of constrained patterns in logically constrained term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8165073"}},"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":"Q6852308$209D6366-90C2-41DD-8886-BDD0A8784254","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5973a4e7517990da102d9e7826909a060701b84","datavalue":{"value":{"text":"Difference of constrained patterns in logically constrained term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6852308$CA88B1EC-70F6-4ACD-A653-60FD80FEDD8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29c493f5a0e4b4aed90084fd402e2fd71794c2d2","datavalue":{"value":"10.1007/978-3-032-04167-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852308$1EE15B04-ADE4-4BB2-BA19-06E5A77333A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$04271885-FFD6-45B5-914A-BDDF85167A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d590058d5063e8bc4147c46c8e9d0471b1acd16","datavalue":{"value":{"entity-type":"item","numeric-id":6052949,"id":"Q6052949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$282B450A-C376-4190-857C-4711903B54CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"687913160a248a82fa5b71af1617d7bb87be2835","datavalue":{"value":{"entity-type":"item","numeric-id":6641869,"id":"Q6641869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$AE778FBA-1270-412A-98DF-358FEDCE6DA0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e2bc91f75e01209d6a7a4128f3012d483189e60","datavalue":{"value":{"time":"+2026-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6852308$7D0052FD-C3C1-4872-BB39-ACB97073B81F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852308$B1708A9B-A4AD-4A8F-A93A-4B6D2A9C8870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852308$F1F0B76D-4C7A-4A49-9D79-4D5DEEF68333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852308$C994F33A-F588-4462-82AA-63B6365EDF86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b82e745e287f6c28262f9cd45cf58fb7b0d503ed","datavalue":{"value":"8165073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6852308$9601FA9C-36C9-4738-92C1-CD4AFB497A81","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$E187901B-55D0-4275-AA5B-02F5598AB17C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e91147fc33f0e06a956df3b204c5a9f6caa491af","datavalue":{"value":"logically constrained rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852308$6D5F7A6B-C116-4DA4-9ED9-AFAEAB7F7026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5609a50c85bfa2ac7f5fa4c3f0144026334fa5d6","datavalue":{"value":"complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852308$AE4CD1C5-2E8D-4007-A56D-4AC6415385B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852308$2687D8FB-6EAC-4CD6-9AEC-09486E9F6E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2968480b8935d9fd3e38e623d3476aa55ba8485e","datavalue":{"value":"quasi-reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q6852308$33AF4F8E-92A2-43D0-B441-32E091ACC318","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":"Q6852308$E52291FE-4248-47F2-97F1-50E00871D701","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f17994e258480b0c94d0c4916b62d39997ba250","datavalue":{"value":{"entity-type":"item","numeric-id":6874976,"id":"Q6874976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$AD6676D8-D641-4DF5-8215-B6A5033E580A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b647c8a1d55cfe6d15ec647b6db0836e8cef98","datavalue":{"value":{"entity-type":"item","numeric-id":5111302,"id":"Q5111302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$99337F04-35E4-4B93-BB78-8711E1FE0348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ac59a5cde1ab820b7cd49159443fdf381214ea","datavalue":{"value":{"entity-type":"item","numeric-id":420848,"id":"Q420848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$E6D923CF-B5B5-45B8-8C0F-D14268176CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae40bf7c9ca29e5a292c3f2e90b2185c1e061304","datavalue":{"value":{"entity-type":"item","numeric-id":6654486,"id":"Q6654486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$D67BAC17-ACFF-4682-BDC4-20A9BE82B703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c2c312e49d8ce289b66f719fde5484a4506d42","datavalue":{"value":{"entity-type":"item","numeric-id":5875341,"id":"Q5875341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$3E5DD41F-8D21-4DEB-AEFE-5766B86D9BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00da35909c7ffa3d09b9e064b145d0a4bb134813","datavalue":{"value":{"entity-type":"item","numeric-id":5889036,"id":"Q5889036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$AC7F8526-DECB-4B4F-97DF-FB1D1D92CDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908b882f84be4917b45ada52813497d33c1e4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1799091,"id":"Q1799091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$08BF8C0A-94E4-4464-96B5-CD31D2FADA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639888cc1c39a87b813ce9ee1c296a6c111426ff","datavalue":{"value":{"entity-type":"item","numeric-id":1264437,"id":"Q1264437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$D1E4D1DC-FB77-4065-90A8-ECFE2B290EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d51aca6beb1a70c4f7a03278c2c88c76364cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$FCEC4DBE-EAD4-4DBC-A551-A9E6C0B41877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13b7d31e58c7507203cbbccf857b418e8e5f66a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$3D5B315E-8F83-45CB-847A-A9C2B1A3AB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df31f75a36b927df8938d97233d210d23a8d7b79","datavalue":{"value":{"entity-type":"item","numeric-id":6052950,"id":"Q6052950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$64381646-A379-4D48-9E10-C54966E483BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"924752ca8484c0d2ce007cc78503181640e534a3","datavalue":{"value":{"entity-type":"item","numeric-id":6671788,"id":"Q6671788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$A875DABC-E8C9-47D4-B9E5-AC259A7B98C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2867379881a9fad1d7058ee036fa7796030eccda","datavalue":{"value":{"entity-type":"item","numeric-id":2849501,"id":"Q2849501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$77F6B37A-0806-4943-9D10-BC3274898645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3401927881e41fc37b8317fd7b28f5bd64001daf","datavalue":{"value":{"entity-type":"item","numeric-id":3460083,"id":"Q3460083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$685E7250-E424-4C4E-AD2A-2F7D64494825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f4bc57a1aaadbc4746c6b48f307ec2c1c41ccd5","datavalue":{"value":{"entity-type":"item","numeric-id":3761721,"id":"Q3761721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$615BDA0F-26DA-4F29-9A49-32A649E594D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57cb7ce19da7a8c3d5223412ed1f311d14ff605c","datavalue":{"value":{"entity-type":"item","numeric-id":582891,"id":"Q582891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$ADDED364-9B6B-4B01-981E-C3B529ED3533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00b4eb6bdf403a8d30ab4135e926cd5a12884d8","datavalue":{"value":{"entity-type":"item","numeric-id":3444659,"id":"Q3444659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$292ECE9A-D1C7-402B-A3E3-042791CE9D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101d7c845c6e831f0b09b398377db6d83fa7f440","datavalue":{"value":{"entity-type":"item","numeric-id":7009391,"id":"Q7009391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$60DBCEDC-CB38-449C-9AFA-B36A6DA96BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae06c013af453b2df0cc901e465903ce2dc7354f","datavalue":{"value":{"entity-type":"item","numeric-id":1629968,"id":"Q1629968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$B37141A0-6C8D-485A-B7DE-8FD2361ACD37","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":"Q6852308$94244736-812B-4046-BE8A-11C3D138877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4098701b77640969d6c5a6c2843a41c1bc5c5110","datavalue":{"value":{"entity-type":"item","numeric-id":6488529,"id":"Q6488529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$8A2E8204-D70F-4653-AAA6-8F469E923B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727bf6303f28578cce92a2bdc6c0d3c263a24381","datavalue":{"value":{"entity-type":"item","numeric-id":2324203,"id":"Q2324203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$8C3958B7-09E8-467F-9AED-F2CB25C7ECFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$92FBFBA7-8FEC-4DB9-94B0-AA640C28BA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5e1f69ee3b06a57d3768223e3c9cbcf3ef8695","datavalue":{"value":{"entity-type":"item","numeric-id":7034585,"id":"Q7034585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$B5A4BA13-25FE-445D-BFCF-15E7E31844DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a217fcb067ef81b957621bdf277c384fb5f3f62","datavalue":{"value":{"entity-type":"item","numeric-id":5055804,"id":"Q5055804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$FB0000B0-DBCA-4BFD-8EE2-3AE047C24BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfefc0139570e4407059dcf631bce3af1ff85af2","datavalue":{"value":{"entity-type":"item","numeric-id":6874982,"id":"Q6874982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$7CFC4BB4-638F-440A-9D1A-11B18B20970B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d10fc74bb631d103d55d98623ca6a59a70b5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4993362,"id":"Q4993362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6852308$25692F3C-0246-467E-B7C5-6778CC418078","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Difference of constrained patterns in logically constrained term rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Difference_of_constrained_patterns_in_logically_constrained_term_rewrite_systems"}}}}}