{"entities":{"Q2104479":{"pageid":2115222,"ns":120,"title":"Item:Q2104479","lastrevid":42173533,"modified":"2025-05-27T07:53:59Z","type":"item","id":"Q2104479","labels":{"en":{"language":"en","value":"Saturated Kripke structures as Vietoris coalgebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628068"}},"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":"Q2104479$228C3F4E-F078-4253-8FED-E87762A030D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a273f9273dd343e2f4e5827ebd673ab4632aeab","datavalue":{"value":{"text":"Saturated Kripke structures as Vietoris coalgebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104479$7CA88862-051E-42C0-8C45-5122A5ACDB21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea909e4f72a6bc821e3f24106b4b5cd5d6e3d1b","datavalue":{"value":"10.1007/978-3-031-10736-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104479$843B0F2F-0DEB-457D-ABC9-E6763E0CA94B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c5919a66065e24091db00d7f8ebc4a3d00a48ca","datavalue":{"value":{"entity-type":"item","numeric-id":599072,"id":"Q599072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$0B582615-7D64-413E-A9C4-7B28D9202BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13580ac239e0365d1cf40d798bbdd0ec941857c9","datavalue":{"value":{"entity-type":"item","numeric-id":2104478,"id":"Q2104478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$C5D65D3D-E525-4FAF-932D-75ED0D1A2359","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104479$5B118EC6-3DF1-4AAE-90BE-5F6BE9A06B15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3c84b526e53be30b662b242bbf7ab5c08aed92f","datavalue":{"value":"https://arxiv.org/abs/2202.07786","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104479$6466F86B-A775-45C3-B2AF-BCC8DB2833E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104479$A8B7D454-65CD-4D17-B42D-873689069EE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9742e17657a5ae163acdabde090ee50f84d2dafe","datavalue":{"value":"7628068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104479$D12284F4-F6F7-4582-A9BF-F7483E6034F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af587a2cba5d3b11580d9f94a784a6d505304b8","datavalue":{"value":"saturated Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104479$669F5D4C-F44A-4AEA-A18A-0A33CF52F02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a446ade56667f82a1fbbd8ff660c9841ee3e0f","datavalue":{"value":"Vietoris functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104479$7CE4C236-27F9-4912-9CC2-97917058D473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ee883416b83d7b32b38a6670b87ccc5f84d5a19","datavalue":{"value":"Vietoris coalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104479$C70C9942-1BF5-4F22-840F-796C4E4B22A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10474eca8e9a9d3f67efefbd8ad80e0268d44e2c","datavalue":{"value":"Vietoris convergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104479$83D93108-DD30-4AE8-A993-CE2EE4582B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de76b81f57ef1796b1e709d901661054b7875837","datavalue":{"value":"bisimulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104479$BC738707-85BC-4ABE-8D93-449F2FA5EA51","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":"Q2104479$AD5AC80B-4FEE-4E50-ADF4-227759E19AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef1faddfc472453e25548affd41aa593b2c1df9d","datavalue":{"value":"W4286600170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104479$0AE34A65-1EB8-4A68-9392-0828D905B76C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb6d6d5a1dc5614019136abacf0c0f9f73314b7","datavalue":{"value":{"entity-type":"item","numeric-id":3090863,"id":"Q3090863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$6B528A9F-4B10-4B2F-883D-AF88EE635726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$6B7F5ED6-A588-4B23-A960-D63B2B237BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff3019ee4c1b614ee2ddfe96b4d4cad575da4a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1318731,"id":"Q1318731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$56537802-E90F-41DA-96D1-C21C8FF057B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44327a5579a0cbf0c357be79a96c284d752ebbe3","datavalue":{"value":{"entity-type":"item","numeric-id":3056296,"id":"Q3056296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$FCE5E465-3A96-42D9-B0C9-EE0745BC186A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$7B086325-80F6-4DE6-9B85-5D596D559BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60392b05098be1982939f0bfb6e44f0cd7ec57e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023291,"id":"Q1023291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$05E5CE9F-D1FE-4930-BA5F-01A69391A037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$39E8DA20-92B8-4FCC-BF70-33720A794764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0fd12e42b2f878fc88d2821712066c0df564bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2576941,"id":"Q2576941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$B504FBF7-0C7D-4B0E-9031-61CCFE32A9AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$696642B0-1688-4FE9-B7A0-B217BAA72C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9339bd9c22e263b8bd77437db1b3be5eff15f1e","datavalue":{"value":{"entity-type":"item","numeric-id":4792971,"id":"Q4792971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$A5F3D509-B2DB-4D63-920D-C53F33497203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$18C88D68-D789-4537-BB6C-43A45FE2F073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4aaa559bfa96d93ba9a1c2a71cbd2e16f77644","datavalue":{"value":{"entity-type":"item","numeric-id":3119464,"id":"Q3119464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$6B480A65-D0B1-4101-8248-FC5B71399860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$7187E527-B33C-4C18-807F-4C7089657C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81fe8f79f4f3c2309d7effb7fb1b336680bc742","datavalue":{"value":{"entity-type":"item","numeric-id":2495647,"id":"Q2495647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$5FA3908D-5594-4F17-9EE2-7307E8F69F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a9d5d87ef023df4f1d55709b29268b24bc809a","datavalue":{"value":{"entity-type":"item","numeric-id":4485837,"id":"Q4485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$E4EAA869-DF99-4245-AAD3-55BE27907D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104479$3183CFFA-AAD1-4FAC-8592-BFF562E3EF87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104479"}}}}}