{"entities":{"Q43925":{"pageid":43981,"ns":120,"title":"Item:Q43925","lastrevid":105429452,"modified":"2026-10-09T10:12:03Z","type":"item","id":"Q43925","labels":{"en":{"language":"en","value":"Binary Multirelations"}},"descriptions":{"en":{"language":"en","value":"AFP entry Multirelations"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"e16ab4a3cb8927b46a60242eac63b8035d90db0b","datavalue":{"value":"32214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$88705BE4-8854-4CA8-98BE-B83C2C67709B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$4A18DAC5-D256-44E9-8FBA-B3E76894A62C","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"625acafb1d973100774015d1731532aa6c557f7d","datavalue":{"value":"https://www.isa-afp.org/entries/Multirelations.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43925$1A85E3B0-C515-418A-8A33-DC95B57977D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$0A4A9772-3E62-4FA8-9ABF-4A08D36BC4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d379e93a1cc3ab3df2a5b8d85c84eb0620f6469c","datavalue":{"value":"06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$B5BBC337-9BD1-4950-BD87-2766808A5E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$7DECDA14-FC2D-45BC-B798-66B7A8BE1285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$9311B4D1-0F5C-475C-89EA-FC926795EA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2becadfb03f0a4ea19120ee675d7cd2fe8450d8c","datavalue":{"value":"6.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$5EF7A74E-E602-4035-9060-3085821C2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q43925$9F087429-7D03-4FC3-9E87-15A87251D7A8","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$9E8C72AF-75BE-451F-BD64-850AE652EC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$9E326495-A9FF-47E6-ACA9-CEF1A3C71D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"14c1585ec43c4b9edf59fbea0f64f76002c1f698","datavalue":{"value":{"entity-type":"item","numeric-id":43914,"id":"Q43914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$2F4EBBAB-BC8C-4681-80ED-181A8DF49273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"181a8497f7a319d54026dcfccf5a714e5c58403f","datavalue":{"value":{"entity-type":"item","numeric-id":40512,"id":"Q40512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$994BADDF-F393-45E0-BF30-600B57B8CE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cca3a32b180baf92e5c1bd6e47c20bc43d7599e","datavalue":{"value":{"entity-type":"item","numeric-id":32996,"id":"Q32996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$4B14D027-0B8B-4BBC-8BAB-08607FA7801A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c59d46165b4eb2bb811e83cf8d5f0edfc7f164a8","datavalue":{"value":{"entity-type":"item","numeric-id":43928,"id":"Q43928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$72E71778-4EBC-400B-91FF-3B968B92315D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c9f7de2f0ce813fae30bedd4b22c22d0dc20757c","datavalue":{"value":"https://isa-afp.org/entries/Multirelations.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q43925$744B51EC-3234-4383-B5C3-2BFAB400A14B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"1a7de650c11f68ab9a8bc0f1d3622b8b100b844f","datavalue":{"value":"Hitoshi Furusawa","type":"string"},"datatype":"string"},"type":"statement","id":"Q43925$D6FF346B-D9E6-4D26-9CBF-AC923B95123F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"791c9af3f632028a8094f425e13128d157950d83","datavalue":{"value":"Georg Struth","type":"string"},"datatype":"string"},"type":"statement","id":"Q43925$8E72D983-8BA0-4620-A03A-877E5F057673","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6097bdbfc2c90078ad5f567cd99c36d56f389b5d","datavalue":{"value":"Binary multirelations associate elements of a set with its subsets; hence they are binary relations from a set to its power set. Applications include alternating automata, models and logics for games, program semantics with dual demonic and angelic nondeterministic choices and concurrent dynamic logics. This proof document supports an arXiv article that formalises the basic algebra of multirelations and proposes axiom systems for them, ranging from weak bi-monoids to weak bi-quantales.","type":"string"},"datatype":"string"},"type":"statement","id":"Q43925$19C7A605-741D-40BB-AF22-4FC2BBAFBE0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fd0f9fd1fa7a2df7613d8bd37ed93de45bc31e","datavalue":{"value":{"entity-type":"item","numeric-id":5278188,"id":"Q5278188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$C86E2BD7-D043-4A82-B6F0-0BD6EF875307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16cb3de41ef02b5a9305b03bf26fc821592ed4c","datavalue":{"value":{"entity-type":"item","numeric-id":5277895,"id":"Q5277895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$4180283D-DEBB-416E-8F99-ECD721557897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c828766f544d12c1b296a8e13167a15c2a6b818","datavalue":{"value":{"entity-type":"item","numeric-id":1207436,"id":"Q1207436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$A01923B5-71E4-4E81-9B68-6FFCC43C0ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2857e2ccf7c4a647101d2799fa5b5bcb5648fc35","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$0C6C9A51-264D-4783-8EE4-7FB5846975F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00c841ea08739fa38b76821129fbbdb6fe48b753","datavalue":{"value":{"time":"+2015-06-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":"Q43925$741E374A-2864-4F68-A4F1-303269DC10F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b9207eba8e80ad994932b72c2608167a6a73ca","datavalue":{"value":{"text":"Binary Multirelations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q43925$F2D0CF26-1254-4548-8D0E-EB09E47B0128","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$BAABF83B-846C-4C7E-8442-C6C85F884A23","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"b1cb988fa001fdc76ae94cba69a4ea7c1fdb0613","datavalue":{"value":{"entity-type":"item","numeric-id":7361763,"id":"Q7361763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$80428283-36D7-4EFF-954A-E6644C5ECAA0","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q43925$EEC8AC30-0BBE-4871-A32B-E5821C08C9E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Binary Multirelations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Binary_Multirelations"}}}}}