{"entities":{"Q4296507":{"pageid":6326108,"ns":120,"title":"Item:Q4296507","lastrevid":47252458,"modified":"2026-01-01T03:31:05Z","type":"item","id":"Q4296507","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 591209"}},"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":"Q4296507$98EF80E3-5289-4D7C-980E-6A03B28A5EE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8579fd36f487da9e83c698d129890891400e41","datavalue":{"value":"0813.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296507$14BE2100-DF32-4234-913D-7103D0C2F92D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4296507$0FF14925-5131-422A-83B6-04D2EF105863","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"133b71b0fc92d3601506c5d1957ecbd2cc63c2ae","datavalue":{"value":{"time":"+1994-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4296507$8E6A5E6E-17A3-4200-B91E-D4FBB3EA1AED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296507$8B746739-6BED-4027-B95C-F2011D9CB08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296507$D9DB0708-F5F3-4469-AA1F-CC86E58DD02C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d445d2320ada5c15ba95f12bb18ba0e8a1951f3e","datavalue":{"value":"591209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4296507$30CA8E73-0674-42E1-94D2-1449BBE352B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$1E3291B7-3C53-4963-9E42-3B5D35B4FFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5eaa31e8472e53ff6743635b9a2977364bf254","datavalue":{"value":"Gentzen method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$5D288F0B-6247-4809-84DC-BACF98A8CE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01d17de6b9edfc9ed517f84bbcbc59bc2dac51b7","datavalue":{"value":"modal logic \\(D\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$3F75A014-1635-414D-B055-92F367D6DA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$2456E606-647E-4688-9B9E-9915FC807C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8406059e41a6b011788aef5818cde3e628613503","datavalue":{"value":"interpolation lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$EC0A6CAB-D6ED-4838-8EF2-3FC62A409AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$0B1336D7-CDA9-4B7E-ADAC-45112A8EADE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4296507$FF8C7D5C-3AB8-42FB-8956-C4B79FD6990C","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":"Q4296507$C182EC3C-6ECC-48B1-BA43-0BDE1B5D5774","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3d685a0a4b1b6f5ce9910f977c7ec16272b872","datavalue":{"value":{"entity-type":"item","numeric-id":4032549,"id":"Q4032549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dede19fd4e02f781b86dfcfa0b3d07dcb68c9f","datavalue":{"value":{"amount":"+0.8023226857185364","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":"Q4296507$EC3696E2-461F-42AB-870F-3812B9E1F8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621623617ad27b2257ab485b9e9636b0d251c56e","datavalue":{"value":{"entity-type":"item","numeric-id":4304135,"id":"Q4304135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553edc2fc95054d3d02c6f87e41b24865e27222d","datavalue":{"value":{"amount":"+0.7963960766792297","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":"Q4296507$C10F6616-9E32-4A42-9E0C-0A0B53866453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde24f2dc05d718c17873e27325a3ec9b3ed0755","datavalue":{"value":{"entity-type":"item","numeric-id":3580655,"id":"Q3580655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ac5cf79f5f99c0fb34de05e5dac697b65d85e4b","datavalue":{"value":{"amount":"+0.7927740216255188","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":"Q4296507$D6016FFC-61D1-4899-99B3-31F16F1D7486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99e23115295051719ad82b571f72c0fa008b465","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fe931894d04a2f817bd0f05843e0f5064205573","datavalue":{"value":{"amount":"+0.7871502637863159","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":"Q4296507$F948DE94-E514-431F-9767-EF3A17039A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2eabfadcc6c7e02259b9de46de1f95af4db5571","datavalue":{"value":{"entity-type":"item","numeric-id":5027667,"id":"Q5027667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1e56440352aee2af64fd1631ee8e72c04b28c5","datavalue":{"value":{"amount":"+0.7843891978263855","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":"Q4296507$6C7F05EB-D38C-472F-9067-76BD88F05CE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4296507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4296507"}}}}}