{"entities":{"Q3731580":{"pageid":5761486,"ns":120,"title":"Item:Q3731580","lastrevid":87593018,"modified":"2026-06-04T12:05:05Z","type":"item","id":"Q3731580","labels":{"en":{"language":"en","value":"On Some Subsystems of Dummett's LC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963800"}},"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":"Q3731580$3443E2E6-3B7B-46AA-945F-E741F22025B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa668d3e996e3ebd2d81fadbfcf7bfc941c7cb1d","datavalue":{"value":{"text":"On Some Subsystems of Dummett's LC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3731580$6875C471-083B-46E7-BE63-332E44D00D8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02e9982a6530ee58da7aa73006cd307d6815d05c","datavalue":{"value":"0598.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$F1FE8F80-B204-4833-B720-DBC703EF2FC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731580$6FAAB1F9-9DB9-42A9-9E21-D85F8BA2D572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3731580$E822155B-7095-40DA-8781-486BE5007F30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$05EE00DB-C652-4AA8-8915-4B85800ACBC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$5BB41225-6F94-4C23-8F6A-2EBD5BD1411D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e683096ea29039c5f1ccaae0fe27656e4a5ccf","datavalue":{"value":"3963800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$A8DA3A9A-C317-4C4D-86E2-7AB8F9166C77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$4DB16481-3006-4732-84BF-43A5943A8B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28dbde449980fade2ca8f70cfc325526442172ec","datavalue":{"value":"independence of logical connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$C689794C-CC0F-4508-82D4-D125F103E9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d5cce9759e3dacde804147a0965bdb03850c4","datavalue":{"value":"Heyting propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$A7537C13-58F9-4750-A695-9BC18C476794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$79E0C027-01C7-4B89-84CF-60F1A29F8DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84f60dde3f69a8cade144885df0d5428cc591941","datavalue":{"value":"Kripke-type models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$A8E3EB30-AC58-4046-8A11-5E419DA976D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1624d613a67d781eb8ee17c50f400700cf98bc","datavalue":{"value":"linear models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$8F7979E3-8830-4AD0-86CD-22D74B283470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$AED8AD37-989F-4556-95EB-D91B2FCE72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$0A8A339B-0E18-4BC3-BAF5-FE052DEF2F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731580$87B3EB44-5E34-4210-936F-E15DD23D2FFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f097f48e57f971c8b295b988fb441632f79a07c9","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731580$BE92A70B-250C-425D-BD69-37BC77D139C7","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":"Q3731580$F8FCEEC0-E4B1-4D64-AEB2-21DDCC613726","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2067f285871667a6ca3126c8ad7084e561b850c","datavalue":{"value":"https://doi.org/10.1002/malq.19850311406","type":"string"},"datatype":"url"},"type":"statement","id":"Q3731580$97A626B8-36D2-4DEA-B963-7A42AB1C2389","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"56e7d2cfa5c46ad57a129ba33e009f8e8c5fa196","datavalue":{"value":"W2056215629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$E1E9F61A-DC3F-4545-8CEB-0CA7E2182DF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"631aa4845a378b411e37a25abc4159f23ccd9dc8","datavalue":{"value":"10.1002/MALQ.19850311406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731580$BDA5EAB4-E9AA-4BFD-978C-DED70E764069","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06950638b25b3b850f5150cf9aa261ceaae9134","datavalue":{"value":{"entity-type":"item","numeric-id":3030796,"id":"Q3030796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4656c370deb7a5993a8da3d7167447f5bcaf49fb","datavalue":{"value":{"amount":"+0.8635574579238892","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":"Q3731580$D8940F78-0550-43F9-937D-2F40B65E1325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d3b7db382bf0f0ceb521bb7aa6280904d7d294","datavalue":{"value":{"entity-type":"item","numeric-id":3218107,"id":"Q3218107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1e2bd7eb7b30c9ede7ec99aeaf4f51341ec66e9","datavalue":{"value":{"amount":"+0.8092686533927917","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":"Q3731580$74F774F5-899E-40D3-B913-24F364C795A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89cc090edef8dbaad8d97bbb32dce2b352d270d0","datavalue":{"value":{"entity-type":"item","numeric-id":5202651,"id":"Q5202651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fabaf67f026e198e79c94580b2315cb93cd19c52","datavalue":{"value":{"amount":"+0.7864009737968445","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":"Q3731580$C0420358-67A8-4C2A-8E79-762EE33104AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5a144db415d9e3c62e488eaa3423671b7c69bb","datavalue":{"value":{"entity-type":"item","numeric-id":1092036,"id":"Q1092036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e327c454040bc85b4f1ea663334ffc81deea5c71","datavalue":{"value":{"amount":"+0.76926189661026","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":"Q3731580$7C3B6980-3A74-49D0-B007-FAEC0FF9CE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee4b060e4cceccb096074df550ab798089690f0","datavalue":{"value":{"entity-type":"item","numeric-id":4206723,"id":"Q4206723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159de6b795721682a63f9a6102a9e98ea8c1673c","datavalue":{"value":{"amount":"+0.7651458382606506","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":"Q3731580$AD41D4AD-BA93-4D55-A10A-0D3133A69AD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Some Subsystems of Dummett's LC","badges":[]}}}}}