{"entities":{"Q5262941":{"pageid":7292517,"ns":120,"title":"Item:Q5262941","lastrevid":91853150,"modified":"2026-06-05T00:14:18Z","type":"item","id":"Q5262941","labels":{"en":{"language":"en","value":"Taut monads, dynamic logic and determinism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6457558"}},"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":"Q5262941$0D925065-BE86-4C31-A562-A6778A2A7BF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe57e072105a955f79029d109f2ba8b5398dc5da","datavalue":{"value":{"text":"Taut Monads, Dynamic Logic and Determinism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5262941$16CBB512-75D2-4A6E-89B4-D5485697849A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d40d69cf869eb592b5f2c4c5ba7083902fee6d3","datavalue":{"value":"1316.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$BD43752A-ED79-4DB0-8A40-7E6FA56AB0AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1209b5826ef2814849d4a475ed91f4558273b69d","datavalue":{"value":{"entity-type":"item","numeric-id":2133475,"id":"Q2133475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$51536957-B78D-432D-9BBC-D1768E80638B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$9C4FE7FA-28FE-49DB-A5FE-3143712B9DF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9969939bb103ca6857dea96cf377517e2479ab0a","datavalue":{"value":{"time":"+2015-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5262941$AE77C1DD-46F3-4B8E-B5FF-E47C76A57126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$A9D3D8E8-A312-49A0-8970-6A3CE83BC159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$5C99FDFC-3293-4F64-BFC3-3F6892CBE2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$BCF03B16-CA76-4367-B536-ABC54BD50687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$2FAF66FE-95BF-4E6C-8CF3-5B3DD362BABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d94cdbde928d12db2a06305c6f1346171594ef02","datavalue":{"value":"18C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$E213784C-E27E-448F-87AF-99673D8F748A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"706cbadd180a6ee9ecf418f99dbf3510f015d982","datavalue":{"value":"6457558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$6558573D-79D6-4AFF-9E8E-994A504BD22F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$A2C37BBF-782C-479D-8C58-7E6E04884F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929607f3426b38e1a9fdb5049bb9a2e8455bbdb4","datavalue":{"value":"collection type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$95F68D1D-7465-4034-A2F2-3A914676BCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9a614a20222e9dbc03b3db8eb8efe2b475ac54","datavalue":{"value":"taut monad","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$84565CCB-D2B0-41FD-92BA-FD5137762E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169984fbb32aa6e578c27606fd484905e7bf6ee5","datavalue":{"value":"Boolean category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$CA7A0DE3-88C8-4547-A523-5335B3B1E5F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2099e20ecc830b4121091a1bc0397cee0a53393b","datavalue":{"value":"deterministic map","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$F317F0F4-D73C-41AC-B52B-1D0BA3C04236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ade68c0c6babd5afffea82baa95f1cb949361b2","datavalue":{"value":"locally Boolean poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$C92A6E1B-1E82-40EF-8486-8C51F4C3884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$11B25CD7-0EBE-4604-8C11-8B78887115D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b350bf4a50c493f2e086a32ddc28c53a3ab5b0ee","datavalue":{"value":"restriction category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5262941$C7F0096E-4B70-4E9C-B097-D41799356404","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":"Q5262941$A7C04471-FA89-4A11-8ABD-6269F0FD5B70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd42616a13865167a30f72b25806fb712e752732","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.02.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q5262941$CCFB3C8D-31C6-4717-BA25-616330F3DEF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0e41d8dee5435624406a5235840520d32175a9ef","datavalue":{"value":"W2022787866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$640C6BD6-DC2C-4380-9B9B-87D6620ADDDE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"395e8bde5035730a3f9e7ab7cb0e5d7ed63423c1","datavalue":{"value":{"entity-type":"item","numeric-id":2538652,"id":"Q2538652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$EEEF89D4-B025-486E-AC7C-03A09AF80A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd04d969c418aa9cf82982951db0dfad593b17ce","datavalue":{"value":{"entity-type":"item","numeric-id":5958307,"id":"Q5958307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$F72CC305-CE44-45EA-967B-507CBBA0B02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5085c28bcb3b483086eb16ab66fd7b66d37d5df8","datavalue":{"value":{"entity-type":"item","numeric-id":3625678,"id":"Q3625678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$7DF4B3E8-B585-48B8-A810-1E4E20D71510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4d34aa922ba1e858cc09cb834d96e26eb64342","datavalue":{"value":{"entity-type":"item","numeric-id":3876101,"id":"Q3876101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$BFD03586-0812-4B4F-A18B-406D325BCBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b34302f879326447349f9923ae6968b52f89837","datavalue":{"value":{"entity-type":"item","numeric-id":3897035,"id":"Q3897035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$138BD655-836A-49D7-B5A5-53916B53892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$51BC9C6E-C414-4418-AEC0-AD86F0D18260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08554f9b730cae9c215e66a4a7e2a1ae81ae73d","datavalue":{"value":{"entity-type":"item","numeric-id":1170604,"id":"Q1170604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$B912A6D2-A9EB-4DD1-8809-D0399C598823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf27a943103b169908ad08360c79efd5ac50a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":3135115,"id":"Q3135115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$246F35DF-7220-4500-9B9C-2E9C04236010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5ade4abc8579af367f42bbe14eebb02d33b346","datavalue":{"value":{"entity-type":"item","numeric-id":4236209,"id":"Q4236209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$05A7B559-F04F-49AD-B247-5EFED6ADB9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fca8fbe79b51b51ab155c189be775a403eccd3e","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$F263B9B4-A7D7-4C88-9C4E-4F42B859FCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63024de2df84249d8da409cdac581783876dc339","datavalue":{"value":{"entity-type":"item","numeric-id":4668854,"id":"Q4668854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$3E533DF5-9DE1-4A7A-9890-47E790458E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3fe9a31c4a936b4f62b53d312388248ede4207","datavalue":{"value":{"entity-type":"item","numeric-id":2503320,"id":"Q2503320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$C93B461D-896D-478B-8CB7-0906E8448758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$7241D8EB-CE99-493E-BA97-D8FE9A4B3F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b78cda30b8bf7bbc1e02364c4dd5fa066a61862","datavalue":{"value":{"entity-type":"item","numeric-id":4279255,"id":"Q4279255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$09F5D0DC-B16E-475B-BAE2-7C6400AD81E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61419096edc1ffbdcfe0820150a78c61244317e4","datavalue":{"value":{"entity-type":"item","numeric-id":3912632,"id":"Q3912632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5262941$8360CE0A-D89D-44E2-BE6D-9CA550FCC7CF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c72594449764ab4047f96aba0883812f8be4ed4f","datavalue":{"value":"Q126266007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$0B182716-E4F0-4CB0-A6EE-1A710FF2302E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"984197fa0c1d41d2814823f40476627f6e5527f1","datavalue":{"value":"10.1016/J.ENTCS.2007.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5262941$F4BD36CD-5270-4922-B3B4-340F8C7739E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5bb9c8418679fd0f1628de2db9a11ade220f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2503320,"id":"Q2503320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2e99af62a4e53e2eea6aacff4260afb77fc3d84","datavalue":{"value":{"amount":"+0.7756722569465637","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":"Q5262941$847F52F0-3AC6-4262-8D4A-06AAA792C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9166959ba35ba33cd7cb880bca413b04d3c42b05","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fe599461f503e134004ff7a8775b904f3725add","datavalue":{"value":{"amount":"+0.7322387099266052","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":"Q5262941$A3D24B6E-1E09-490F-91BA-BA73FDE37464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e444e9af7523f3ae7c361dc38c57984447b8bb","datavalue":{"value":{"entity-type":"item","numeric-id":3818372,"id":"Q3818372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4361acc0d41d22fe859f650bc8a14d77c390105c","datavalue":{"value":{"amount":"+0.7301251888275146","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":"Q5262941$F3E4F99E-B869-4A4A-9193-C1B2911FA740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b58e8d280af5e4c7c7bcc3817dded68ab0334676","datavalue":{"value":{"entity-type":"item","numeric-id":4982052,"id":"Q4982052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e815bebdc52653e727eecc815389191bc1e6516","datavalue":{"value":{"amount":"+0.7202116847038269","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":"Q5262941$E05FC50B-CB15-44F2-91CC-376EB3D46FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e29f9fa6ffe387567304027df3d9a31e162cae9","datavalue":{"value":{"entity-type":"item","numeric-id":5469106,"id":"Q5469106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05f49f108e8ee355390b0302ec5543e61bc1e20","datavalue":{"value":{"amount":"+0.7183992266654968","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":"Q5262941$75DE324F-7E5C-4017-8F27-AB7F59F3F27A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taut monads, dynamic logic and determinism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taut_monads,_dynamic_logic_and_determinism"}}}}}