{"entities":{"Q5166612":{"pageid":7196184,"ns":120,"title":"Item:Q5166612","lastrevid":52026809,"modified":"2026-01-20T19:07:21Z","type":"item","id":"Q5166612","labels":{"en":{"language":"en","value":"On symbolic semantics for name-decorated contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6309374"}},"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":"Q5166612$5E67504D-2E12-4403-8441-DAC00D986BCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84ca8d67e6cde4682047aafb55d3dcfa71aba588","datavalue":{"value":{"text":"On Symbolic Semantics for Name-decorated Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166612$1AA54656-296E-44AD-93B1-EFFD884D0180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4003c9194fb72e48a6c25db6ac8efd25ca781dec","datavalue":{"value":"1291.68282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$B3103F6D-10E9-47B6-9BE5-34692D1D2B8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ae369af57669e5ec8b7819be59bf6e141567dbb","datavalue":{"value":{"entity-type":"item","numeric-id":959789,"id":"Q959789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$B71487D3-29A1-4E58-B82E-944621AA1644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29004be5eb03a1c906f7f72116a0404010c1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":860880,"id":"Q860880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$3672B6EF-FB94-4746-BF44-587CE3C0E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$FB4A136B-5F10-454A-8CF9-1E2735B8F484","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$9E0A904C-2168-49A0-8CB1-2E389C2EEFF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"251e0e848447c04df22617da60cec84f2100f397","datavalue":{"value":{"time":"+2014-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166612$06F2A799-4A2C-4B10-941E-1F9901A18088","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$B16C3E34-99D3-446B-BFB1-7BA87DE6BA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$5EF391E4-437E-4200-8AFE-C77692856FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$CA4C26F1-8968-4670-98EB-EE73DB146025","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f37d9a4e7c70a04e2c0b6b0281cd84e9e08ea44","datavalue":{"value":"6309374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$8F9F45F2-4B4D-4A4D-9427-A9723A7DAAA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"206c784d52c4a36fcd8ea9f081b4eca6ce243be8","datavalue":{"value":"open systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166612$A2585C3F-9894-499D-8557-4668E9402036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5ef96e16ad04069a357ef6a98a2823c300d1c3","datavalue":{"value":"abstract semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166612$F6625BCB-D190-48FB-8678-CAF46D327ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6129de91cb93f8b46e94e0cb7cf0b61a353a55","datavalue":{"value":"nominal calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166612$D29AB312-8E58-431C-BD63-031A62F00B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5166612$D858BEE7-3ADA-4461-B31E-1ED96CCD0729","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$004DB2A6-65B5-4F29-8313-C5F7B21F251A","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":"Q5166612$5D50AC35-2403-4639-9B9D-041282659701","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f65736d405f3f95c70a5c2281c8b1287e3332829","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.06.038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166612$AA683879-B4D6-4AE8-BFE7-5E1B4E1C5C69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6fc050ce773c04b8910787f526b679dbb5d4f44","datavalue":{"value":"W2086331129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$AB0FACC5-7008-471A-8B26-7A1AB1D5B16D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7aff06694cb7808375bf173149732b91c21f4375","datavalue":{"value":"Q56501709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$E96F27E3-0498-438C-A42B-D7D28BF7A2A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab35f4a7d55ba33e39746dca3e29f44516746a","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$4C2A2AA8-C3F2-41C6-AB3D-003926503197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2e2b7d7e4582018c3cc723f0bfdbdab53b57a3","datavalue":{"value":{"entity-type":"item","numeric-id":5464831,"id":"Q5464831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$14B09037-0023-47FD-BBDC-063275726C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db629953fcbe90bfb03fd35ed72bda1b95381319","datavalue":{"value":{"entity-type":"item","numeric-id":2463561,"id":"Q2463561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$7E7E05A3-2EF1-4E26-9983-B68B917110D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760a7941e98f0680122c2bd593159d11115137aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897490,"id":"Q5897490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$95D626CD-1E0E-4F80-8F64-F88708F5DA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829bd72c1d7a7d146215024a1a5ac918591d28e","datavalue":{"value":{"entity-type":"item","numeric-id":5179129,"id":"Q5179129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$3324BE3F-16CA-499F-B31C-2A8CBBD24DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"848770421424f59b7889fb7b584b539aab93b512","datavalue":{"value":{"entity-type":"item","numeric-id":3396631,"id":"Q3396631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$7E77C927-0DA4-4D8C-9124-138D9B69C8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$B59A069A-8D77-4C6F-B64D-79987E886322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2590c931a9c6b4bbc26e5131629de6b00286afa","datavalue":{"value":{"entity-type":"item","numeric-id":5178865,"id":"Q5178865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$434BB18F-5146-42A4-881C-BFADEACCD87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975a1121a9f0cd8f29955976caae5f15af4068e9","datavalue":{"value":{"entity-type":"item","numeric-id":3419789,"id":"Q3419789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$3BE430D0-C8E9-4CB0-936F-34D8EA81944E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9438d4814a1e2c0b45a353440aa67e1c89ec2e93","datavalue":{"value":{"entity-type":"item","numeric-id":3591394,"id":"Q3591394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$5D78FD62-0AF2-48EC-81E1-6650EC8AB807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794af306cdb0a790c3505b654fa9f6993636be2c","datavalue":{"value":{"entity-type":"item","numeric-id":5308095,"id":"Q5308095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$C3EB2569-F581-4232-A74C-F3C11D974C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59b0fff040e8abdd791ffbcc9c1bf14e03848eb6","datavalue":{"value":{"entity-type":"item","numeric-id":5492811,"id":"Q5492811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$7C831E37-1833-4B5F-B85B-892290D1089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b650e33a4a5c0e80e120de15fc90c4d08686c15b","datavalue":{"value":{"entity-type":"item","numeric-id":4536606,"id":"Q4536606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$BB62BF2B-31FB-4E8D-A24B-49314575FDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6350aed40f5bc5532a9f41ab562cf7bdc21651","datavalue":{"value":{"entity-type":"item","numeric-id":4457841,"id":"Q4457841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$2C039A3B-C9F7-4143-823E-D23B46C1ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1606983c14c21e015f86f65d56f124c9efce724","datavalue":{"value":{"entity-type":"item","numeric-id":1770420,"id":"Q1770420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166612$088D0ECD-7F35-4E5D-98AB-3C3B26A3AD9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7e05e327f74bbd631f06e9096ee4be0a3f523a7","datavalue":{"value":"10.1016/J.ENTCS.2009.06.038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166612$3E9F0D8C-5CA5-45EC-8DD6-2F8B65401535","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233792bf2fee1503ccd768689dfb04817b96b079","datavalue":{"value":{"entity-type":"item","numeric-id":2463561,"id":"Q2463561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b5f2cdc070a604a2e7d8a48bfaac74506d1f43","datavalue":{"value":{"amount":"+0.7323944568634033","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":"Q5166612$0EF6D8F5-C988-4419-BD8A-F8A2F33ECC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbf894e366094fdab9d4b84ee1cf082ca7425ee5","datavalue":{"value":{"entity-type":"item","numeric-id":5464831,"id":"Q5464831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195b2baaa9c077897cdb60e5deefa80d3c92ca4d","datavalue":{"value":{"amount":"+0.6805136799812317","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":"Q5166612$423C14AC-3B5A-4371-BCE0-7850CA229BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c97883254b922b33acf85bda847230f9e4608d2","datavalue":{"value":{"entity-type":"item","numeric-id":2996148,"id":"Q2996148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ad8a75664a44b54b3f50343a2f18f31ca3317d","datavalue":{"value":{"amount":"+0.6753205060958862","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":"Q5166612$E44309B7-7114-456B-82AE-66E112D4F16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d56f1fc1f1f84e154805da3e647c84179c5750ca","datavalue":{"value":{"entity-type":"item","numeric-id":5458375,"id":"Q5458375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64547201310e2c851aa5358f5dd1ba253ae9cb6","datavalue":{"value":{"amount":"+0.6712049245834351","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":"Q5166612$D722BEEB-685C-433E-BEBB-CBE47FA1484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d2dcdf30b2350cc1ffd8d2491c16b2fd47b318","datavalue":{"value":{"entity-type":"item","numeric-id":1917090,"id":"Q1917090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deceeca85e9c5a2fe8c0bb972fb5f5b5fe5480dc","datavalue":{"value":{"amount":"+0.6670080423355103","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":"Q5166612$2DB290F5-B10C-4967-870A-295C7C3EFC78","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166612"}}}}}