{"entities":{"Q845917":{"pageid":847765,"ns":120,"title":"Item:Q845917","lastrevid":64811334,"modified":"2026-04-11T22:23:25Z","type":"item","id":"Q845917","labels":{"en":{"language":"en","value":"Dominance constraints in stratified context unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5664749"}},"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":"Q845917$22EF477C-D537-4653-9F50-583329C3AFE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90a9f122a735df0c7ce57e06f82ae63758e0a4d5","datavalue":{"value":{"text":"Dominance constraints in stratified context unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q845917$7E2EA364-8145-418E-8593-F87248FE3B50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15cb827ab67be2c4e08bec9dd176512df6a10359","datavalue":{"value":"1185.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845917$77E2BD97-9871-451F-91F2-A6C1E6F1A54C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d286136f55be3639193b75a08b80aecae21f11e3","datavalue":{"value":{"entity-type":"item","numeric-id":222853,"id":"Q222853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$C81F1CEF-9BEF-47FA-BAF5-4B6DD0E0709A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d8975d333bedd66ddf13d7dd6389095a118d","datavalue":{"value":{"entity-type":"item","numeric-id":174813,"id":"Q174813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$6E5D0088-6717-49E0-98C3-4DC5590F4B54","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$2ABEFA92-12FB-4681-915B-AB559B6C6AB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f401d416e6e46815e09909774a39b16cd83f71c6","datavalue":{"value":{"time":"+2010-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q845917$2C04182B-704F-448E-8E4A-4165B7DBAB4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845917$91A25177-D460-47DD-9780-BF9FCA6DF01A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1335137b54fc2ba3023ee08653e6d5ca443b73bb","datavalue":{"value":"5664749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845917$1C9245C7-D255-42EB-8FFA-5F4E568870AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9713df3f62c89ce97162870564a4ab5ab1fea0","datavalue":{"value":"computational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q845917$E3EB80C3-A39E-4498-8D99-12D020D099B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24938459dbf20196734dcf6c3a35c8a8724abee","datavalue":{"value":"trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q845917$754FA5CB-AD3D-4E21-93EC-9379F91CF63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q845917$190CFA4D-FB97-4479-B6B2-015F6F66FB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q845917$24C4298A-B30A-4C6F-918F-6E32AC018B5B","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":"Q845917$7F9BD2A5-0131-491C-BC0A-3133A2D52B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6eb0e1f6cafa61c34a0d7e7a01734e12ea73960d","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2006.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q845917$D80C1ED4-AA50-492D-8C2C-3FA3420456DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c76507ea6eb6a76dcb4b47629c4d03da574ff668","datavalue":{"value":"W2030656394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845917$11AB0826-5243-4D2B-B927-9F22B35AFC82","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d2197c73ec0adf9f4662169b21af6243ed710a","datavalue":{"value":{"entity-type":"item","numeric-id":5501243,"id":"Q5501243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$6DC03A72-F3C9-4E9A-B602-5B6C3A1F20EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cc354652a5c3e0f35619aee2911a3312d058ec","datavalue":{"value":{"entity-type":"item","numeric-id":5204334,"id":"Q5204334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$16629479-EC10-41E7-BC33-85D5C5395DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0068d0b766988c6660717b4baef156579e47dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5956115,"id":"Q5956115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$F22C8073-0D2F-4D4A-AB64-FA86A9F60D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64619acd96c83aac5bc5ee30991eb74ee7d6c447","datavalue":{"value":{"entity-type":"item","numeric-id":3546316,"id":"Q3546316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$2850746E-4A9F-4D77-9F96-6D7EFC18E26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8ee359e7718a7bc712a1c58c5bf2adb73a1643","datavalue":{"value":{"entity-type":"item","numeric-id":2762872,"id":"Q2762872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$113F1154-25AE-46DE-8A2A-550AA20B9719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e3988fb7cebf99242d8800f99ff1709b70e1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055871,"id":"Q5055871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$4FF34D41-B64E-42B5-83DC-8E3BEC9FA8A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681237120173c6d7ddd08d2b165212bcd195c39","datavalue":{"value":{"entity-type":"item","numeric-id":5310661,"id":"Q5310661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$7E37969C-01DA-4AB7-AF96-C82EF1C8BAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc0effe3bc9d7252ac6b3d0e978baed02875894a","datavalue":{"value":{"entity-type":"item","numeric-id":5394611,"id":"Q5394611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$3E707FA4-D7BD-417F-BDA1-015F1078DD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de9d0e6e5093b9e7d657efc5348ca37391a3096","datavalue":{"value":{"entity-type":"item","numeric-id":3613402,"id":"Q3613402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$832BE406-6CB0-4346-9974-855D4CFC644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092348088466a9288a4b352c8d624aae9ff71ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4159542,"id":"Q4159542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$A052B2FD-D6D1-4569-AF6B-82F0036D9105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ec8b54e20da6609751c016a25a28ebda500e00","datavalue":{"value":{"entity-type":"item","numeric-id":2762878,"id":"Q2762878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$49D6769E-D79F-40F8-B0B2-434CCD426404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b1884b050c6849af68282354e8061b9e78ad9d","datavalue":{"value":{"entity-type":"item","numeric-id":1607044,"id":"Q1607044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$0A528471-2CEA-4432-A756-8DAF2CD9A5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba514721116fcba5045603e9524f6e2f496f221","datavalue":{"value":{"entity-type":"item","numeric-id":4796458,"id":"Q4796458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$77B45034-08A2-467B-8F1A-9FCCE8BB1375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f2e897b9eeadcff5d84d426ad293549b9a5e96","datavalue":{"value":{"entity-type":"item","numeric-id":1599536,"id":"Q1599536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$9BA5DD44-22B4-4E5D-A4C9-717434C805BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e5d2486b418d47588e9e6c8f4b3f6c40689c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$53A424C7-6ECF-4078-B8DF-ACCDB1E0F5B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q845917$47F464AA-AC07-4E31-9C3B-A2634A95A868","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4820c0846c9688f904ac865a37a3d7ac34047bc","datavalue":{"value":"10.1016/J.IPL.2006.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q845917$D510808C-EC7D-45FC-8FD1-698CC92C88F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dominance constraints in stratified context unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dominance_constraints_in_stratified_context_unification"}}}}}