{"entities":{"Q4394917":{"pageid":6424516,"ns":120,"title":"Item:Q4394917","lastrevid":46927224,"modified":"2025-12-25T21:07:53Z","type":"item","id":"Q4394917","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163388"}},"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":"Q4394917$5A581281-1BCD-4E9B-82D7-295D51DDF053","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a53d5bae8735e78bc0be2cf29fcc1aed057279","datavalue":{"value":"0908.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394917$204A3963-B1A5-41E3-BD75-5F49B95925C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394917$D2DD6E35-D8A1-4A75-A2D7-756C9DE3DF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d037751cf789dd4facbc7be7ba5666e4a37ffd1","datavalue":{"value":{"entity-type":"item","numeric-id":2762875,"id":"Q2762875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394917$5E2B96B7-06B6-480B-A8DB-ECCBE721BB38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ca81668723b17b38fcd31dd2e967490600b6d1d","datavalue":{"value":{"time":"+1999-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4394917$3B365C97-239A-454E-9FE9-E23944593411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394917$02A05757-F820-4C47-A0DD-8EF0D7589142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394917$88A8AB7D-7ECA-47B7-ABCC-74725366016F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b22d095345fcf154f49e88a52f1ae045e393bc02","datavalue":{"value":"1163388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394917$59782D2D-538F-4D18-901E-D3B9A6A4BA68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dfc3647ad16aab014227a641b0a5ec798acfb2f","datavalue":{"value":"modal logic of finite binary ordered trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394917$ED379C96-1909-4BF5-861E-CA03FD2D0D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394917$0FDB280E-0596-406D-8C6E-95C850504579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394917$FEA538C1-5BF6-41AD-A073-8BD390170BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c81087a56bdacf2029be99606d870d7a7e11a4d","datavalue":{"value":"linguistic applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394917$C2D1BE07-6FFE-460C-BD6B-97878C961FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369b00dcc2de789af51f57c7628c1a00a554901","datavalue":{"value":"multimodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394917$BF539558-D320-4926-9FD2-6FDDC851C847","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":"Q4394917$FF046C25-B59A-41C6-BB81-8FEF826A11B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9916f89802e9e9c0e46bce54a93e8efdf0b8f84","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651d2ff2abca5130fe4facf4cacf146be904932c","datavalue":{"value":{"amount":"+0.8450940251350403","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":"Q4394917$C2346584-69B2-4CEE-81AE-9075A2A2877F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87dd66e300a0dd95f3d9f97d7abf8f5954e1d02","datavalue":{"value":{"entity-type":"item","numeric-id":3718681,"id":"Q3718681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97aed13eafc3f285cbb57b97e91dbfc16b891aa4","datavalue":{"value":{"amount":"+0.7924180626869202","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":"Q4394917$2052ADBA-287D-4D6F-ABD8-60624521936C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d76af1cd1aeddd27c3af1be11af5a9e9973d86","datavalue":{"value":{"entity-type":"item","numeric-id":3315479,"id":"Q3315479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a7a2e75e7b875f65e6585c1c3652f3c9910a67","datavalue":{"value":{"amount":"+0.7715262174606323","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":"Q4394917$F9E4E1D7-D522-4C23-AB8B-BB3867AD71B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae98a963688b82f471de67ba4dac1778d0eda4d","datavalue":{"value":{"amount":"+0.7712950110435486","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":"Q4394917$FC5F7518-90F9-4396-9315-4F4D741F9813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4394917","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4394917"}}}}}