{"entities":{"Q5224577":{"pageid":7254146,"ns":120,"title":"Item:Q5224577","lastrevid":53486159,"modified":"2026-01-25T01:05:49Z","type":"item","id":"Q5224577","labels":{"en":{"language":"en","value":"Cut-free modal theory of definite descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7084843"}},"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":"Q5224577$37C85DE0-EDAF-4DBC-BD69-1EF198A99EB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"546eaeb6820d32c71af446a35a163ac42055e7cd","datavalue":{"value":"1418.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224577$10BA551A-F879-4EFC-BD3D-10C97A05C03E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5224577$410F5B4B-9C0B-499F-A693-86268035E024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b15b47a077f77642632b896f7ca72a0919fa276","datavalue":{"value":{"time":"+2019-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5224577$9361232F-9AC5-4A45-AD9B-D91CF6F91FA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224577$2E44E056-4109-4627-BB7D-D7D8F8E82B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224577$D2E85DB6-BA92-472E-A427-DA6CC315B095","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33f2399d8b3bf95db9929357068eb47f4886a0b9","datavalue":{"value":"7084843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5224577$16C5E29C-6FAF-4A29-9C93-873DD24A0F62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224577$7E4A6EE6-7ED3-4207-AEF3-3F6A999EB15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b6d645c45f0a8bf710d638ba22831599423f9c0","datavalue":{"value":"free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224577$362B60E4-EBF5-48D3-AC23-0718C7AA533D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224577$AEBB07B5-6D66-4470-84EE-BE3D33506B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224577$AE5ADC12-D7AF-4168-BE77-C9258436A985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5224577$734A61E4-8C0D-4387-8720-3B8600E3D5BB","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":"Q5224577$1C50D24A-299E-46AB-8067-82CCA3477060","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b676da501a4388c7d8600a676797eb561342b91","datavalue":{"value":{"entity-type":"item","numeric-id":5006839,"id":"Q5006839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854ea76eab978abaf6ac0eec4d2480183f563b3d","datavalue":{"value":{"amount":"+0.8766516447067261","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":"Q5224577$AE827E52-553E-47CA-BB89-CCA58FC82E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae12ac869d97d16759dee7a1de0b7f2573a7bb7","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54116b7de137b6b84f72b6660d174803d9583fd","datavalue":{"value":{"amount":"+0.8533779382705688","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":"Q5224577$2421495F-28AD-4E59-833D-05291CCD5F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d572229a6f3b43a87eacc624eb37a98cded56040","datavalue":{"value":{"entity-type":"item","numeric-id":6041350,"id":"Q6041350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33b2e4304d453622fda08e9837cb02804a2cdc29","datavalue":{"value":{"amount":"+0.8325580358505249","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":"Q5224577$3C0B9D2A-4A3C-4E83-9CF1-CCCA132ABE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53468daa13a7084529fb7d7c1e90a8b6f90453c","datavalue":{"value":{"amount":"+0.8052501678466797","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":"Q5224577$49B8DE72-EE6F-40CC-BF81-B24566DB8C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82273274bae099928e06027f87414107a23a0663","datavalue":{"value":{"entity-type":"item","numeric-id":1317973,"id":"Q1317973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"217740a1f6bb7ea60f89c6b71e5628fb0b27ee32","datavalue":{"value":{"amount":"+0.7642036080360413","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":"Q5224577$7A3BD46E-DD90-4543-9499-751D83548D93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5224577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5224577"}}}}}