{"entities":{"Q1041589":{"pageid":1043437,"ns":120,"title":"Item:Q1041589","lastrevid":66015645,"modified":"2026-04-12T06:58:00Z","type":"item","id":"Q1041589","labels":{"en":{"language":"en","value":"Context unification with one context variable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641697"}},"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":"Q1041589$85BA4733-776D-4D00-891F-CC2D046841B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b92a8055eb50d89b1296ecd079ed7ecb255a86a1","datavalue":{"value":{"text":"Context unification with one context variable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1041589$70B342C8-FF04-493B-9141-CD05008C47E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ece7b6242e927b2360e51a3c22328a67124c5a8","datavalue":{"value":"1192.68431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$A4498474-4440-43EA-A7B2-AAAA4E405CE0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2fa382e71217a50c0f4fe1ba1af2f57a2bcb70d","datavalue":{"value":{"entity-type":"item","numeric-id":1041588,"id":"Q1041588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$10701124-E93F-445F-A8D4-B3B94A308A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"957322e0e65309e69a1881e776e7b58b540ff033","datavalue":{"value":{"entity-type":"item","numeric-id":734040,"id":"Q734040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$0F7BAAF8-32DD-4E7B-B2FD-27EA3FCA0A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$782285A8-D224-4B8A-907D-B2DD03104ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78912daa4c2f606a86d62c664c42ea944a74fc3b","datavalue":{"value":{"entity-type":"item","numeric-id":1611409,"id":"Q1611409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$76256902-39CF-4CBC-9B6C-7DF6DD44B99F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$00D43C1B-8C83-4338-8E34-7D39BB018E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05684a6a76ae208e2fab322cb348b334f82a2986","datavalue":{"value":{"time":"+2009-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1041589$B014BF4A-27C6-4544-8A70-1905D7CDE2F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"612031edc59b23f09e70847218b9007002bb1331","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/22290107/1_s2.0_S0747717109001114_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1041589$9F284CDA-3794-4640-9952-289B37539944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$A6CBA4D9-A650-4AC5-A972-782C2914ABA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$1FA7E112-413E-494E-9366-FF5267ED402E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45c75b1ea52e5b9e605d2b1ff19d0d3f9d20360d","datavalue":{"value":"5641697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$273D2BAF-4185-4ADB-9002-162CAC3BE994","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041589$C58E57B4-B55A-4D89-B635-AF26A6538114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34bb4f3aa7ed5cc66961bb25257dc0d7f6d24b94","datavalue":{"value":"interprocedural program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041589$0D7B69F1-ADD8-4831-92BC-16F7375A2081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860522228ae06ae28bf4edb68d858f5087c2f70c","datavalue":{"value":"context unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041589$63A47C18-6805-47B7-81AA-CE930AA522AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5935250e4e60897f7fdffe660d9ac37d224e316","datavalue":{"value":"redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1041589$8101BBD5-1AD5-43E5-B72D-79513B328E89","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":"Q1041589$8BC4FE48-B7B5-427A-A5AD-6AE1CCAECFF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f7ecb3c85c47952b6109f302d3cc16a05a4ca30","datavalue":{"value":"W2033770248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$DD8EC211-67E7-4067-B751-80D3370E36C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a351897245977aa0d098a2219b09f6d20cfa230","datavalue":{"value":{"entity-type":"item","numeric-id":2751360,"id":"Q2751360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$B4BD26C6-5706-4637-9AE1-76BBCC34D42E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e9b6b68338ab7c14800283ab94a06382ee9ae9","datavalue":{"value":{"entity-type":"item","numeric-id":4327380,"id":"Q4327380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$B98C5388-AC96-4BFD-BF71-27004A316F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30964070227e3a70152086a46a578bda72c0b38d","datavalue":{"value":{"entity-type":"item","numeric-id":4708571,"id":"Q4708571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$34B6B455-DD69-4B15-A557-3CBD2C888962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$D869B32A-1E90-4226-8036-4A1A41F8DBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f850bf881ec3b4f39fc18ccf4c1fdc396e05d1f","datavalue":{"value":{"entity-type":"item","numeric-id":5466562,"id":"Q5466562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$580D295D-598D-4336-B813-A42A900B79ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1774dfe4960a0840f2ba7e2e9f290bbde1f75301","datavalue":{"value":{"entity-type":"item","numeric-id":5452620,"id":"Q5452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$1828CE47-305F-443B-9114-88EE908B5833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4790a8f508b7827f27d4dbb0558b53e264da509","datavalue":{"value":{"entity-type":"item","numeric-id":5756498,"id":"Q5756498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$FA98D10C-6993-4407-ADB7-45E4866BE545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feebad8575c91f403302f1fcff58cdee3e55290","datavalue":{"value":{"entity-type":"item","numeric-id":1238409,"id":"Q1238409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$1C4CA6EA-88C1-4A5D-BE67-DEB339BC61C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd2158380546de1c47756c4fead8c0c2406dd1c","datavalue":{"value":{"entity-type":"item","numeric-id":3789064,"id":"Q3789064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$909A223B-50A8-4638-B0FA-B9A50ADF7CE9","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":"Q1041589$01DF7001-8779-4ED5-836B-7BB324A9B259","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":"Q1041589$3491B27E-04AD-434D-83D8-786D15F205A8","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":"Q1041589$12500B4D-7C75-4113-B1E9-340AFD6D19A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065ea4604210f6f33929664cd3c1938f56d2a34a","datavalue":{"value":{"entity-type":"item","numeric-id":4179180,"id":"Q4179180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$881D2564-F3C3-4716-8FA9-1A5CA343C087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$5951F70D-5726-4875-88C0-ADD61B09C189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f232357ea33a81e1500bd1c1fdcc1712a44dbf5","datavalue":{"value":{"entity-type":"item","numeric-id":5711512,"id":"Q5711512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$BC1365C3-C56B-4AAE-8FCE-9F1374181802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3f76fff77d3d9d9b4845d1274e18b6e480264ff","datavalue":{"value":{"entity-type":"item","numeric-id":5466534,"id":"Q5466534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$25DF1FA2-6186-43FE-94DA-122AB5460B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccbcf24a9ab7ea4b5166fafea18128a75467818","datavalue":{"value":{"entity-type":"item","numeric-id":5234685,"id":"Q5234685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$4244F0E2-E393-42BE-AA1C-21355E5AAE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1041589$0B8FC609-80F9-46B6-9F42-FCDAF3998A02","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":"Q1041589$DA583F31-EE9D-4F8D-B415-41DAA366170B","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":"Q1041589$70C2D412-6C5D-48AA-9C7D-8A09D07B54D4","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":"Q1041589$AB0FB0E6-C3E4-4B99-BB7E-C04D9856717B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dbf898400702a155b9b6dd6f9d1d12029de8c9c","datavalue":{"value":"10.1016/J.JSC.2008.10.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1041589$4D9D101B-D8E5-48D9-A6ED-B3509B565C52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847f0fcd459a591d2ee6b520c89e5542ef282de1","datavalue":{"value":{"entity-type":"item","numeric-id":4635831,"id":"Q4635831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1c914282a74c7b36e4b03a6398c6fc7f6e4121","datavalue":{"value":{"amount":"+0.8079753518104553","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":"Q1041589$44F11868-CEDF-4F6F-8557-85A2A70E7083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e0cb6b7c20480e9fd1eab46c34fc208f5a2d30d","datavalue":{"value":{"entity-type":"item","numeric-id":5351971,"id":"Q5351971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c7bbd78e089393cc0bb01530daf62633de1429c","datavalue":{"value":{"amount":"+0.8043659925460815","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":"Q1041589$23EE1D9C-41DA-459B-947A-131C790C44C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2ff77bc6e1f5c4d90fe79c77f8133b2fa8db54","datavalue":{"value":{"entity-type":"item","numeric-id":5215468,"id":"Q5215468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc01cecf36b947f678a59964a7938b03a3a1d036","datavalue":{"value":{"amount":"+0.797148585319519","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":"Q1041589$675D1F85-E1A2-4522-A372-E16268BEDE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c056feceb8d6911d8d959ba986922c9332a3120","datavalue":{"value":{"entity-type":"item","numeric-id":2778877,"id":"Q2778877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5c20f95f22bb4f63c92cba6273260a01dad3e7","datavalue":{"value":{"amount":"+0.7871504426002502","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":"Q1041589$6D8DF7A3-D818-4617-A6CA-CBD537055E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20ac281cbfa812a719120764139f6a9f26ce6d9","datavalue":{"value":{"entity-type":"item","numeric-id":3838760,"id":"Q3838760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6775f7f8d4da679f994eb86d1fcbdf0f535f7e","datavalue":{"value":{"amount":"+0.7870004773139954","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":"Q1041589$1A5FF20D-5285-4C75-9281-FC1940DDA298","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Context unification with one context variable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Context_unification_with_one_context_variable"}}}}}