{"entities":{"Q5145368":{"pageid":7174939,"ns":120,"title":"Item:Q5145368","lastrevid":100629164,"modified":"2026-06-05T22:37:24Z","type":"item","id":"Q5145368","labels":{"en":{"language":"en","value":"Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298814"}},"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":"Q5145368$762CB548-0E20-4062-B74F-DD8D55D7DFD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"001bb426eaf26b9a63ececf084c673612e3433fd","datavalue":{"value":{"text":"Species, Profunctors and Taylor Expansion Weighted by SMCC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145368$1396D6C6-3986-435F-BC6B-2B817DA6F861","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24b7dfa6006c0e9835cee04716608332273bf246","datavalue":{"value":"1497.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$E7EA08FC-5C1D-4071-A77B-E9254969F371","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccb494e641020127b9d6b4f09454c036ebb4f681","datavalue":{"value":"10.1145/3209108.3209157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$2E3A88CB-C4A3-4AA4-98EF-92EB73D1491C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145368$A0A0957C-23F5-46B4-9E7D-0C3D47891751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145368$5B3A63D3-0BEC-4AB7-8B3C-B84CAF861568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$9F961F1B-1917-4C00-AE6D-896D1B67DBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$ED1CE85F-A5F0-42FC-B0BC-667EB19E467B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$A8FA5B55-3C41-4F04-9F2C-39DC276398B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$5B90D8FB-4727-49F1-B6D4-CA5A4D199FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8f13f4c4826a4a62899950e45260c7fd3cded51","datavalue":{"value":"18M80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$1F4F958B-9658-43E8-80DB-42094B6868AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$1F2A007D-DD1C-4779-BD3E-E2E5E9F88E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b43fc95d706ec7db803939e9eacbb47a0fd660f3","datavalue":{"value":"7298814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$06A379A2-23E5-44B0-9D09-AA3B34AE3D1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"195f873c6649d2658666395e28617afecfbafb01","datavalue":{"value":"generalised species","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145368$3496C658-139A-41DE-ACA5-36EA3758A544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a677e2192a0c639cbb9cd73a86043d6873f2b58","datavalue":{"value":"quantitative model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145368$EC15DECE-D819-433F-80C0-0C5008C02139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a85fc687d5a2030ca309942325a5872eec67b","datavalue":{"value":"quantum computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145368$96301818-3D6B-4BBC-872E-80114C33BC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87608204d3f870fb265665a68d600991f9d4e4d5","datavalue":{"value":"rigid resource calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145368$85CE30D8-298D-4427-9596-E73EF05A2FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7439354e3e3722f72dc18c0c2de3af38836855a","datavalue":{"value":"weighted species","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145368$BABA6F04-974B-491F-A830-4B42DB9CE87E","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":"Q5145368$C0F71407-7B76-4F89-A9D2-AC39C792C877","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa452aa7e4841805c2bdb7ae57aa0e72838b5e95","datavalue":{"value":"https://doi.org/10.1145/3209108.3209157","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145368$D0E2E442-5E6F-4CF0-8B35-3A044FC8CE28","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa45f4f07ec7059b41d4c9b91c260bd66a498962","datavalue":{"value":"W2798871919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$23E105B3-1DAD-4E65-A88A-48006D5D4F25","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c591ea19a28edc0a44215afe1f3bfdecaca9a7ff","datavalue":{"value":"Q130925617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145368$37463E6A-008A-4CD4-9BAE-C8E665BFDD7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ac282e7b3872f532bb59881aef1b29ec81b258","datavalue":{"value":{"entity-type":"item","numeric-id":2216134,"id":"Q2216134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2281649b9e88b1eaadd80aac2b01a7cd35951b1","datavalue":{"value":{"amount":"+0.7505698204040527","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":"Q5145368$A8A8C1D3-3CC0-4C75-9EC2-E7C62C31ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9795a1001d869ee56951197f6cdb3b225803548b","datavalue":{"value":{"entity-type":"item","numeric-id":5144610,"id":"Q5144610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079412e6eb91066668d0201ea60c1edd8940c3c6","datavalue":{"value":{"amount":"+0.7172273993492126","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":"Q5145368$6C219355-CD7D-4FCB-B1A1-03037B346F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a98346b11a4d982c75f39933a8a1f6f6adcc3735","datavalue":{"value":{"entity-type":"item","numeric-id":5271067,"id":"Q5271067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4165d5c58b48ae940c8b61c4720e0487bb04fc2","datavalue":{"value":{"amount":"+0.7051465511322021","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":"Q5145368$FDAE1DC1-2FB6-4E41-8DB3-1B29B65F8EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48337101f1d1ebb6136987e956ab38ec15ce57e","datavalue":{"value":{"entity-type":"item","numeric-id":2988359,"id":"Q2988359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5843611b75a4ac6d4c2696d72a755a6ffffd7100","datavalue":{"value":{"amount":"+0.703464686870575","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":"Q5145368$882EA3E4-5DB1-492F-8A99-5250CEA3E33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a076c546d81f4a1a821a5122a5bf8b011bb12677","datavalue":{"value":{"entity-type":"item","numeric-id":4635890,"id":"Q4635890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a464c93ab5835961dfec435f0eab5dd4a111d69","datavalue":{"value":{"amount":"+0.6935592293739319","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":"Q5145368$ACB98D2D-8792-437B-B287-4E23DF48776E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Species,_profunctors_and_Taylor_expansion_weighted_by_SMCC._A_unified_framework_for_modelling_nondeterministic,_probabilistic_and_quantum_programs"}}}}}