{"entities":{"Q4943548":{"pageid":6973130,"ns":120,"title":"Item:Q4943548","lastrevid":47460070,"modified":"2026-01-01T19:39:21Z","type":"item","id":"Q4943548","labels":{"en":{"language":"en","value":"Topologies, Continuity and Bisimulations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416504"}},"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":"Q4943548$485C78BA-C9DF-41EE-A45F-3C73C8CF47A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46ba23583f82e7932127123e0384b5d915b9cff3","datavalue":{"value":{"text":"Topologies, Continuity and Bisimulations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943548$82D446D6-C832-4DD8-877B-7BD9F9F74871","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d91b7059cbd5f990b315bb817c12304148b8265","datavalue":{"value":"0940.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$FFCCDA1A-51FB-4A5B-9698-94B407C2AA98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc56a665888edbdb25e0136023562aa55ec10a87","datavalue":{"value":{"entity-type":"item","numeric-id":636274,"id":"Q636274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$6198B003-8C55-4D2B-AAF3-28FBBD127543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$E5AF8E38-D2E4-4AC2-942E-CAB45C37F079","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943548$C1913EC3-FB5D-4542-80E6-000EA0FB76E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87bbed016eb1faa49118bc214906f5e87eea1a63","datavalue":{"value":"https://eudml.org/doc/222075","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943548$B3F60975-F7C2-406A-A956-1039C09BAADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"d992741171f38e4a77706feac8ab1825cec0aec6","datavalue":{"value":"https://semanticscholar.org/paper/1acda351d22cc111b26e126ce00d39979b1ffcfc","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943548$60631310-93EA-4689-996F-A04266D44E95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$B6BB8175-5D79-4F0D-86BD-7CDA4AC9208A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cb63175a2479dd33d5406fc60dcfdfa53b1ef2a","datavalue":{"value":"93C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$64A3F8B7-712C-4016-8AFE-046F4C8774AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1ddfb12deda3f6c88e3bb7a40285845e5786fa13","datavalue":{"value":"54C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$4F4390AC-B9FE-4AE2-B711-78708B6DBFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$EA1A3FAF-306D-4371-B7A9-1B694542FA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$22B98138-BA4E-41BB-93A5-77903AA46C8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"485a3b70f10963066f533107a23453c74631550d","datavalue":{"value":"1416504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$B1770AE5-1D36-4838-BDF1-8A49CDC4FB20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1924f390d495f0e9e3bfdc3b908feaaa7305890f","datavalue":{"value":"set-valued maps","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$CA6B55A1-C780-4983-82DC-824A96A3D41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4cf4dbe9463e96f7205db27051eb4a012fd338","datavalue":{"value":"semi-continuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$181C5B49-6742-40DA-A996-1A5D71838259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26c4403d5fa8d9102bcd88ec8de73f9befa0d5ea","datavalue":{"value":"modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$36BD6459-E5EE-4C78-8A95-F32A02618208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc2746a4b9fde5e19d5cda484a643230f9a431","datavalue":{"value":"bisimulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$2416737D-6D56-4A58-BBA0-78056106D43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb0af0fd4c56c4836528a2b850f5da75382fb76","datavalue":{"value":"formal analysis and verification of hybrid control systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$8BAA8758-9D7C-4C65-A55B-DCAB70BEA5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$29C2E8E9-984E-4F56-9947-8FB996FDBFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9aa57d4a4cde83209267b1259607dab00d812c7d","datavalue":{"value":"Alexandroff topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$8039CD70-4AB4-4948-987C-23EDDEF6F1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$C3A4D5EB-083F-4C80-A7BF-70BE4585E005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3928e295e1eb40478cda2e6526c366b34ef8f4c","datavalue":{"value":"first-order definable hybrid dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943548$5AF93EC2-B12B-4FA2-AA0F-75181A2D8EED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$B0C0C7BD-9876-4257-9F57-486D29889C02","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":"Q4943548$84DFBEC5-4D7E-4049-B8C4-5058E862D06F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9aa8120e0f3a0c6cb5fce8be2736a15b355fca03","datavalue":{"value":"W2169823769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$2918DFF9-6E96-4C81-ADD1-98AEE5E038FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$20B522E1-B3DD-412E-B240-B804362BFBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a068703dde9b5280ee9a65f63f5583c1d1d4eaf","datavalue":{"value":{"entity-type":"item","numeric-id":671986,"id":"Q671986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$6A8E52F3-079A-4A19-B583-46D709C48CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fdef77660e527dbc345236f7aa4730fa26f001","datavalue":{"value":{"entity-type":"item","numeric-id":5905479,"id":"Q5905479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$A42DFA26-6A0B-42B5-A1A2-EF54E9F954FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4162ee064823e5e037da7a358a4038fb40c1f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":4246811,"id":"Q4246811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$335A4CFF-E5A4-4722-9B7E-B7C0BC1B1E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$D7C8BF7C-ED2B-4C84-94BD-08F8CC49791F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$FC7C99D7-110C-4D6D-B442-C364C54987E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec9ba6e99d0b988d6ab1227e6bdd591bb955386","datavalue":{"value":{"entity-type":"item","numeric-id":1577354,"id":"Q1577354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$42F3F6CA-20DD-41E4-A921-FC0F5DB3E08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$72ECC14B-86AC-4897-BA66-86F35C44F116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$4A3FFE96-74D9-46D7-9816-4E23C48C795F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f20df29facf53673cfcc4ee25abf625d9488e9","datavalue":{"value":{"entity-type":"item","numeric-id":1975237,"id":"Q1975237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$81BE533B-6BE0-4E9F-AA0B-449E3CB3AA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ef8fa59cd5d1da98c2f800c01383734c4999e6","datavalue":{"value":{"entity-type":"item","numeric-id":4249569,"id":"Q4249569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$288D5D01-7EDC-4841-9E43-C571C1FF98DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87d08b860bef7ebac625b2afd0fc3a5f4b8f336f","datavalue":{"value":{"entity-type":"item","numeric-id":4392286,"id":"Q4392286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$2C6D8221-27B9-4F30-B260-F2F851B122AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82198a5decfb96037035b6047b26e366a27b411","datavalue":{"value":{"entity-type":"item","numeric-id":5689266,"id":"Q5689266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943548$F6C4A17E-CDC0-4E52-BAAC-62386A3F37FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db77c98595a843c360f84c67b646e90b4ca7d6ea","datavalue":{"value":"10.1051/ITA:1999123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943548$DC0637CB-9F92-4447-9648-C827B4C8158A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fc17f845294d4119dc056ee04203fb7aa0722cc","datavalue":{"value":{"entity-type":"item","numeric-id":2847419,"id":"Q2847419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3960c9d24160219466fc9dbe9a109403ed82100","datavalue":{"value":{"amount":"+0.8279110193252563","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":"Q4943548$67789E17-4B8F-4B5E-901D-10C7F2434137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8639a8d99cf8b5b38ae4fc8e786e95b74014a8c2","datavalue":{"value":{"entity-type":"item","numeric-id":3613014,"id":"Q3613014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6345b5ef4e610def508b995b72d84591102a3954","datavalue":{"value":{"amount":"+0.786405086517334","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":"Q4943548$B2CA8D5A-F69C-4FE4-A1BF-FF749A908281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e850e799d86e031a95a8801dc00497e33acf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5307950,"id":"Q5307950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"738e07d55ec0cb7dea9643d47283eda3089f426d","datavalue":{"value":{"amount":"+0.7659924626350403","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":"Q4943548$AC989151-7332-4E05-A0F8-8870EA08E32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f76316f3247ea62623bae2cf0c4801cb7b09127","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"284cfe4e9833ebc42bc6029058cba3c5654fa78c","datavalue":{"value":{"amount":"+0.749119758605957","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":"Q4943548$082255A1-DCFF-487F-8768-71B81DD0615F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6fa676fc3af4f3bd35b906accad82f31d203a0","datavalue":{"value":{"entity-type":"item","numeric-id":3002405,"id":"Q3002405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00706865489b947cddffbf8cabdbc960c992f647","datavalue":{"value":{"amount":"+0.7483314275741577","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":"Q4943548$1A72A743-F959-4098-A97D-30E39714909A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943548","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943548"}}}}}