{"entities":{"Q265831":{"pageid":267598,"ns":120,"title":"Item:Q265831","lastrevid":60491214,"modified":"2026-04-10T17:19:45Z","type":"item","id":"Q265831","labels":{"en":{"language":"en","value":"Bicategorical semantics for nondeterministic computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6567569"}},"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":"Q265831$AD5D7DED-6594-48B4-9F81-CCBFBD97537B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5aece3e51018a177628f55b41c007bcd3d0712ac","datavalue":{"value":{"text":"Bicategorical semantics for nondeterministic computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q265831$C1F86D74-E5E4-4F5A-A825-39CB3ABE4B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08bc5ed2d3c2d329462330843734fed9f8e56668","datavalue":{"value":"1334.68061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$037DCCC8-895B-449E-B2E8-FC98822F33D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09c771cfc40d412d0c054aa998ace215ab8858a1","datavalue":{"value":{"entity-type":"item","numeric-id":265829,"id":"Q265829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$B1ED27D2-8D8D-4EC1-AC85-76391220C8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"569f23edbaa1a7127752c4509e98da8fdf361573","datavalue":{"value":{"entity-type":"item","numeric-id":265830,"id":"Q265830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$0BC9F6AA-472B-4FF9-934E-0A978E41190C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b8ac6f04bf26e1f508d280fb4a7b266578e64c8","datavalue":{"value":{"time":"+2016-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q265831$2D8109E7-90B9-4F0A-8BC7-8548128F4E81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ba2a162bedd521aa1e7ef744fa0ce9664e6716e","datavalue":{"value":"https://arxiv.org/abs/1301.3393","type":"string"},"datatype":"url"},"type":"statement","id":"Q265831$F03B6D4C-C867-4A29-A59D-39A4F06F873B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4264b8bf260e532ba12469970b36fcaf09f85467","datavalue":{"value":"68P30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$3DE7947E-DB49-4D7F-9A4D-3F25E8AF7007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$22FF6072-415C-43E6-A904-CD2E47B0BC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$25D35845-715F-4FFD-A6D0-2B6287DE5410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$D2E00A88-A8B8-4C4E-8700-82783A94AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$AEEA14F9-8BBF-49C9-A179-488A03684414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7b959e36e52c7b395683dbe2d4c658b32b677b86","datavalue":{"value":"81P94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$6C5E311E-BD9C-4817-99C5-28B4CDDF38E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$6C261F3E-9200-4D31-8278-81C75559B0D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f448cb018ebe3b4fea66fc22a6d1868ff3f0e3ff","datavalue":{"value":"6567569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$4C8301EB-FEDF-4AC7-A873-78A282EA3DDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q265831$84C82F10-AE70-44A8-BFBC-4658B4E50E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q265831$5981A678-F28F-461C-A8E0-A54BB2A88DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q265831$0D2AE47C-8F73-42E5-8AC4-E02128DDEA2E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d498903c8db8fecef0d8d33a96bd53c370c887dc","datavalue":{"value":"Q113317950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$5CB0B953-F9C5-449E-BDCE-E97550BF487E","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":"Q265831$89D56E1B-43AE-4C35-A12F-38FE7DDAD669","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8c7d9fc9e0152f3df9bea62fb367b487e3e8a5e","datavalue":{"value":"W2171087000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$015ACC76-08F3-4B00-A4BA-04395FD98DBF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48f8f78cbd9ae9b2876e6e07f835051ef88a2b5","datavalue":{"value":{"entity-type":"item","numeric-id":3000920,"id":"Q3000920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$2525FE58-1155-42E0-A473-52E850151696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9d1d109696519069e249b71c52e6b5ea5973a3","datavalue":{"value":{"entity-type":"item","numeric-id":4492159,"id":"Q4492159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$5AB96BCF-D7E3-4288-8A93-54B77C6CE1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5065627c549136445d434d7d65a23fe61f4d77a8","datavalue":{"value":{"entity-type":"item","numeric-id":4856547,"id":"Q4856547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$CE1CB5E4-A003-4081-9FBF-72CC9FE6D95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688fec20dc19600231147b7fd1686f3e1f36f6b","datavalue":{"value":{"entity-type":"item","numeric-id":2766197,"id":"Q2766197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$6333DD7C-D299-48FD-A274-7F4A863BD413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30814e2f442579ff55311f0c79e92936b4e9199d","datavalue":{"value":{"entity-type":"item","numeric-id":3368182,"id":"Q3368182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$D76BE669-E0CF-4219-8816-D3BE438CAC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$816A4955-C7FC-4246-B3C0-552346A370D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1fcf052589745ac72ae23fbc9d5d1dfa38def","datavalue":{"value":{"entity-type":"item","numeric-id":3000922,"id":"Q3000922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$F705DC98-2E57-42E9-BEA6-0427AFCBA6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eee9f58028113b032d35bc91c9b0b4c98b2c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":2826239,"id":"Q2826239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$183E47C9-DE67-415A-A2FA-51FF03BFB2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57447cc362fdd18bbd3f1efe7dc487b19f951b10","datavalue":{"value":{"entity-type":"item","numeric-id":1346409,"id":"Q1346409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$656BC690-7B26-4B10-B0DC-BC4E9C459957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f6d1c247444307e6dd891d90777158655aca657","datavalue":{"value":{"entity-type":"item","numeric-id":2986839,"id":"Q2986839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q265831$3BA7E9F6-E65E-4E7D-BC0A-204213C2539F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"641f7736a3e145058402151f0aef842813416a33","datavalue":{"value":"10.1016/J.ENTCS.2013.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q265831$02DC454F-66AB-4C17-9ED1-BA86AC66682B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d461a210f1ef1959fcf333fa2906af99f0fadaf","datavalue":{"value":{"entity-type":"item","numeric-id":2986839,"id":"Q2986839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d9e3b44ac3bed86fa5118e862b3d6f3e60a146","datavalue":{"value":{"amount":"+0.7566794157028198","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":"Q265831$1C5251CD-249D-4D4E-9F35-1BF5AA42BBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b20c2cabb12afe2b0f7286025d50f54e1fc1bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3616559,"id":"Q3616559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe8e46e4fa57a540aa031f7d037b43c27b53ffb","datavalue":{"value":{"amount":"+0.7535415887832642","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":"Q265831$7E94B97D-EDDA-4674-971F-FDF9C7E72778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a68d20140792e38655d7b070d6690a01666e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4997302,"id":"Q4997302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a250919fdfec0408f79ca0e30a3d4ce69cbe22","datavalue":{"value":{"amount":"+0.7429351210594177","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":"Q265831$AAA4D3E2-570D-4EBB-81CB-2BAB79E3C137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5546ff336e91d896d4a683f9ff190680d6f012cb","datavalue":{"value":{"entity-type":"item","numeric-id":3560837,"id":"Q3560837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7126cdce4f7bf583f4820fe3678901dd54e262d6","datavalue":{"value":{"amount":"+0.7053636312484741","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":"Q265831$F189E9BF-6CF0-43C5-A3F2-C803DEA18AB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bicategorical semantics for nondeterministic computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bicategorical_semantics_for_nondeterministic_computation"}}}}}