{"entities":{"Q6159925":{"pageid":13294786,"ns":120,"title":"Item:Q6159925","lastrevid":40889599,"modified":"2025-04-13T19:49:45Z","type":"item","id":"Q6159925","labels":{"en":{"language":"en","value":"A Bicategorical Model for Finite Nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700615"}},"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":"Q6159925$7665733A-6E0E-4E04-BC76-96B6CF3A4A9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a30742dd4a47212a07407dd9280466866fd78c2","datavalue":{"value":{"entity-type":"item","numeric-id":2173709,"id":"Q2173709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159925$D1675771-D922-4BA2-B68C-1900C32E71E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159925$57AA02F5-7506-4DCE-BD29-43CF66502AE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$4A492F7D-9391-4F01-BFBD-C7EB1A0A3AF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$FC01CD12-02FE-42D5-883F-06E41A0C249C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$C07C69DF-0341-47BB-A556-5835ABC1D0A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85adae798811dbfae07892bb875a009945cb5898","datavalue":{"value":"7700615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$4B350CDC-3745-4FA2-A9CD-833B57EBD892","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7355a66e0232dac98853fe8bdd183ad4901131d5","datavalue":{"value":"differential linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159925$1E39AC07-68E2-4857-9AE8-FA70063F24CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bee0ac0f7f94b6c78f40037751e2f398ed2fc97","datavalue":{"value":"species of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159925$2EB0A2E4-D599-41E7-8764-C92341E136D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed96de97b0a609b359b7c86a233bcbfc19923f4a","datavalue":{"value":"finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159925$CAC4A4FC-E786-4AE2-B97B-C888D6761AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537ed3cebb85c3bb4183626346e4a56da4c39c87","datavalue":{"value":"bicategorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159925$B0302B55-8D80-4751-9840-5E4F32933CE8","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":"Q6159925$E3AEBA24-08F3-4E83-845C-0889284BDF7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ee5f54dbd25103cab294953ad80a4dcae2605d9","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2021/14248/pdf/LIPIcs-FSCD-2021-10.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159925$E5D95E03-FDE4-4476-B0B1-7C1B261D241B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"296425aa17c30fcd9ed26907e7fdfa5a3ef41422","datavalue":{"value":"W3183674410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$EB5BE194-7572-48FF-B3BC-B69334923306","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ea9c8fc68ef852b0658f2323781a6182e6b0cb3","datavalue":{"value":{"text":"A Bicategorical Model for Finite Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159925$AB148ED6-C14B-4BE7-9DC3-A96B8612CB4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f0f7c01d55b8144261d58dd95bfdd31f772e562","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159925$531227DA-EFE9-44B4-9D2D-D027CE5F7262","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4013b3984424ea833cba49810f72e3fac97045f","datavalue":{"value":{"entity-type":"item","numeric-id":265831,"id":"Q265831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b658eaae7bf144251eff61775056cdd1c8455bf8","datavalue":{"value":{"amount":"+0.9146855","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":"Q6159925$B254B4CA-4BDD-414E-A795-25C1A6408CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3974290fb3d3bbaefc513725b73130a2fb849819","datavalue":{"value":{"entity-type":"item","numeric-id":4222772,"id":"Q4222772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67656eb8218384180001fb3de4fb384ae1398c29","datavalue":{"value":{"amount":"+0.88133895","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":"Q6159925$69F345D4-4648-4C22-8DA3-111C0E74DA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f868b03118ade688ed683511295e6c4b5d43b00","datavalue":{"value":{"entity-type":"item","numeric-id":5486252,"id":"Q5486252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4992a27d6786e7b88783a5dccc28818455be435d","datavalue":{"value":{"amount":"+0.8760451","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":"Q6159925$66445DF9-6822-428C-AD77-1F882119406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e22b20d61e6cc64bf4106d7e0db1caaa0984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4586135,"id":"Q4586135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66df52abc6351059456da84caabb81f873f77d80","datavalue":{"value":{"amount":"+0.8757299","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":"Q6159925$443FA8AF-4FCE-4EB2-BC78-DAC0AB8C6E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56f645fb3bd6338e89a07cb54826ff2a1facf38","datavalue":{"value":{"entity-type":"item","numeric-id":3199393,"id":"Q3199393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d520340cb5c52900bf12b4a0421f19dc638f30","datavalue":{"value":{"amount":"+0.8753911","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":"Q6159925$A0FB028F-3CE2-4703-B608-C23FBAD35A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cfd6f7b35e21636298c35f32fdfdfeceb184b","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a1b0034fe9f61d011407525bf24e6eb9efb52e0","datavalue":{"value":{"amount":"+0.8739767","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":"Q6159925$7287682A-64D1-4D86-91F4-19F74A64777A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4276c47496adab515b99c82f7e9e8dd90c676d7","datavalue":{"value":{"entity-type":"item","numeric-id":4279260,"id":"Q4279260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbd9e535ee4e0f916814f92c890f0ba874dd0f2","datavalue":{"value":{"amount":"+0.872846","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":"Q6159925$0D8D1606-2A38-48E6-AF1D-442EDA8783B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5d5cb4cddbcc05936feee5fee297d75637f846b","datavalue":{"value":{"entity-type":"item","numeric-id":4292596,"id":"Q4292596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d8dd45af8f68fee8c3e45cc57fca64cd1f4c7b3","datavalue":{"value":{"amount":"+0.8715757","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":"Q6159925$FE601EBA-CEA9-48F8-AB1D-996C5EF2A2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb7b1d64777af3f5312e6307763dd11f7819e144","datavalue":{"value":{"entity-type":"item","numeric-id":975404,"id":"Q975404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92b031bbd64ed7e50547b54e06ac280b5c9d4b4f","datavalue":{"value":{"amount":"+0.8706548","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":"Q6159925$D955C5F0-1995-40CF-A893-9B587B90E173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"693d37d59a7fcb0bc7ae05126b5c85f5f9db9006","datavalue":{"value":{"entity-type":"item","numeric-id":5104717,"id":"Q5104717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab53d324a84f38533f39d832ca9ef15c6c2bf06","datavalue":{"value":{"amount":"+0.86845255","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":"Q6159925$7527AC41-02E8-4EC9-AB78-2890E6DB13A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159925","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159925"}}}}}