{"entities":{"Q2255197":{"pageid":2265940,"ns":120,"title":"Item:Q2255197","lastrevid":43767528,"modified":"2025-11-13T15:57:00Z","type":"item","id":"Q2255197","labels":{"en":{"language":"en","value":"Sequential dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6399299"}},"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":"Q2255197$E5950B65-9D25-4D6F-93CE-13513BB3CEA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1c1da27181db7176cd0b96a16d09c34d59cd3404","datavalue":{"value":{"text":"Sequential dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2255197$AC0E6BEE-D423-4FD9-BE77-BA0946CE07F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e06e63b6e04cbde7201099a2894de4554fb4ed8","datavalue":{"value":"1305.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$9313D115-5371-44AE-AE0F-5E3A61725455","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d7279389b2829453942e3a511537e8d8a8343b4","datavalue":{"value":{"entity-type":"item","numeric-id":190252,"id":"Q190252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$6E410B20-0583-40C5-85F5-D5561C3A9C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$5622C443-C8E5-4633-AEA8-0DB61BFB011E","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":"Q2255197$788C96AD-2F06-4F7F-9857-7B2985BC9137","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f6bc95df7d1a8d387d8c02f0d8903ce3f8325e8a","datavalue":{"value":{"time":"+2015-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2255197$8FD0A1A4-48B8-41E3-9E87-EA37552D9DB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5ad946b869b273c55a85c69dc9095ccd3074695","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/26106","type":"string"},"datatype":"url"},"type":"statement","id":"Q2255197$7C8CA64D-29F3-44A8-AF8C-AF6E49A770B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$72126D62-14EE-4AE5-BE32-37885A624AF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$1007DD68-1087-4315-902E-3A92E0A11580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$DBA50B41-98D3-4708-B2F5-5127620F15DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0d1cbb1df1b26675704bc26966fe7d16378987d","datavalue":{"value":"6399299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$63C03BC2-6EA1-4C76-8A8F-28CD9364EA5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255197$38A78B35-9AC6-43FF-B0C7-4B0E668ED609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255197$0A7AF4C8-C024-492E-9A1A-BE802F13A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1922845b6ae8422abaf5e7e66bf157d86fb57244","datavalue":{"value":"dynamic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255197$CE53EC38-9FD5-444F-9EA5-91421FDE6BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2255197$C3A79B5A-4B35-40BF-A0EB-006E3CD9D988","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":"Q2255197$629C168E-462F-4FFD-B138-EBB33221866A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b91744217ddb16e5ac73a6d4b0c8cdf952653e0","datavalue":{"value":"W2165019859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$6500880B-AF2E-4D84-855A-8F847F9BF841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac71fc9464247cfe96de58ff416aa4d6c8312834","datavalue":{"value":{"entity-type":"item","numeric-id":1902558,"id":"Q1902558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$C2D84E0D-A304-4018-9A41-27D2789F40DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2dfd1e259262179d91ec21c2adc91e97790347","datavalue":{"value":{"entity-type":"item","numeric-id":5202997,"id":"Q5202997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$BC6E41C9-0E8C-4B2F-BE0E-13A24AEB3840","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":"Q2255197$A8660F6F-DCB6-449E-B5A7-6DCF3752C2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b505b8d56ce32f5bd927de5ce0f364ed7bc3b98a","datavalue":{"value":{"entity-type":"item","numeric-id":1371311,"id":"Q1371311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$4C9E526E-2F62-471F-A2F1-7FDC94565C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$163D5985-C4D4-4107-8FD0-A4B025C2E5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$435A099D-15F1-4419-BA71-24B3562978ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9456f35372467e136edbadae0803ee6f6e7e808e","datavalue":{"value":{"entity-type":"item","numeric-id":1006490,"id":"Q1006490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$CAD79EF2-9781-48DE-B9C2-46E6B53D5BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2255197$A6DE21F6-B631-4A4D-81AD-D3058DC2982E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bebf5d66306766bf3d275b69f921b7f8732609a","datavalue":{"value":"10.1007/S10849-011-9152-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2255197$174646C5-8C9F-4653-A6A5-C680746BDF6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d94965db9bd31d44f4c8a8afe44f39b708aeb966","datavalue":{"value":{"entity-type":"item","numeric-id":3787981,"id":"Q3787981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4b3b19bb9b616c81ace6243f651266eda017cc","datavalue":{"value":{"amount":"+0.9088078","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":"Q2255197$6DBAB35B-E3B9-4538-A60E-C542B88EA77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2475c8005a2b7895de3411561e49a2e02e27bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1314278,"id":"Q1314278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f1e38654212ef392b44e95db9fd868bbe30546","datavalue":{"value":{"amount":"+0.9048965","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":"Q2255197$9A6C34C3-C447-406C-A6BA-9A6B1D434E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0691e01ad153cc50160b83f2423447a30f0d6508","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434f6cbea4942a4969c9cfae43e811fe7a2ee287","datavalue":{"value":{"amount":"+0.9023688","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":"Q2255197$67F8C528-8C4F-4E69-8FB0-76AA24B50C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366c82bb1425b83605bbca6f323ad20c673b335a","datavalue":{"value":{"entity-type":"item","numeric-id":4789445,"id":"Q4789445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434f6cbea4942a4969c9cfae43e811fe7a2ee287","datavalue":{"value":{"amount":"+0.9023688","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":"Q2255197$2A88C794-BC71-442C-B7F3-E0ABEDB63F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"031af897b31148a7f37092d6fea991863eeb7f90","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"434f6cbea4942a4969c9cfae43e811fe7a2ee287","datavalue":{"value":{"amount":"+0.9023688","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":"Q2255197$83CC5514-7538-4FF6-B23B-9A7494D5CD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"661490dde3d431cdfa96834c184b8b743f3ea63d","datavalue":{"value":{"entity-type":"item","numeric-id":3758809,"id":"Q3758809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1148082b11e9bf5f70b5ea77767f08b3122114fe","datavalue":{"value":{"amount":"+0.90191966","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":"Q2255197$AD321C4F-002A-40F0-95A0-47AB6115B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5506ffb464f173144aa485f8bd205f69973ba98e","datavalue":{"value":{"entity-type":"item","numeric-id":3586044,"id":"Q3586044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d58e289494f4ce9b1331952cf2a4c26dce6d6","datavalue":{"value":{"amount":"+0.8991988","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":"Q2255197$6F4282C7-6265-4C04-A432-C7CE66B061B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266b8a3d2c6a815bddf69d8426134b0541e48c84","datavalue":{"value":{"entity-type":"item","numeric-id":3693508,"id":"Q3693508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2c0128ea198c6724f8ade16380f3e81568d155","datavalue":{"value":{"amount":"+0.890216","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":"Q2255197$C591BDDC-3980-489F-B66C-D9F6F0C6EB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db54a47992ebef0ea564e9369d587660b845fd","datavalue":{"value":{"entity-type":"item","numeric-id":5600478,"id":"Q5600478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70262653c850f1393a4a12931dbbbc19f05e59b","datavalue":{"value":{"amount":"+0.88652515","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":"Q2255197$1893E96C-ED32-455D-A6B2-F9AE785E37C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e167a868998e2ad5740364fb0cc0c0a3cba9f03","datavalue":{"value":{"entity-type":"item","numeric-id":5601766,"id":"Q5601766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70262653c850f1393a4a12931dbbbc19f05e59b","datavalue":{"value":{"amount":"+0.88652515","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":"Q2255197$963D59E0-B6E2-4A35-8417-9699A61A698B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2255197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2255197"}}}}}