{"entities":{"Q3549319":{"pageid":5579223,"ns":120,"title":"Item:Q3549319","lastrevid":49524472,"modified":"2026-01-07T11:29:30Z","type":"item","id":"Q3549319","labels":{"en":{"language":"en","value":"On Dynamic Topological Logic of the Real Line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5480669"}},"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":"Q3549319$7B78561E-5F2B-41CA-8016-24239F50990D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1234ce2e0643fb3cad2951b767318de59bd80551","datavalue":{"value":{"text":"On Dynamic Topological Logic of the Real Line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3549319$BDF63DE0-0612-41D3-BB70-1CB6337507DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5c256f1d72f99b34cd8c39973fd2f8b56da2f28","datavalue":{"value":"1162.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$B8C9E96F-38EE-4FA0-868E-DA24ABA23B06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2357966e49eb89632c3325227ce7c5e04a3ae1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1751495,"id":"Q1751495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549319$A2975261-63BE-4272-996F-2637FF619BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aea3f0ee8e6f275caea106ffc7919019f79c719","datavalue":{"value":{"entity-type":"item","numeric-id":853740,"id":"Q853740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3549319$853F758A-3E82-45C8-81E2-B9A1153972D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3bb71ba14b31de2de19854cf4d23d9d201b244","datavalue":{"value":{"time":"+2008-12-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3549319$ADF12D20-A428-44F2-9415-D6D90335BE36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a43c9a6ed0f9a8845f7a4e141a56375b82da7d5","datavalue":{"value":"https://semanticscholar.org/paper/ba3f3933a29d98bf96352689cc6ed755f9e8914c","type":"string"},"datatype":"url"},"type":"statement","id":"Q3549319$E2CA139C-A15E-4160-814C-5C6CD0B23D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$3B0791B4-D7B1-4673-BA98-3BAB4E62DF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$FE891E84-A7FD-44E6-90D9-4CF3041E5B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$774EC905-ABCC-40C9-BB22-42B6C38012F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"695478a0f100e4361319832dfe337ea54d98c1f3","datavalue":{"value":"5480669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$40726109-F3AA-4211-A72F-BC8B908E9530","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c0c2eac79bee46aee550817d9658f5badf3eff4","datavalue":{"value":"dynamic topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549319$150530C3-0EEE-49B4-9634-90ECF6BC422D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c40eb1f3c00c76f2bbabaffc6b01340983e5906a","datavalue":{"value":"dynamic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549319$941A1AC1-E258-4A98-9377-43C30F05A74A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a74fcedcd107dd44b858d86041be9686183d568","datavalue":{"value":"S4C","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549319$60080BF3-D8C7-43CB-B22E-5B30EBF52022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3549319$1B1DDDEE-2352-41D6-8CD3-1F225C82B4AC","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":"Q3549319$3DA3185F-7265-410E-B1F3-CA2998563F14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6e75dcafcc9bc415f0a40b8d97a4255d89aff16","datavalue":{"value":"W2041379665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$56A5AF80-BCAD-4A60-9773-2EFAAC929987","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29229744729e567ef10ef9f628266542c1965df4","datavalue":{"value":"10.1093/LOGCOM/EXN034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3549319$F80E6E88-517B-497E-96F9-836FF91B904E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e18fb399589e1d330c411c7a2a852551bda57156","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a2b857d71143736cbcb38430ef72bb2cd159ab","datavalue":{"value":{"amount":"+0.7889353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$432EA9D2-CABA-4365-BB98-57913D4FE7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5199eaad7b5b2965fe0f9b5c4d6d3700bc12418d","datavalue":{"value":{"amount":"+0.7793106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$F23555EF-5ED7-4CA7-BB18-88E7405E70C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d08e7917ba2748afa502f29b214bf391558976","datavalue":{"value":{"amount":"+0.7780956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$D28BBEA3-7CD1-4D61-9172-EEC0B3F7B554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f09a6c3c8be16dd39b6b162660b560e003807688","datavalue":{"value":{"entity-type":"item","numeric-id":862352,"id":"Q862352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40b763b32e372a5f3f55abe69e7393632c2fd4ca","datavalue":{"value":{"amount":"+0.7699733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$2043EF0C-5FC1-4A4F-A3B8-2DEFA7CEBB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca72d575c8abb8f454acb7c2cb4939c6fe184197","datavalue":{"value":{"entity-type":"item","numeric-id":5027240,"id":"Q5027240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e7d9f6c9add26d96568a4f601263041620261f","datavalue":{"value":{"amount":"+0.7638366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$75E76220-C799-4A80-AA04-286FD186C32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3d769ccc15c36c35a9c60ce570dfbfa6ab067d","datavalue":{"value":{"entity-type":"item","numeric-id":3371957,"id":"Q3371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3a6651bd6db6b6c3ec6d99c27692953d71cab0","datavalue":{"value":{"amount":"+0.76156056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$527AAE7F-3FEE-41A5-82F9-E90C253C2749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3de006d4f8c891340c789ef2a2e024d8b70910","datavalue":{"value":{"entity-type":"item","numeric-id":971888,"id":"Q971888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29972a1c8b17bf2f08abe8a747e174fc8464e416","datavalue":{"value":{"amount":"+0.75755525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$EFB8DE3F-BEDD-4BFD-A761-1BCA7EFE92F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e95fd502de654bd3365279c30003c5a7b88eef","datavalue":{"value":{"entity-type":"item","numeric-id":4430395,"id":"Q4430395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55fd38ea6b72e5d2dc91aa912f0270dc34fba77","datavalue":{"value":{"amount":"+0.7480192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$0326FA12-197E-488A-BDDE-85C7483513F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc4c2b14f81fc5f6d7a8116c75f220c9c847671","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41c840b26063b55dd3e936c90d663008834757b","datavalue":{"value":{"amount":"+0.7459864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$AD52BFEF-4CF6-4EC0-B7BC-0624923313BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07afcdc82911588bbf35ff59e708bbdd908fb9f","datavalue":{"value":{"entity-type":"item","numeric-id":4250039,"id":"Q4250039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb331d0ff5a21be8d13c4bd54be6596ef0e50aa","datavalue":{"value":{"amount":"+0.74586797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3549319$15C4ADC6-727A-4A07-A69C-5C5E43ED43F2","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":"Q3549319$42187161-1A07-4A3F-9B8B-7E418DDFC770","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3549319","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3549319"}}}}}