{"entities":{"Q6545378":{"pageid":14156532,"ns":120,"title":"Item:Q6545378","lastrevid":42335446,"modified":"2025-06-11T15:41:25Z","type":"item","id":"Q6545378","labels":{"en":{"language":"en","value":"Normalization of terms in sharp models of logic of proofs LP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7854929"}},"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":"Q6545378$E8286D2A-953F-4EE3-8347-14166DD5BA95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3e9564d97e05e5eefdb8f25cce62f9c66177f92","datavalue":{"value":{"text":"Normalization of terms in sharp models of logic of proofs LP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545378$3B1F023B-7DCD-4A76-81BF-D96E98C5D5DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e292fd46d1d7fbb245a80944eeb8caa59f97daab","datavalue":{"value":{"entity-type":"item","numeric-id":785961,"id":"Q785961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$4D77233F-9E28-4514-BF33-128558170BE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c13805eb53dbd00bf0343bc22d19b4be9e16872","datavalue":{"value":{"entity-type":"item","numeric-id":187667,"id":"Q187667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$B471DE05-A0FF-4132-A5B0-B836E10DBAA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-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":"Q6545378$C6077C68-C76B-4CCB-8CD9-FA16076B2348","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545378$D453E915-3BBA-4D39-B934-9E6EA45605AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545378$DBC073CC-A2E8-49B6-9252-EED3F62EF2BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92a8a9bc3a68d4e12cd1bd681d1dfaf4d8dec3bd","datavalue":{"value":"7854929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545378$EBDB87E6-EDC7-4E0C-BB7C-D2E0B675936C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545378$91AF6930-B30E-4E4D-BD4A-862B2B4757AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545378$0DF1BA77-22FA-4FD7-9DAC-63E4E4A92C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7efc110f03037df900f9fd44595ff20993cb791","datavalue":{"value":"basic justification model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545378$6D02A918-B24D-4375-BD65-92BC3DC7FCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c196bc893ad48ce8a85f32e75f88d6da48862c94","datavalue":{"value":"sharpness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545378$39898A7F-1FAE-47A1-8124-6EF9EE0FBAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b15c3c9b7aa2feefc22ee8e460ebe16ded2986b","datavalue":{"value":"proof polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545378$60185E0A-BCD7-4E33-BB97-E7AE135AEA8F","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":"Q6545378$2A8A9292-5207-4567-8D24-9BA211008E26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$B8D3C652-CE2C-486E-9121-27B79728C28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$5D282631-F967-4810-80CD-EFFF3FDF16B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$1FA5F398-D83B-4108-BD2B-5B216C148911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a602d84ccf672da61d56c2e045a49c28436ba88","datavalue":{"value":{"entity-type":"item","numeric-id":1709686,"id":"Q1709686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$96086F99-E630-45FE-ADD5-B848226F0E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b91a78383567f1a9e36257c18f0963cf3e7124","datavalue":{"value":{"entity-type":"item","numeric-id":2500485,"id":"Q2500485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545378$E3C55971-0BBB-4CB8-A633-2ED83F2EE377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17e2af74c5c2cfb36b911b610d5885e415afae5d","datavalue":{"value":"10.3103/S0027132223060049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545378$895175C8-0478-4A9B-882D-23F8394A7353","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545378"}}}}}