{"entities":{"Q4518916":{"pageid":6548509,"ns":120,"title":"Item:Q4518916","lastrevid":47540884,"modified":"2026-01-02T00:51:39Z","type":"item","id":"Q4518916","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538059"}},"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":"Q4518916$2855CC0C-EC6C-4641-A3AB-387667C17844","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea3af0a386f9c6ecc64b831de9ae5c378ec5362f","datavalue":{"value":"0961.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518916$ABB7D595-DFD1-4958-AAC1-BE213A4887C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9099c93e5d8eae565b8b0a146169c547213291ce","datavalue":{"value":{"entity-type":"item","numeric-id":456712,"id":"Q456712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518916$552090AB-346A-463E-B636-2498A330D6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfd100c071a83f7f8a207722700b9c7cfbb7d47e","datavalue":{"value":{"entity-type":"item","numeric-id":2670733,"id":"Q2670733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518916$2D71F345-DBC4-408C-AF3C-759EF18709B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518916$B3D5C63A-8361-48A8-8890-2F56A7EA7556","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518916$1BDD9A07-C223-4871-B6D3-B269F3B3804A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518916$4EC3AD3A-EF88-4318-8094-971B89ADA767","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5135d8dd0e086488371f74491c75dbc1fda532e","datavalue":{"value":"1538059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518916$1DFCB300-13A0-4274-8CD9-FBC24B4F6349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eeae201c9cd538a0d59d2f81cd2afa318c64047","datavalue":{"value":"tableau-like proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518916$2462569B-D2D7-4EFC-BF38-5D80C684030C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c5ec6238cc4d3eb07bd343d3f821e9f8512d2a1","datavalue":{"value":"nonnormal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518916$06802804-A7D5-4437-9598-0BA0D2FF4BA4","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":"Q4518916$302B0400-567D-4114-ACDC-78F10F183214","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0da427f3e4e764e2e318e749e1be9429391cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3086941,"id":"Q3086941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17dc3efd788e86875505f96a43c4e0f54e4f8e0","datavalue":{"value":{"amount":"+0.8526159524917603","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":"Q4518916$AF223B82-EFD8-4A1B-84FB-3D35DE5AA522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5effd6306ddf204712b9671753107db3b7dbd0a7","datavalue":{"value":{"entity-type":"item","numeric-id":5235255,"id":"Q5235255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d1b7d7b861a432c1a1e4ae9d8bdee2e8c6e51b9","datavalue":{"value":{"amount":"+0.8266875743865967","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":"Q4518916$6AE39F34-511C-4B8A-AFB7-C78C2C50EF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefc2b40b942c61d535a368d824ee6414dea98e6","datavalue":{"value":{"entity-type":"item","numeric-id":5411414,"id":"Q5411414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551a9d75afab81c9e7a8815427727b98d426325c","datavalue":{"value":{"amount":"+0.7982092499732971","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":"Q4518916$07967921-4852-4092-9B64-96D686D405F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d70ffbec097f9670c9d4520beae47214dfc0eff7","datavalue":{"value":{"amount":"+0.7913408875465393","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":"Q4518916$8DB99017-6C51-48C2-847A-9A710784590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9060d63e1319db35603860629787fac7da19d787","datavalue":{"value":{"amount":"+0.7907293438911438","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":"Q4518916$CD90240B-898A-4D75-B95A-F2FAAE1CBACD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518916"}}}}}