{"entities":{"Q6176116":{"pageid":13311004,"ns":120,"title":"Item:Q6176116","lastrevid":58741638,"modified":"2026-04-06T13:30:30Z","type":"item","id":"Q6176116","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7730634"}},"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":"Q6176116$90BE6B25-8535-4818-8874-C35735E11C84","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efbc9ea8e7764c41b8694e3ba2836a25f47044c4","datavalue":{"value":{"entity-type":"item","numeric-id":328656,"id":"Q328656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176116$1F42AA1E-177D-42D9-A5D9-C3D6CAFD8075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"545b80613dc1ee6a751f6b195b3ce274e84dcf7f","datavalue":{"value":{"entity-type":"item","numeric-id":265815,"id":"Q265815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176116$79EBBA91-0B3E-4B63-828D-41B91F2F2E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6176116$8CA778BF-66EE-4A97-8127-8FB895FAB4C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b435be9e480714ca524ba5b8a4f1e43894a87ad","datavalue":{"value":{"time":"+2023-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6176116$E80CB3E4-1948-4C56-B249-17E24E9CE436","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae5765c525ecacb1054431af3508676d379d0782","datavalue":{"value":"https://arxiv.org/abs/2105.00669","type":"string"},"datatype":"url"},"type":"statement","id":"Q6176116$F6389FB1-D53F-42F4-A0A4-7BE23579E9A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176116$6E8ED72C-41E3-4D1F-A4EE-0838B466C42A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44033ca23459a07cb9de0a0c458215ab98144e94","datavalue":{"value":"7730634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176116$5E4C4DFE-6A79-4CE6-A5C5-5E318BD6FAFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176116$E7BC16CA-20F1-4A5F-84CB-B32AB76A408B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e8b43431268f67f3d3261502b214dc7d8163ffd","datavalue":{"value":"partition refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176116$EC4D6FB8-DBBD-4932-BC48-7D0885724595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176116$EC67BA24-B3D6-418C-8173-2A3E0557475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4616285ca44ab67333a53b6b0a4b60b375a5102","datavalue":{"value":"distinguishing formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176116$93A548BB-68F9-4790-95B0-2CA72362F36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6176116$C0F43767-B9CD-416D-BF3F-3971434F3E50","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":"Q6176116$FC667308-65B2-41A0-A2E7-50592BFBA07A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc73253fedc2532098126cc1093b80131469b310","datavalue":{"value":"10.4230/LIPICS.CONCUR.2021.32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6176116$E01149C0-BAA0-4FE3-AA96-7993AADA6125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c093809c854241a076c9caf6a9dd2d931d106b4","datavalue":{"value":{"entity-type":"item","numeric-id":5060192,"id":"Q5060192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96cbc0e0c376fb6ec5e6f4cd0019299fb8b6c6a8","datavalue":{"value":{"amount":"+0.8658092","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":"Q6176116$12462009-AF56-489F-82A8-D2D4A196BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d39f3771c67dc458798df413dfd0d0cedd07de","datavalue":{"value":{"entity-type":"item","numeric-id":4931163,"id":"Q4931163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7592ed5f7bbcd74ae335bc0670a5de3f153dca1","datavalue":{"value":{"amount":"+0.8400041","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":"Q6176116$0C012D8A-4E8B-4E78-A141-A81B84EC2BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f56c96603bbe94479c6865a89a1b73c6b21f31","datavalue":{"value":{"entity-type":"item","numeric-id":4710519,"id":"Q4710519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51a8f737e63c1766fa7cb65ae885376dd8be77d8","datavalue":{"value":{"amount":"+0.83246064","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":"Q6176116$981FEF88-7F37-4B8B-BE1D-CFB43D9A94EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0a84790bf037aa3d27f3addf416190de5f79a3","datavalue":{"value":{"entity-type":"item","numeric-id":627723,"id":"Q627723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fb5725a6bb74679aa6c76b5688ffc55bc47b49","datavalue":{"value":{"amount":"+0.8249536","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":"Q6176116$F8F9EACD-B01D-48F4-8291-5A511109567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6baeb317011fda4aae8ebb783be4e632df21c00","datavalue":{"value":{"entity-type":"item","numeric-id":1583482,"id":"Q1583482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85561d847c9e200f278bef5e45c0de774256853e","datavalue":{"value":{"amount":"+0.82420313","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":"Q6176116$20BF7B2B-854B-4AB8-87A8-0E98DA3DDF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aee87762628e7bfb0e825476ce206fa97622b73","datavalue":{"value":{"entity-type":"item","numeric-id":972378,"id":"Q972378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cde5eef93824603b9d83e5dc4bea30d2af25f6e","datavalue":{"value":{"amount":"+0.8195281","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":"Q6176116$610915B4-2E18-4E16-A06D-0CF177516D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f289fa5b2022bd8e4906eef5d660beb0038aa369","datavalue":{"value":{"entity-type":"item","numeric-id":5101352,"id":"Q5101352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dca36f8f6b67847a3c8996245020e5d598470451","datavalue":{"value":{"amount":"+0.81356555","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":"Q6176116$A258FD6E-07AE-4E05-947A-1749CD4656ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d2f601be6265d6462cdfa1875f3a7621c41380","datavalue":{"value":{"entity-type":"item","numeric-id":1430175,"id":"Q1430175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029a51ca26f5aaae1302bf0384eeb81d2258798e","datavalue":{"value":{"amount":"+0.81201327","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":"Q6176116$CF41D8C6-5812-4E36-8D91-95071F961D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"334b733bd4270700ff148e3acab33ac7afedf7e9","datavalue":{"value":{"entity-type":"item","numeric-id":2427841,"id":"Q2427841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1feb51eccc1a30276a92b5eadb1bf4ca927bd9c","datavalue":{"value":{"amount":"+0.806911","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":"Q6176116$5DCFA64F-FDB7-41A3-BF8E-14F6B7A18775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226b328a14095acb8d2d00ea190353e5fab9d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":847807,"id":"Q847807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80c0a63c2ab7bc0514895b8ab550e5218426e2c1","datavalue":{"value":{"amount":"+0.8018471","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":"Q6176116$73C47C81-6471-4F7F-BD63-D2F6A4B94897","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6176116","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6176116"}}}}}