{"entities":{"Q3056296":{"pageid":3067012,"ns":120,"title":"Item:Q3056296","lastrevid":51128612,"modified":"2026-01-16T20:11:38Z","type":"item","id":"Q3056296","labels":{"en":{"language":"en","value":"Vietoris bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5815208"}},"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":"Q3056296$F59A42E7-FA93-4810-81BA-D2C8BEDEF4C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0eb8e6060299018982220f54b6abdeeca28f3830","datavalue":{"value":{"text":"Vietoris Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3056296$D5178881-E99C-47C7-BDA7-5376DEFA1728","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15702796414a9d7f4974c50f865b30c635d13c71","datavalue":{"value":"1266.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$105BC274-4904-4B70-828C-DCA39E565841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056296$F695D488-AB0D-41BE-9891-ABC3B21EE563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4806e22388fc22e3970ce41be246be0da279e951","datavalue":{"value":{"entity-type":"item","numeric-id":269315,"id":"Q269315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056296$02D281F4-C5D3-43FC-8A96-589C9AF149BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf048b02e69cafc813fe01f621b37f5d15aab40","datavalue":{"value":{"entity-type":"item","numeric-id":402119,"id":"Q402119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056296$B2668397-B8E9-439D-9A8D-3303B5DF81E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9da83de86884268e4bb618da2976a0f5979ab1bb","datavalue":{"value":{"time":"+2010-11-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":"Q3056296$78C43BDB-2B32-44C4-8DED-774F99F35C93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55cd16233bc5fa250cf35b78c2ab2db41acd4a7c","datavalue":{"value":"https://semanticscholar.org/paper/e137ec284dbd1586e7b13b7142aae3bd335c9f05","type":"string"},"datatype":"url"},"type":"statement","id":"Q3056296$EF023949-420A-497D-8EB6-587C370D1D6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$D2D482C2-6B49-4533-919C-FF0135C3ADE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$DB3AEDD2-FA49-4372-B3B9-2C131519DED1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"651cc3214e7c2e4b7f9d679742162d5093e9a39c","datavalue":{"value":"5815208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$ED7BC678-58E0-4B95-AAA6-26CCA7D2A5CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056296$84E6E166-66CE-45C5-9B21-DEA26D43DCD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056296$70CC0A80-C756-4FBF-B837-23FF67E53A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eb474a1914a8c21efe7f063fd7fa2b83183410e","datavalue":{"value":"descriptive frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056296$E5A07D1B-3ADB-4F51-9727-E5B043F6976B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056296$9F9D3A13-81E0-4954-BEC8-69D7C18E5439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e561331f48660cc4464d9b3bcf1a01726cc8688d","datavalue":{"value":"Vietoris construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3056296$659A20BA-C0EA-4383-BAC6-9BD3C4D7B763","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":"Q3056296$2407CBC1-B050-48E6-8A4B-40739A2C09EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"126c40885ed717815b539c38d5cf537027aaa116","datavalue":{"value":"W2913419662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$867E3958-9B60-4043-85FE-B336F2EE604B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da8c91dafdffdab812ab3c9ddb0ecf49b7e54150","datavalue":{"value":"10.1093/LOGCOM/EXN091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3056296$939F0405-9DC0-4E16-91B2-5987BD098708","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3056296$40AD7023-C30E-4CB8-A290-AD91C3A18677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62d6a14472ad155cfe2ba9742eae908fbd22a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4612432,"id":"Q4612432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9900ef005355f0ec2bdb9b5a329b67654fb8f0","datavalue":{"value":{"amount":"+0.8331456780433655","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":"Q3056296$AE2B3623-9439-4A43-80E3-014E182BA049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43c8b0113c3e634e00a9c813d6d7c3957e34dcc","datavalue":{"value":{"entity-type":"item","numeric-id":5255794,"id":"Q5255794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5219ee46f4b4d747ab7c4bb6a9b4852e24dd735f","datavalue":{"value":{"amount":"+0.7863641381263733","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":"Q3056296$9F6273D1-7B9A-47FC-94F9-D27B256949C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030d7f99942caa9bd5aae2fcba08350ab0b9cc2a","datavalue":{"value":{"entity-type":"item","numeric-id":3636801,"id":"Q3636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57de3c2c082e5253d82fe36de3cc9b8bb238fb0f","datavalue":{"value":{"amount":"+0.779851496219635","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":"Q3056296$86A85778-5A25-4758-8C36-F8056568254E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82053bdd8870aeb502c4778f508a09e2e695b095","datavalue":{"value":{"entity-type":"item","numeric-id":2843727,"id":"Q2843727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417b051f7b8b6a5c05745d87543458bc3d817782","datavalue":{"value":{"amount":"+0.7775284647941589","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":"Q3056296$729167B6-061B-4F4C-92F7-D3792AC5A716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe7462afa0a9896a113d6a6c7b4411201f3cd3c","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09780260247adc0b75addff04815172adaa85d73","datavalue":{"value":{"amount":"+0.776579737663269","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":"Q3056296$385E9CF6-2266-45BE-B29C-7DF361557415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3056296","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3056296"}}}}}