{"entities":{"Q2782483":{"pageid":2793221,"ns":120,"title":"Item:Q2782483","lastrevid":47764921,"modified":"2026-01-02T15:28:13Z","type":"item","id":"Q2782483","labels":{"en":{"language":"en","value":"Combining higher-order and first-order computation using \\(\\rho\\)-calculus: Towards a semantics of ELAN"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1724411"}},"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":"Q2782483$EF01C782-BF49-44F3-A0ED-CC4E563CF786","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"525ebc2ad768e6bb4d0f04a3aac4f07227725696","datavalue":{"value":"1004.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782483$550FB8A9-6A25-40F8-B8E1-AEA118F8B179","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e9298254f76a7358264f9011f9bda765fe2714a","datavalue":{"value":{"entity-type":"item","numeric-id":857911,"id":"Q857911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782483$B2BCE61B-EEAB-4CDF-8F61-402FD7A015CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782483$D9B27383-1C95-45EC-9012-D59BADBE5724","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3583c475d5b5f4ed43ab2b529774b77c32bef8d9","datavalue":{"value":{"time":"+2002-04-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":"Q2782483$BF66E779-CE3E-409D-9B8B-2813E07E9268","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782483$A7B75558-2CCB-439E-AB8D-6D4D482B8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782483$49CFE429-F0F1-4A23-8C63-C4242074EBCC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fe3bcc7592ce5fbe25f8f894203580655be0395","datavalue":{"value":"1724411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2782483$FB339106-B8B4-4A2C-9571-14C108FF8596","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6649066048f4f1825665f847ba28e58172428a1","datavalue":{"value":"\\(\\rho\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2782483$26C9F6D1-C555-41E7-854F-042818B28528","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782483$546D4DD5-6F71-45E5-ADE0-092AA18E88BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"172e13e561e0b6f3068edccdefd44ee4b1d90adc","datavalue":{"value":{"entity-type":"item","numeric-id":14723,"id":"Q14723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782483$AC438D61-2415-4172-8662-C060FBE235C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2782483$63E33284-B000-4098-9C0A-FF0B07A14308","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":"Q2782483$2B72A222-2894-4595-AFE1-3084A48D65A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48d2bed74f492dabce4d06037ecbea279da2b24f","datavalue":{"value":{"text":"Combining higher-order and first-order computation using \\(\\rho\\)-calculus: Towards a semantics of ELAN","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2782483$8C7408DC-651F-4A29-9E02-C3FD99A2C90E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99071566482c9a8189f2aaf80ea309e832520c2a","datavalue":{"value":{"entity-type":"item","numeric-id":2720294,"id":"Q2720294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cc0a9512d193b3e04bfcffad03678e8d6b481f","datavalue":{"value":{"amount":"+0.82207190990448","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":"Q2782483$8D08E269-CC59-4FC1-9032-DF51268D2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f00829dfafc58ede0a68f7ec8e9ced74bb9068","datavalue":{"value":{"entity-type":"item","numeric-id":5897361,"id":"Q5897361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cc0a9512d193b3e04bfcffad03678e8d6b481f","datavalue":{"value":{"amount":"+0.82207190990448","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":"Q2782483$63A46F2A-DC31-4048-955E-36FACABD2457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8068ca63b8e35f9862f18e281bdb86d496bad05e","datavalue":{"value":{"entity-type":"item","numeric-id":2720293,"id":"Q2720293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682363f1405a2c061a7e5f22c35ff185396b4abf","datavalue":{"value":{"amount":"+0.7797864675521851","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":"Q2782483$26C10DC0-237D-4B89-A7D9-1E4011895C73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60a609f8f045d8527c3d504018e5821d3568dce","datavalue":{"value":{"entity-type":"item","numeric-id":5712302,"id":"Q5712302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682363f1405a2c061a7e5f22c35ff185396b4abf","datavalue":{"value":{"amount":"+0.7797864675521851","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":"Q2782483$52ABAB85-77D2-4F0D-97A3-D7BC245983C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3486a87ca68511b1a34d3957529907d99dd93848","datavalue":{"value":{"entity-type":"item","numeric-id":2778872,"id":"Q2778872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a332d31befc3c35ae2d5370e6ecc4d3a0ae75503","datavalue":{"value":{"amount":"+0.7688411474227905","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":"Q2782483$E4819831-65D2-41CD-ABE9-B81E8B9CD24C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2782483","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2782483"}}}}}