{"entities":{"Q484121":{"pageid":485888,"ns":120,"title":"Item:Q484121","lastrevid":62180940,"modified":"2026-04-11T04:19:15Z","type":"item","id":"Q484121","labels":{"en":{"language":"en","value":"Truth-maker semantics for intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6381511"}},"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":"Q484121$D51E9383-7B1D-4EB0-B891-1926EC891107","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eac210cf1264838211fec3ac5c4add181ef55706","datavalue":{"value":{"text":"Truth-maker semantics for intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q484121$FF4999C1-B481-4254-96AF-0F294F9C4E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce78a865f4794364a50ed2ce789a9204acdede77","datavalue":{"value":"1335.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$EB2778DF-AA9B-489F-914E-D387FC011A8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a5f797a5812b3d1789f3a6c5eb6f827ccc046c","datavalue":{"value":{"entity-type":"item","numeric-id":169444,"id":"Q169444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$86767C4F-DF25-4193-BCC3-F76A9914E48C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$65E40B1E-8BFA-4BA5-9CFB-ABF6C02C72F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e7ef269c0353f4813567770f63d7637f2cf5c5","datavalue":{"value":{"time":"+2014-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q484121$C07CBF47-4B4E-4089-86D3-AA9DC14824A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$F0E1D7C0-CF90-4168-B2AF-FF31D1F516A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$FEA05061-1DAE-4571-A8E1-EB644A9AEDCF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b569d05f650546dfb49387d79ca7b9cc68ace9ec","datavalue":{"value":"6381511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$14905BCD-40BC-4975-8E30-EE261B8E7677","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$7AE99ABB-A47A-4F09-B12C-CBFE3C2C1232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$5A337C9A-2245-4E89-A8A2-464253DCCADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$4D27D0AD-8730-44F6-9B40-503C4789FD93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47aa3a4daee3247055e742b2b6a117884b82287","datavalue":{"value":"construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$8C7E585B-DA5F-44D6-9671-3874777637B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a893095a04be0c62195b5a7efcd32d00704462c","datavalue":{"value":"realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$DBF21B64-496B-401E-B8F1-30D419B7D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28e53a9c6d3f0b5c1c65c8dc61a783e761a060d0","datavalue":{"value":"truthmaker","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$ABB715AA-4416-483D-9DCE-D098809EE2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c5d4d81fc6f02a4cc922b26497ec74c5424b57c","datavalue":{"value":"truthmaking","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$00565660-8795-4ED7-9B39-85BF1629E19E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749d587b284fb2e5708bf249f54a60a313db614","datavalue":{"value":"conditional","type":"string"},"datatype":"string"},"type":"statement","id":"Q484121$E128EFB4-D619-495B-AE45-67BA67FFFB4D","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":"Q484121$897996AA-3643-4EEC-BD2D-510DD1F4A3BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3b46462e2936f268f6c593a2806fcc28f244445","datavalue":{"value":"https://doi.org/10.1007/s10992-013-9281-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q484121$E96CC53D-266F-4A4F-964A-9A00586120B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53917a7ee1758fbc54de64a93be5f6000c0d8826","datavalue":{"value":"W2085342194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$67AE7A44-048C-4A24-AEAE-16DC886D8297","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"475cbdbbb7f14d6e3e0d9483dc4949b7a9efba76","datavalue":{"value":{"entity-type":"item","numeric-id":4126319,"id":"Q4126319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$8B9AF3AA-AA3D-412E-8751-FAFDECE08819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e486ee774aad2683fa55e1426659724743879eb","datavalue":{"value":{"entity-type":"item","numeric-id":5704418,"id":"Q5704418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$16237C02-E416-4D4E-AEA2-2C42F363C460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928ec915d02610a99d56570a4161b77f0c6fb8d9","datavalue":{"value":{"entity-type":"item","numeric-id":2339011,"id":"Q2339011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$B171EB11-D06D-4B7E-8FCA-127406F2033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9f500dc91aa72b2199175da5b1d6d4edb9ea80","datavalue":{"value":{"entity-type":"item","numeric-id":5549788,"id":"Q5549788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$3CC318E8-D344-4C66-A284-499CDD72C83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$5D6004BF-DEC6-4358-96D8-12E1E439D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$4AE0A760-A8BA-4576-ACA4-37265E9324BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q484121$E59080A8-920F-4BD4-B748-80DB99D87C87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffd9555fbe670db3bf06b32306123ea305231a7f","datavalue":{"value":"10.1007/S10992-013-9281-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q484121$3409AAD5-EBBE-4AFC-802F-A4911D02EC25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cb86aa68a255995a16bb052a8eb66701bb4da","datavalue":{"value":{"entity-type":"item","numeric-id":2194111,"id":"Q2194111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f1503419330087aa8fbf42839793994b402e7e","datavalue":{"value":{"amount":"+0.9350722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$6351B4A0-3344-4834-9102-BB49330CD4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683753569534c36266fa07a333f62c27623ce811","datavalue":{"value":{"entity-type":"item","numeric-id":5441555,"id":"Q5441555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"154a97e3e8be8d0550ebec98bfb5bcffcf62bb82","datavalue":{"value":{"amount":"+0.90735674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$4A4F8AAA-7AD3-44FF-81C3-A2E0AF569244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19250fbc17bbf56d6659ffa399378150b3f39eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3069727,"id":"Q3069727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660112dc3bfccdcd8662b78012a5d937e786a6bb","datavalue":{"value":{"amount":"+0.89940786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$F9225E18-5DA9-4E16-A426-DEFEFBBA5FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b064d864b44f788736d8269bd5984e09ab67f42","datavalue":{"value":{"entity-type":"item","numeric-id":5224885,"id":"Q5224885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d205ee02343fded51552209ee393314e9535b7f","datavalue":{"value":{"amount":"+0.89263904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$DDAFA5B1-9A11-4566-BC7E-D05D2C0F0DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a08c31ef85d04b2238be7649d89f4e2e16f1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4934559,"id":"Q4934559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d5f9d2debec9915ee26244d97ca472f42820ad","datavalue":{"value":{"amount":"+0.8914662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$9A89B8EE-B963-41F7-A555-9E7B93573186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210c0f5094c0192380ae51d6fe45c474fd705fc4","datavalue":{"value":{"amount":"+0.88900465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$46AFB4FF-D0A4-487B-98B3-D81874B85FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fa6d00ea9fc23dbb707841f680cdfe731d3d8c","datavalue":{"value":{"entity-type":"item","numeric-id":1062982,"id":"Q1062982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"170aff5858a9602383e7a2668414b5b050fc5c0a","datavalue":{"value":{"amount":"+0.8869353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$CE87D82F-47E5-4926-9A83-B833EA82F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0005a99c2fb34523cb249f79984559ef4f9c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4830367,"id":"Q4830367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b438d87771d6a3a9764ddabfd97a82e9288504cd","datavalue":{"value":{"amount":"+0.88462234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$6A6A83D4-D936-4330-87B0-D9DEC59A596E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa8d6d39c36cb55518638244a2b4486d8ac71b3","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d835084d63009115e156da96f9644cf14c57c5","datavalue":{"value":{"amount":"+0.88439965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$BDCEC00C-AAAE-4505-890D-14D7ACB669C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594dd2ccdc5fb623db58bed47b36eb24e409029e","datavalue":{"value":{"entity-type":"item","numeric-id":4532197,"id":"Q4532197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d835084d63009115e156da96f9644cf14c57c5","datavalue":{"value":{"amount":"+0.88439965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q484121$24D305BE-1831-481E-BCF3-D716C3584080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Truth-maker semantics for intuitionistic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Truth-maker_semantics_for_intuitionistic_logic"}}}}}