{"entities":{"Q2863893":{"pageid":2874613,"ns":120,"title":"Item:Q2863893","lastrevid":51885074,"modified":"2026-01-20T11:39:51Z","type":"item","id":"Q2863893","labels":{"en":{"language":"en","value":"Generic trace theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6235757"}},"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":"Q2863893$AFF915D0-10ED-4FAE-9606-FF58BDAAD933","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f15c967e082c4cbc23022b5c7a9f4e2be8a7295b","datavalue":{"value":"1276.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$1712475B-C9B8-4A84-907C-B3A229A68B55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863893$853D8608-E199-4C27-BAD1-183F3BCBE576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a24a20456dfce72b4740899a4bd7c6aec9611b4","datavalue":{"value":{"entity-type":"item","numeric-id":225076,"id":"Q225076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863893$3DF37CF8-2CEE-4F71-BFFD-2BFBFC8AE6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faac90b189d470d059fb0f0202403aa6361966c3","datavalue":{"value":{"entity-type":"item","numeric-id":549173,"id":"Q549173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2863893$5FC2EC75-B1F1-40C1-99BD-4D84E153023C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca10e45982d00f6c2896b6ad22ca5b5cbcf29d1d","datavalue":{"value":{"time":"+2013-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2863893$417DA269-B09B-4CE3-9701-E679BE819D7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbe565b01ca96a51d759bc1a2585fa930436b880","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106004695?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2863893$4B749047-4752-4A07-9151-5F2B36C7461B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$65291104-1EE0-4FC9-9B80-EF6614BDDFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$65563EBD-DADB-42DA-AED0-9A2E3B92DDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$2ED71AB5-0151-4BE1-AEA8-B3BCD5F10BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$93003249-100D-42B0-9B0D-D845910DD8F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af4da87ac05edd56ae350f4d1abfc638b0d14992","datavalue":{"value":"6235757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2863893$09F86D80-DD59-421B-AE8A-C737A4D17ED3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$7D045C68-FAA1-4185-85B5-E422977AD654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9f76983631ce055ac17bdfc33897c5e163bdfa","datavalue":{"value":"trace semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$27A42A3C-B47E-40D1-9177-626E381A5041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c73e56451cc4dbb5864ef7fcc9cef40640135c1f","datavalue":{"value":"linear time semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$D0726342-F12F-44AC-8D62-9753AC1F7224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2ae7f707dace66e430013f86d2a5baca67523","datavalue":{"value":"monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$5F78898E-6FEA-4FB6-9B45-669563ABAF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d94b8a3473f0ffd688a45f95929d58e5dc56714f","datavalue":{"value":"Kleisli category","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$68AC2F78-EA9D-422C-87B6-26F0A053F7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf708c9f6e9488802c3788c51f5c19d067cfd1cd","datavalue":{"value":"non-determinism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$E3494BFA-EC5C-4032-A186-AA07DE5EC353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2863893$ABC14789-2A8A-48BE-9DA9-B6F7272D5469","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":"Q2863893$1FEBA3B9-3505-4671-A754-CE31B4B2A84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f1ac27edebe34b308f28c71d9780d76cd05a7a6","datavalue":{"value":{"text":"Generic trace theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2863893$E8364480-E879-4B2B-AF5A-0D4EB6121084","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d20e84dbc175275f547b8e22c89772fad3faf5a","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fbfad76c6666170b9d490875c8a2fc6d6d358f8","datavalue":{"value":{"amount":"+0.9260866045951844","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":"Q2863893$B2F9498C-53EE-4211-B43A-52E6892FA113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"786e84a9a813d55925e26f5f257c4741ca9ee8fa","datavalue":{"value":{"entity-type":"item","numeric-id":2914679,"id":"Q2914679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b67048376ac24d5bb7ab160313e8270deabe157","datavalue":{"value":{"amount":"+0.8493595123291016","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":"Q2863893$26F8AD5A-9B77-4A2C-9E7E-DF976679AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bf5b3e23a03d5b0bd4dfbf9b775f8814de1356f","datavalue":{"value":{"entity-type":"item","numeric-id":5158368,"id":"Q5158368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4312554c715eba3c7684d4899b17cbb3e84b4d4","datavalue":{"value":{"amount":"+0.8371159434318542","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":"Q2863893$76436188-AF4E-4309-BB47-AD65443ADDB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45758877ff6b9fbd5a5dc26b561b3177d4ffdc1","datavalue":{"value":{"entity-type":"item","numeric-id":2871468,"id":"Q2871468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3bacbebf873c662b69f2032eeec69fb67f5fae","datavalue":{"value":{"amount":"+0.8285649418830872","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":"Q2863893$5A466CA5-D7A4-4389-AA17-EFA44C49F64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeb15e9dc756a948d33b5c79aec9efb329cf92a","datavalue":{"value":{"entity-type":"item","numeric-id":1798791,"id":"Q1798791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c250a0b540645c8aa448365d33ff9a85b155a64","datavalue":{"value":{"amount":"+0.8278988003730774","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":"Q2863893$69BEFE15-5800-433B-8393-BA2136A5D721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2863893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2863893"}}}}}