{"entities":{"Q3345770":{"pageid":3356478,"ns":120,"title":"Item:Q3345770","lastrevid":48760216,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345770","labels":{"en":{"language":"en","value":"STRUCTURED NONSTANDARD DYNAMIC LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880102"}},"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":"Q3345770$C8D92171-516D-41BF-B58D-860F643CCFCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f7d8ae5c957ab4da514ab030c63af737a25fa2e","datavalue":{"value":{"text":"STRUCTURED NONSTANDARD DYNAMIC LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3345770$803C2B83-4A41-4B1A-BD64-5DF588A440CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42062a2d20f3e649ba6725d5f2986af7f26a9b52","datavalue":{"value":"0552.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$743971B5-D695-482E-916A-CCF822D725D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345770$2C035446-5580-4A6A-90F8-515A1660E55C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345770$7A69B3EE-D044-4AAB-8E43-0157DC72704C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3345770$B0D045B0-6E58-4378-9F6C-D4F0F522F504","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$D3AF82E7-34C7-438B-BE92-DF9AB34AAA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$132C4754-6AE0-4CAE-9117-65979ADAD2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b04bd88a45e77f22f18ff67abebfcb580b5033cf","datavalue":{"value":"03H99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$DB4C07B3-EB32-4A86-B48A-8ACD6318DDC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3a741567e82841a6df2314d52a25fd2c0531635","datavalue":{"value":"3880102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$462DAA27-204B-495B-8F83-7BE3A55DD753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbc771347c0a0fa5d1136d32ed64647dd7c77e7","datavalue":{"value":"time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345770$17C5D234-17A6-4B50-B636-D8DE95F7A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345770$022D0DFE-E3CF-4A82-B477-FD4DFE116750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34408424114b1d7f79c4cecaa20bed5d0faca616","datavalue":{"value":"nonstandard dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345770$C78DEA2E-DAA5-4AC6-8D1A-845BE392222D","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":"Q3345770$2B7891C1-3509-400E-B6A9-4C5743544993","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aafeed2b57d6e6c182db816d25d59b4bb25be0be","datavalue":{"value":"https://doi.org/10.1002/malq.19840303102","type":"string"},"datatype":"url"},"type":"statement","id":"Q3345770$797FEF85-46AE-4B9F-97C0-E43420E0F8A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43cf992b6c04a1cda5e885cacaaa2d032ef7e642","datavalue":{"value":"W2017187886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$4B41C33A-ABA9-4EE3-8A24-91B1E6A5BE93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d05b555b73facb7ef78868318aed00714c43e81d","datavalue":{"value":"10.1002/MALQ.19840303102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345770$648B5057-D5EC-48F8-8700-295B34AE9FD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"694673490717e949ac2b52e03f1369d9f24468f9","datavalue":{"value":{"entity-type":"item","numeric-id":4726228,"id":"Q4726228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b36b9db0f080a77b36d4548949c8fa855261db","datavalue":{"value":{"amount":"+0.8002991080284119","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":"Q3345770$9F989BD0-6BDE-498E-8BE5-05FA7F546A84","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":"b321c6d6f78f9d61246a464e7b277f2923d8dac3","datavalue":{"value":{"amount":"+0.7852104902267456","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":"Q3345770$0BBAC3D6-FCE8-4D60-859D-2C5C9FB8D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5294fb15f1dd9d57c505f2e1f60aef3294963d","datavalue":{"value":{"entity-type":"item","numeric-id":3769956,"id":"Q3769956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09000cc37eb255cae9a8589c7440b6ef7d33a8b5","datavalue":{"value":{"amount":"+0.7595540285110474","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":"Q3345770$052103D9-4233-4B09-9819-ED0EEAA40091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a674b9c3e05585f02ae46673433092bec4a54c","datavalue":{"value":{"entity-type":"item","numeric-id":2268354,"id":"Q2268354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588ea7453b49b2fd2e27f25ffbef5873c194e7a8","datavalue":{"value":{"amount":"+0.7542384266853333","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":"Q3345770$ED6631EB-EA0B-465E-9547-39447CD9D875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f32c8383268b7f5644996eeee72cb6df26e777","datavalue":{"value":{"amount":"+0.7445403933525085","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":"Q3345770$5A1188CE-D1B4-4DB6-AF5B-C72D5D361ECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345770"}}}}}