{"entities":{"Q5241405":{"pageid":7270973,"ns":120,"title":"Item:Q5241405","lastrevid":58507059,"modified":"2026-04-05T12:43:31Z","type":"item","id":"Q5241405","labels":{"en":{"language":"en","value":"A binary quantifier for definite descriptions in intuitionist negative free logic: natural deduction and normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7124774"}},"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":"Q5241405$F13088CE-C3C8-4C79-A9DB-5AEC5F35D497","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a159effc9f03d5bf0b4860e6bcc2be7b9107deb2","datavalue":{"value":{"text":"A Binary Quantifier for Definite Descriptions in Intuitionist Negative Free Logic: Natural Deduction and Normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5241405$7D74B8C1-64F8-4AB3-9054-2AFB882BAB67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1668ad558192e43409e8ace4b4bc6e80c7c659e","datavalue":{"value":"1477.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241405$DADCDA90-CE98-49F6-A2DD-92A2F9221472","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfde6f4aa759c6b790e3d25fbb3cf9e3746f6002","datavalue":{"value":"10.18778/0138-0680.48.2.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241405$2DE95630-517D-4C23-A20F-689CA6CFEDCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7a9ed56ee75de611a0f69c1b285edaed0b5afe5","datavalue":{"value":{"entity-type":"item","numeric-id":266651,"id":"Q266651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$6A4EF86E-5956-4927-9DDC-52979B60BA48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c85c25b73093295d7585b178d7954cc9bdf2689d","datavalue":{"value":{"entity-type":"item","numeric-id":2810124,"id":"Q2810124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$A26ABA21-0589-486A-96E0-50E337E4D8E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97e6e40fde11bab71af900bf93cdabd76f1f7c45","datavalue":{"value":{"time":"+2019-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5241405$A86A7627-0E07-441F-8B3B-99389C4A7070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ed7642a5384293aa772a16e7e02bbd9aa5f4bba","datavalue":{"value":"https://arxiv.org/abs/2108.01976","type":"string"},"datatype":"url"},"type":"statement","id":"Q5241405$D073E892-E984-46DF-BEC0-8E65BCA4E6C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241405$1C593B5F-485E-4B97-B128-AD70A52D9701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49cf74c7d7f1e7ba85d9b351d4e47633c9fec314","datavalue":{"value":"7124774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241405$09948131-5FFC-4332-B410-F42613197602","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241405$37B68B77-5156-4547-9C00-203940078843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59cdac58ee7edf5a8fc74820662002e8c176698b","datavalue":{"value":"negative intuitionist free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241405$BA459032-0847-4FBA-946C-F35B806AC4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241405$F3003023-940B-4885-A34C-1F71BB63F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5241405$979B9197-631F-49F1-8C2F-BF4B220CF602","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":"Q5241405$FA5F3BD8-6D90-40BE-BEB6-DA8E968A76C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f719627d93f8ebf504dcdb154eceb06beaf4d81d","datavalue":{"value":"W3188201283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5241405$2744C401-1D06-4E9C-A74C-08B27CB2DDC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8e37266eda3ec5b21a8e7a70fe75c1f6c16a31","datavalue":{"value":{"entity-type":"item","numeric-id":4355889,"id":"Q4355889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$3C68678C-C170-487A-9EDE-C1326D69E6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb867c632570d39793ce1d0ab002fa1960ed0b81","datavalue":{"value":{"entity-type":"item","numeric-id":5224577,"id":"Q5224577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$C61C07E9-DCC1-4C30-9DD5-FBFA66C40568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d348e5c75cee0cfd5314db0cd35ffc0369fac6","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$0A8E26B6-79F6-44D4-A92D-8A140992A14E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$25E94A91-ECDF-4007-BB8D-52BEDDE11391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$DF6EFB18-A626-479F-AF98-F6332F14C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$01CC5F1A-AABE-4F72-B973-81B099239FE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebc073a48b6987817115c78d815f192b93a56d6","datavalue":{"value":{"entity-type":"item","numeric-id":5013624,"id":"Q5013624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b78f2510f70656070e0ed833ab7d5afc8961663","datavalue":{"value":{"amount":"+0.9338787198066713","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":"Q5241405$583FC9E4-56C4-401E-8C34-FC0C4EDF8D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aac85556736c2d6f9822a56f417067886b152eb","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc987cf50525e72ad9956686508904af31371c7","datavalue":{"value":{"amount":"+0.9008710980415344","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":"Q5241405$6AB61306-2B9A-402F-B87B-C1A1D8B11A6A","rank":"normal"},{"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":"4057b6b1817363bfeadf1fa78b11355155f1a48c","datavalue":{"value":{"amount":"+0.7699384093284607","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":"Q5241405$92A0ECAF-8274-4193-8ACB-61E2934BC32F","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":"0a427906c356f003cc59dd6b92cfecde2466d9ad","datavalue":{"value":{"amount":"+0.7687645554542542","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":"Q5241405$47433DFA-EDCB-4086-B712-1D3471E550FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf92ca43846e95e784d492323e5e1ba9b40665a4","datavalue":{"value":{"entity-type":"item","numeric-id":1906668,"id":"Q1906668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa005f45a5bd7cd2ff83a9dadd1b1c73b2920de0","datavalue":{"value":{"amount":"+0.7526174187660217","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":"Q5241405$7F305B41-048F-4402-95E5-9D0F62739944","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5241405$2106ED44-C710-4A5C-A22F-6E0C6AA22990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5241405","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5241405"}}}}}