{"entities":{"Q2268354":{"pageid":2279097,"ns":120,"title":"Item:Q2268354","lastrevid":43791261,"modified":"2025-11-14T07:38:52Z","type":"item","id":"Q2268354","labels":{"en":{"language":"en","value":"Dynamic non-commutative logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5677858"}},"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":"Q2268354$98CB9B96-59C5-406C-B6F1-02644B3C6DC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e6eb8dba38544e6094bb910b01fdb8042ade5972","datavalue":{"value":{"text":"Dynamic non-commutative logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2268354$D0D0CA05-FB3B-4528-9C92-F099DEFEA6D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4779b7e8a82dd29fada3c69a24b8a38cd45d4f92","datavalue":{"value":"1193.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$C937F0A5-6FB9-40A1-91FD-3AB6BB47D0CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$621686B3-620F-4948-A66E-1A5F7DCB7F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$10491ECF-5D7D-4F42-8556-2DAD7A9D36ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c918ceca2d8787753ffbdd1e7b50754c8a11e0d","datavalue":{"value":{"time":"+2010-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2268354$223BCBBF-BAB2-4104-B330-C1035C05F148","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$4395150B-6D41-4354-9A56-332B2150AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$51A31936-EB00-4710-9023-540141179BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$43446413-C476-4A18-AC91-47FD20C7D9B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"556cfb5adb359382f855abe2bf9eed2b344ed318","datavalue":{"value":"5677858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$A6FF2998-6AEB-435E-9D16-46D988F034BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$31FCBAD8-7E1B-44F5-8ECE-E5439B54D52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$EEDF2AF1-877D-471C-878A-B28952C08C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$76136685-FDB9-4C3A-8B7C-FA93F830899F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$3FB0A73E-A605-40A6-AFEC-3BC29D997D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$A6F2E031-2A68-4E6F-8E12-7CA62EEEFA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2268354$87C472BB-28B7-4313-872E-4705259C99DF","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":"Q2268354$C70436F6-4170-465E-BBF3-3A08FFE7673E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f793197f9f350226dfba4b8ada72febfacb3b7fb","datavalue":{"value":"https://doi.org/10.1007/s10849-009-9101-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2268354$B6737169-1392-4943-A97A-4BD620DEF6E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e5c393a47f00951a1ea40b08c8fdecbe2243a73","datavalue":{"value":"W2097405534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$EDF34C68-6A6A-427F-85A1-6C7E43E321D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$91617658-5EF9-450A-9B58-17EE24BFFE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317deded9391138d698f9ad6a6772a530b60d58","datavalue":{"value":{"entity-type":"item","numeric-id":4295221,"id":"Q4295221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$D15234A9-E884-4636-B155-DB84B1DBE837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$D46D68AF-6B26-41B3-8C0B-A6A25E98E864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$23BFA9E4-0F9D-462E-8630-B377964EF534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7401a71ce2a14d16d64e1c5f1c4cc7de8a8908f","datavalue":{"value":{"entity-type":"item","numeric-id":3532470,"id":"Q3532470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$1AB4ADDA-BA83-4A1F-96C7-4438E4CFF3DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c80d12f62d1042fb6dc6c4635da143b6ae731dc","datavalue":{"value":{"entity-type":"item","numeric-id":1089330,"id":"Q1089330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$C4CF9443-99CB-410C-8A16-9EA5785218AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$D7427CF3-209D-44CC-A2B5-B3F9BC7B856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$3BCDA3CB-0315-4414-8258-0C18072758FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4392ec079de34fb14ffd9416a9cbbb0b1b7aece9","datavalue":{"value":{"entity-type":"item","numeric-id":5483306,"id":"Q5483306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2268354$88214EE2-BA34-4696-8B6F-8AAED890F318","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed7dd3b074190b6d99f1c9f429fc620f17dfb4b2","datavalue":{"value":"10.1007/S10849-009-9101-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2268354$EF5123ED-7F30-4E1C-8E37-7D8246D9A88F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96d6696363f7ada10d99119b73ffadbe7c255244","datavalue":{"value":{"entity-type":"item","numeric-id":3345770,"id":"Q3345770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9047f5868f1bfb837575ee9914e80e6cfe04875a","datavalue":{"value":{"amount":"+0.92111963","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$1C1B87E9-65EF-40C0-8C87-9D349B6B1A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16361bdee4d0ce6141885d3450936c86f68c7d47","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8572b8362b59dd3527e135cb7d43ab3dfbae94d2","datavalue":{"value":{"amount":"+0.9125065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$F7061BB4-0670-4EBF-B1F2-262D966FE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d65d555739a2a4e1c5fb80b4dfad0f7c0b28a83c","datavalue":{"value":{"entity-type":"item","numeric-id":4708914,"id":"Q4708914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212ca2265f353e938598c11d94576d7b4721ec68","datavalue":{"value":{"amount":"+0.9047246","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$B67E2CB8-F19D-4AD0-AE1C-A3EA3F668D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddd61fac4877e8e6319ee4afcf38d453d783e43","datavalue":{"value":{"entity-type":"item","numeric-id":3613414,"id":"Q3613414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aadc03f5cf67a92c591de1d141b36f631185ee63","datavalue":{"value":{"amount":"+0.9021629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$80F809CA-C298-4F47-A1A6-4EACB12DEA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6c332ba1a8fa240c11f96469355f25c8b471af2","datavalue":{"value":{"entity-type":"item","numeric-id":818518,"id":"Q818518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d31553ceaa8b1c1a0c1848cfd085587a2b58fc","datavalue":{"value":{"amount":"+0.9001693","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$0DBD556A-EDC4-4160-AE87-519CD690E11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228e9cabf1c52a6a2ab07e9579977b874c3383d0","datavalue":{"value":{"entity-type":"item","numeric-id":2104536,"id":"Q2104536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"589340ac14e34c7f553895833a0ab5c2f89fc81a","datavalue":{"value":{"amount":"+0.8995676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$AB7FE4D0-A942-4A8F-9E7A-375148F206F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b2e59a3f1876b90ce4d0afbef5379583249040","datavalue":{"value":{"entity-type":"item","numeric-id":1077159,"id":"Q1077159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2324a130ad1faa727d139789e7113081f02cb870","datavalue":{"value":{"amount":"+0.89677215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$77AF6ADC-E9FA-4F71-9D59-0697767663ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87206e96e674d5771b9f251b7ba4054bfb9b5701","datavalue":{"value":{"entity-type":"item","numeric-id":1697347,"id":"Q1697347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be9e11c8f9722dc8bfaed41cf3f029157cdd6dad","datavalue":{"value":{"amount":"+0.89460826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$5AA7A9CB-9438-4E6D-8F3F-4EE28884F32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992386b5c7846a62c5ba47bdbcb74781227e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":2774267,"id":"Q2774267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c811b3190c35ce8d747894f32b9ec80cf6113cba","datavalue":{"value":{"amount":"+0.8941013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$75DF6DEB-F3CC-428F-A783-7A7C96691989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300bee42bbbebd513bde4a2f93a6feb946f320d4","datavalue":{"value":{"entity-type":"item","numeric-id":4972728,"id":"Q4972728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49eb3d8a17cc5e0958355fbc8594ad632060bdf","datavalue":{"value":{"amount":"+0.893826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2268354$24D6CF0D-D765-4B02-B092-66991B7D6B9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2268354","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2268354"}}}}}