{"entities":{"Q904480":{"pageid":906328,"ns":120,"title":"Item:Q904480","lastrevid":52433264,"modified":"2026-01-22T15:32:59Z","type":"item","id":"Q904480","labels":{"en":{"language":"en","value":"Dynamic order algebras as an axiomatization of modal and tense logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6529585"}},"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":"Q904480$2D312AFA-3E6D-411E-ABAA-A1C1B3C320DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0b0ad32b3b4b202f9a062558b90a7740d0c8972","datavalue":{"value":{"text":"Dynamic order algebras as an axiomatization of modal and tense logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q904480$DF71B511-1D6F-48FA-A77D-B3A25C8B6A3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7c9d6af8f67f3b6a83832fee6400d9008be2bb2","datavalue":{"value":"1329.81092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904480$F0E58FD3-B3CA-407F-9AB2-BF7765B3AF17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$94DEBA25-E32C-4565-B57A-FC72B2E96DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$DBD65F80-FED8-4BE0-89A7-E6070DAAA6C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$46BF3366-C97C-489B-9660-E5CCF8CE9676","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a8cda3337f838542e064f0f4df3644ebe9ff367","datavalue":{"value":{"time":"+2016-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q904480$6F01FCF0-F4AC-4EE1-84AE-71375BB8B40A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904480$17E9204E-5801-4BAA-89AE-C7BDE359C4E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fd1d4506911d63f663cacb5c54d0b6c7ade041c","datavalue":{"value":"6529585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904480$77CEA6F5-72B2-4EAA-83D2-CE112DBF7EA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$5BBF632E-4644-4909-9CED-4B523A78E9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$07D190D1-B8C7-4037-B267-A4045FE35A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dafa3df66b8d3424d5744d5578c77aea791ff6f","datavalue":{"value":"bounded poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$A7F88797-3DB8-4B58-AF87-EAD8121C2465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$FC3E1EC7-D4F0-494E-A4A6-4E08C91EB0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62e3298ed0c91c77b41ca1ad2fdac331df0f7d4","datavalue":{"value":"tense operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$8F6A7A1C-DD84-4B51-A3B8-E97B63F00E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad8c06d33072ef7204fd48283b60908e30403ba8","datavalue":{"value":"dynamic order algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q904480$41DC5D43-E110-4889-8288-DAB54F902CEA","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":"Q904480$A5EFDADC-A677-43D7-A2E4-210CBCCCE115","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"647e24371edd88f15eb0c4e131d53a5e4f85e749","datavalue":{"value":"https://doi.org/10.1007/s10773-015-2510-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q904480$C35CC6A5-ED74-4770-9DAD-918973F711DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"58af99ca62fb7c4e6f3b88ea376fbb9ae9e3f855","datavalue":{"value":"W1972561006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904480$482DCDC8-0969-4DD0-9E85-7F433AFDC62B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d4d547ca76e4b86d8cf82e89e649681bd87bf7b","datavalue":{"value":{"entity-type":"item","numeric-id":429927,"id":"Q429927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$B2F18C36-444E-4F03-80A9-A12032180EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6cb8e5d189d145033442c74733fc9a8459f4df","datavalue":{"value":{"entity-type":"item","numeric-id":5445179,"id":"Q5445179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$4A244A50-B879-4045-ADB0-341B772DBAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d0c84e8f2c357e3085f18f9ceabf3d81e10bcc","datavalue":{"value":{"entity-type":"item","numeric-id":433065,"id":"Q433065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$9A5807B1-4802-4401-A4FD-C6D526149885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2699ac4758641bc83897dc4751a40e8b2500c4c","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$1FA255BD-1305-407C-931E-33943B32001E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3849be10a4433a465fbc67aa1550a8117b20f45c","datavalue":{"value":{"entity-type":"item","numeric-id":2883997,"id":"Q2883997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$4081658B-E1F4-4F6D-903B-AFCA7B8BAAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79d14e5ced14fe6ab32d6a3afec935fec75dab54","datavalue":{"value":{"entity-type":"item","numeric-id":2392562,"id":"Q2392562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$6B115F3E-5C41-4B17-92D2-09E841073432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b5228b265e9d0d3b459550b0aafea2ad052f5f","datavalue":{"value":{"entity-type":"item","numeric-id":1677045,"id":"Q1677045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$AFE67D72-8BA3-48E6-8483-82833349A8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97957893567d24ba7bf9f14877c3440ebe3d71cb","datavalue":{"value":{"entity-type":"item","numeric-id":5389310,"id":"Q5389310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$0AF0B39B-A8AC-4D95-A1BE-2010E1CE8916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$C215A8D8-6739-44F9-B345-B955ED84B62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178097464b46161ef715af2d3f5fe3978ea3aabf","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$7AA197E3-03BB-483B-BF85-312926D20151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe8a6414565de4b925309387d853c97cd4c176f","datavalue":{"value":{"entity-type":"item","numeric-id":541810,"id":"Q541810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$86E8048D-6270-479A-90A0-9F6F09FEDB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$AAF1F15B-A3F9-4D04-8A31-EE9D878D2452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5396ec75f8c7ceaef092e4ba6ffa196b0a19a732","datavalue":{"value":{"entity-type":"item","numeric-id":4914827,"id":"Q4914827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$17FC1EAD-A92D-4D09-B49F-7680841FF17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q904480$BB28C030-490C-466D-8B02-D96171BBC44A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aaa5c366c36d2a4abcb367105c6c9ebd62bdb693","datavalue":{"value":"10.1007/S10773-015-2510-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q904480$06A5D2EF-D9DA-4C22-A5C6-23D26F3312E8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64496bdaa7e66e761d29d6122b80917c451378b5","datavalue":{"value":{"entity-type":"item","numeric-id":4963134,"id":"Q4963134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ebfa27dad676f8e8b52de3a66d61cef4cbc02f","datavalue":{"value":{"amount":"+0.8581084609031677","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":"Q904480$48BF2927-CE15-46A8-B6A7-DF24E93E4223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859ec4a836d077077de162ffdfdd71d262756063","datavalue":{"value":{"entity-type":"item","numeric-id":657427,"id":"Q657427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af747354e1bb2bb3b1034b267d352b0a81f207b1","datavalue":{"value":{"amount":"+0.8266692757606506","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":"Q904480$D87231A1-9F12-4074-972E-3B8B94E9021E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23ba1a83e083a32a66ed562b301368be0e04a37","datavalue":{"value":{"entity-type":"item","numeric-id":1677045,"id":"Q1677045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6289b7d22f2da3cde24b74d6c07500385c32f8c0","datavalue":{"value":{"amount":"+0.824755847454071","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":"Q904480$E3BB0858-B458-4DD2-A3AE-D6C087637C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b278b01b1b189dec55f5c00a6abd039b21af8c","datavalue":{"value":{"entity-type":"item","numeric-id":2799965,"id":"Q2799965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3688da9246581a6293f00ccc5e2b87ed0e01a57c","datavalue":{"value":{"amount":"+0.82358318567276","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":"Q904480$FFB5747D-3F45-404E-BC5C-AB062BB59A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30eb115571ba9b2cd01132833982d4c176b01405","datavalue":{"value":{"entity-type":"item","numeric-id":5212275,"id":"Q5212275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b222bb5cd00147a00ced0c8ca135e8fb442c44","datavalue":{"value":{"amount":"+0.8089582920074463","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":"Q904480$392C9E0B-4B75-40B5-8DE3-C0EC589214AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:904480","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:904480"}}}}}