{"entities":{"Q5413353":{"pageid":7442927,"ns":120,"title":"Item:Q5413353","lastrevid":51989528,"modified":"2026-01-20T17:01:15Z","type":"item","id":"Q5413353","labels":{"en":{"language":"en","value":"A proof theoretic tool for first-order modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6290324"}},"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":"Q5413353$CDEC4442-A234-46A9-9125-DCAE897A0558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cba8e0cc3ad52bfce830c06498b7331bc73d200","datavalue":{"value":"1287.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413353$1D5FA528-D666-4824-92EA-E24CBC982458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b3d1eedf128821437f51f7ff3df70ad0484d9f","datavalue":{"value":{"entity-type":"item","numeric-id":622625,"id":"Q622625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5413353$2AC3B2A6-560F-4DE8-A115-190DE6AC5BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7a0151a14226acc3fb9d907c9d99437783ef464","datavalue":{"value":{"entity-type":"item","numeric-id":622626,"id":"Q622626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5413353$56A512EC-6BB1-4A2B-8AD7-88944982CF48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23041ad0e28c684647ee3157226d262337ca2ff1","datavalue":{"value":{"time":"+2014-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5413353$CFF3F76D-EA3E-4CD7-885E-56629606E7CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b94759986cd398deffcaab33f606fa453890172f","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/42_34_1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5413353$12298D08-3E19-432F-8C25-7750699E9B0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413353$0664D0B9-83DB-4012-9555-59BF1DFD6227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee7e46c9a1927f930b82c9f04010f126f17d231","datavalue":{"value":"6290324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5413353$4E8E90C9-242A-4987-889F-85A0BB7B7DDA","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":"Q5413353$0F72F4BB-0658-41BB-B93E-0B5EC24B78AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3ff5d4aa2b3db5c7a13175b0d842af44786c3f1","datavalue":{"value":{"entity-type":"item","numeric-id":2957670,"id":"Q2957670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e3caa5469f4ee37b1034d4b33f09969e8d608d","datavalue":{"value":{"amount":"+0.8631960153579712","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":"Q5413353$FAE1FF46-9108-4F8A-8D1A-F244ABD4120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"918679ab8d939d52a5a76803cd6ec1a2b82b030f","datavalue":{"value":{"entity-type":"item","numeric-id":2810127,"id":"Q2810127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"483cbc618acb38d0226a540c584e32327c89d485","datavalue":{"value":{"amount":"+0.8286604881286621","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":"Q5413353$19B53AFD-463C-4FB2-B892-48630FDB608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed030b74f186a9c7e144c1a5c1bdbc2e1e44f57","datavalue":{"value":{"entity-type":"item","numeric-id":622627,"id":"Q622627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ed901cbce3ff041aa1f64ba7247ceff49bebaa2","datavalue":{"value":{"amount":"+0.8061081767082214","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":"Q5413353$87ADD1A6-86CD-4932-9E2E-5B05BCACC14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49105b71d34520164c1a962a3f9dd09f3a579064","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac3bdbd2f4ef4cb5173f3be8f98475538da74828","datavalue":{"value":{"amount":"+0.7967278957366943","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":"Q5413353$67EB1FAC-A46C-4BC9-9FE0-641F285FB067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e8c6ac464e3aa60229d9f9510ab7bba5f58ba","datavalue":{"value":{"entity-type":"item","numeric-id":4982513,"id":"Q4982513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17ea27d92d72a9d2f6cfed462cd0411e4bfed78","datavalue":{"value":{"amount":"+0.7708662748336792","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":"Q5413353$5BC0AE1F-801C-4FBF-9237-73BA2584F07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5413353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5413353"}}}}}