{"entities":{"Q4596786":{"pageid":6626371,"ns":120,"title":"Item:Q4596786","lastrevid":58297362,"modified":"2026-04-04T15:07:46Z","type":"item","id":"Q4596786","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816930"}},"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":"Q4596786$5AFDD769-C8DF-411D-B884-5E7A27F3E743","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0d28affa728ceb1193aab74abf00aa34ca8015a","datavalue":{"value":"1459.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$4FDDA5F8-CC52-4485-B70A-4DA02E6489F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c241ae4740820515d9c7374e73a999a7f81c9523","datavalue":{"value":"10.23638/LMCS-13(4:9)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$4BAFDC22-5B3C-4F0C-8E65-DF86E5094DCD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7d0201a046efc2bef201d7a7e62845658b50e0","datavalue":{"value":{"entity-type":"item","numeric-id":2117252,"id":"Q2117252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596786$1236C3EE-DBA6-4463-955D-8767CD939D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596786$6DC04D29-2DAB-408F-970F-A3837F22A5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e6a97c82f2e4ea90a1b0a56630db5370d962b35","datavalue":{"value":{"entity-type":"item","numeric-id":276247,"id":"Q276247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596786$DFF5AC6C-EF9E-490D-AE2F-D7867EEC2200","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596786$DEEC3FE4-A160-49B1-A5A8-19A8D0971345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fa16d0364ea7b4af3abe330dc853991d8ed13a6","datavalue":{"value":"https://arxiv.org/abs/1710.06744","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596786$FF388AEE-1743-4157-B36D-6AA413099D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$3A707B94-6298-487A-9AF3-859E829CC98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$7533954B-9F4C-41A6-8494-E68B5D8C2028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$3F82262A-AF39-4FBF-B0ED-F41720D8C08C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4122333ee3ff2d9d663ccf67e5841d8b333a28f7","datavalue":{"value":"6816930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596786$86E8F040-80DF-453A-97A7-4C122BC67D2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$38CC38BD-10D9-43CB-B594-5A9EFB674C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$A69F2A8F-577B-4CC6-B451-A3D1B52F39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9549b9b59d12b51bdff96e0de2f12a921c8bcf1d","datavalue":{"value":"presheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$77D6256C-19E7-4004-B2B5-08EF853F4525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$130942E3-846E-4C02-B931-C874125D5DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$946D28F6-C129-4CA0-A8F2-D1B511313381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596786$BF768FB0-B6EE-4DC5-9EE0-EAD55A1A5DA1","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":"Q4596786$CE362FC6-2E65-4657-A5AE-5F385A364DAC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092fe379323f648b5875c44dc8a5afe248544ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5275345,"id":"Q5275345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85888ac999e6ac468775c4ff9ce11f93cd8c2618","datavalue":{"value":{"amount":"+0.9873123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$E1D7DA06-D897-479B-B150-4CB5FB6E20DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"454142762e7fe479344d57f7b99c2755d535ca4d","datavalue":{"value":{"entity-type":"item","numeric-id":4362963,"id":"Q4362963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451c8371e02580751bda348f4e50e73d4c631e2b","datavalue":{"value":{"amount":"+0.8868955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$5D5AD9FE-9D2B-4C27-B7F8-E62478CF1CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb9a3bb729f53b57c90bfbd0c8481b23e49da48","datavalue":{"value":{"entity-type":"item","numeric-id":1400720,"id":"Q1400720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7441f6cc1b7258f364d832fc9f7b6ff103e6092d","datavalue":{"value":{"amount":"+0.8816663","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$60B4EDBE-7DE3-4070-AFE7-64DD39B6F3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917ea07c6751ccad8a0a4e89c5a85116a0c53fd5","datavalue":{"value":{"entity-type":"item","numeric-id":4995379,"id":"Q4995379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047a69145630bfdcd8cd596697f33196f953253b","datavalue":{"value":{"amount":"+0.86820954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$33506499-0FDE-45B5-9A78-51ACED150564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bae0b2aaf8004789da4d810364389bc083a9bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1605174,"id":"Q1605174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b566bb06dd587665ada1010a287ec22ec0e1e154","datavalue":{"value":{"amount":"+0.86520356","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$D549749A-FBA1-4CB9-A50C-356DC70795D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1273167ea9e469e2348e511c09946a88d802c39e","datavalue":{"value":{"entity-type":"item","numeric-id":5705870,"id":"Q5705870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28d0423be8c0f957d3e8dee230241df42b7dd72","datavalue":{"value":{"amount":"+0.8611454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$4E859D49-83DE-4E68-BDEB-CEC8A0993451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a16f32da30e36d31c18fbd80b7a2cad06904a64b","datavalue":{"value":{"entity-type":"item","numeric-id":2474057,"id":"Q2474057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a7765203df28a94ae2a30c8153eef96edaf2e02","datavalue":{"value":{"amount":"+0.86114526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$5834EEDE-92B7-4225-90E7-6AF284C3FD09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33621d68dac787fcc1ba02d504c26127ba9e3323","datavalue":{"value":{"entity-type":"item","numeric-id":5084309,"id":"Q5084309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf3b6dd5e92f82d53dac8de69c0f166af760024","datavalue":{"value":{"amount":"+0.85238606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$6AADAE04-8543-47E8-8482-791A31AC4D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39b99959876c66e570d48291a8898a4c58992bb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536440,"id":"Q4536440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c6881b8dfca539a1b0de2880e1bd196c84863e","datavalue":{"value":{"amount":"+0.8460582","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$8F3427FF-C3C9-4BE0-A7CC-0D0AB99A4357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadac3e753f62ab62a681b21f15af063c4c9e715","datavalue":{"value":{"entity-type":"item","numeric-id":3987716,"id":"Q3987716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f8c2f4f46483d5d0b5de10c8bc950452f62c0e","datavalue":{"value":{"amount":"+0.8451679","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4596786$B75EFE7B-59F9-4E15-AD74-68EA2DE0A61C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596786"}}}}}