{"entities":{"Q636371":{"pageid":638219,"ns":120,"title":"Item:Q636371","lastrevid":63168357,"modified":"2026-04-11T11:03:53Z","type":"item","id":"Q636371","labels":{"en":{"language":"en","value":"Kripke models for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5943655"}},"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":"Q636371$FEC85A59-6ED2-4062-82A8-8A1FE74AEE7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c9811618899ec533d66edc823a3c8d35f67d55f","datavalue":{"value":{"text":"Kripke models for classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q636371$5F59AC2A-90C2-4E95-9A12-7104F4C7F740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6af85cfd0f96977b66bc4266185476611d05a95","datavalue":{"value":"1225.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$56FF9B02-AC9B-49B3-A0B2-8268A1EF830D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf340d7ff821e26d8a935bc7e4aa006ed3e278","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$006347E0-59A2-44CB-9125-33D831493D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50e187b2549084d3b0400c26e513ef456c843715","datavalue":{"value":{"entity-type":"item","numeric-id":618310,"id":"Q618310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$6AD92F35-A56C-4C31-AFBB-570C2873C2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$9057A361-ADEE-4235-A185-79FCEFC15765","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$7C5E6BA0-7FDF-40FE-B256-885F89797606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8f347fb3b92d10259e32e7ae3b68d43ebb98729","datavalue":{"value":{"time":"+2011-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q636371$8AA83622-B218-49E5-9787-90BDDA83E8B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"739d543eb1af9dee98c660fef274e245137ae694","datavalue":{"value":"https://arxiv.org/abs/0904.0071","type":"string"},"datatype":"url"},"type":"statement","id":"Q636371$4BB7BB73-5A2B-4985-AF1E-6553002C9BFF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$91EFB8D4-3F09-4447-81D0-47B0F0290A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$E9656E23-F600-4058-B3F6-40BFDE8DC863","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdeb6da594aacddbd46bc00900e058fc9ffdf067","datavalue":{"value":"5943655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$E0433E33-3AA3-4FE6-AC2C-6247FBE18DF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$6DE9341E-4E53-4E57-AFD8-5E5277CDF839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$570866D1-F0F1-4944-8C35-F63A71C06931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$B942F872-5980-4627-B4D3-5DE7523735BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$668768D1-78E2-4F0A-8D34-A2A8BCA71BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$4483641F-BB8B-4871-B4E0-F41C38158495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54837e2920de4f3acef3a3ae6bd5bd00099230f0","datavalue":{"value":"normalization by evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q636371$2DBD2FC2-6A3E-4672-8848-11AAFB7BC200","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":"Q636371$4FB6D7E3-242A-45E8-BF8B-2BEFDB3993FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"359a0cd4332a4980174b43b20da39d67364679e8","datavalue":{"value":"W2112507467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$D7DC40A4-E1A4-40EB-B0B2-67E7E226EBCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82e82702a4b22d98959a9a92cab7d73afcce8a19","datavalue":{"value":{"entity-type":"item","numeric-id":3644739,"id":"Q3644739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$378E1C13-B08B-4D7A-9E33-4909511F4139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d336268e40135c3453860ef42d03950683322d","datavalue":{"value":{"entity-type":"item","numeric-id":5458424,"id":"Q5458424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$EBAB85EE-0858-4C38-93AD-8CA17E29AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a95cabe578c62afc69e3670034fc86324473a","datavalue":{"value":{"entity-type":"item","numeric-id":1349247,"id":"Q1349247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$4F097925-5803-4554-991B-68B2D85B2CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e9c1954d2ddbe29ef249d86ae89ab67316b1ff","datavalue":{"value":{"entity-type":"item","numeric-id":1887656,"id":"Q1887656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$ED2ABC7C-BBB2-4C62-ABE8-4F66135092D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4749998a63e8333eabd57d6ad134faa39446f2a","datavalue":{"value":{"entity-type":"item","numeric-id":4525278,"id":"Q4525278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$73F87643-8135-4288-B0CA-53EEE62F7D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70ca3169b9facb7516f26162b8b9f1adfa3076fd","datavalue":{"value":{"entity-type":"item","numeric-id":1850959,"id":"Q1850959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$BF7E74D2-A9CE-4AB1-BCA2-A80B4B6383A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$9B1C77BD-3797-465C-AD0F-C443F25D46E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee4808a64fcb1887cd001d1489c96c821f42045","datavalue":{"value":{"entity-type":"item","numeric-id":1142205,"id":"Q1142205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$700E6815-9027-4827-A521-FA8DBDF2FA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7606c89e67e33919121c3137764f8d839cb3601","datavalue":{"value":{"entity-type":"item","numeric-id":1398471,"id":"Q1398471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$D8F783AA-B0C1-4734-BA8C-3691B69DB359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e69053151ebbed5331b708246e8782db1dcd48","datavalue":{"value":{"entity-type":"item","numeric-id":4440321,"id":"Q4440321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$8895153D-899F-485C-952A-054BADB86FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"313df2cc7fc2fe657ada239876aa3199e9cf1ce4","datavalue":{"value":{"entity-type":"item","numeric-id":5308449,"id":"Q5308449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$D623AAEC-B8DA-483A-8FC1-021468F74EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"471e353343add3c4c1d2837c45f22a83e14aa042","datavalue":{"value":{"entity-type":"item","numeric-id":2498898,"id":"Q2498898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$F03A32F8-5030-4A77-B4BC-2F07C26A4E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$13E7C927-1F57-42E1-88A6-983715BC832B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509550bb15dc4a24dd6e031ebb52f20544819d09","datavalue":{"value":{"entity-type":"item","numeric-id":3638285,"id":"Q3638285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$11CD6E0E-6EEA-4DE6-91AF-C492A312F242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f82c1628c2a301543b8df444943d13a9c70e8","datavalue":{"value":{"entity-type":"item","numeric-id":5726687,"id":"Q5726687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$3F15E556-87F4-4A67-8DAE-4586E89630ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$A5D4C4F1-3579-428F-AA97-923FC3DF49BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$F52B4EAC-0B5F-4585-A11B-89B61A9B8265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f767eb48d94ed0d52d2751735ed6a9462ed4e706","datavalue":{"value":{"entity-type":"item","numeric-id":3128482,"id":"Q3128482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$20994943-3521-4414-8A5D-1A882F572670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be2512671605ebe72e3a700003c529ae354271d","datavalue":{"value":{"entity-type":"item","numeric-id":2844073,"id":"Q2844073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$BE7E4B01-35F4-463A-B43A-531140C3CCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a884c96ec5e4fd1cdb02442261da98a580d87c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1333319,"id":"Q1333319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$0CF2FEA3-9FD8-4CD4-B75D-3CF66A6659A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb142d379cd6b1936cb7839df25d8a94c046051e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$A81283AD-BB2D-4C99-A53F-821ACBF76C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c47ac64788248a40d8543304d3dd3bc25cb13b","datavalue":{"value":{"entity-type":"item","numeric-id":1603701,"id":"Q1603701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$74F58196-9145-4712-9DFA-2D80C2241DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$CAA780DC-3F28-49A9-9ED5-E937219D75E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$DE29D2AB-E013-483F-9179-D9FF46C78E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc9e0b62fef9ef8d6e72949cdbd842373a9741a","datavalue":{"value":{"entity-type":"item","numeric-id":5395064,"id":"Q5395064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q636371$41C41A46-EC3A-4944-8FA7-04E933E24586","rank":"normal"},{"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":"Q636371$BFEF427F-0F53-4B65-85C8-AE65B0C14581","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d4b8e56c772b8090417b2b480bb4c189ff170a","datavalue":{"value":"10.1016/J.APAL.2010.04.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q636371$F69C1268-D43F-4B53-B73E-31F83CDF488F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723ef59a653a803258a6fc03ee43f8760e561795","datavalue":{"value":{"entity-type":"item","numeric-id":995672,"id":"Q995672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0c362d8f032be3d4d86f4c98f3ea28104cd58e9","datavalue":{"value":{"amount":"+0.7658286094665527","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":"Q636371$D26DCCC4-F709-4759-8FBD-5B19E9DEC2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0f59056aa46b6846bc3a7b0db5d94442593a995","datavalue":{"value":{"entity-type":"item","numeric-id":5717080,"id":"Q5717080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbdc0034be44d5f91baa4e27a4b409c6bb88ed7c","datavalue":{"value":{"amount":"+0.7636184096336365","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":"Q636371$395EE56B-B942-42A1-8673-1BEB4E4FA653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5700e2f175503e455a8e2ab59771b45018fa71","datavalue":{"value":{"entity-type":"item","numeric-id":4805536,"id":"Q4805536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf066389bb76cb6d395ddce515132e80bb7f4690","datavalue":{"value":{"amount":"+0.7625266909599304","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":"Q636371$F7795EA2-7B2D-4053-8C96-DEB947A1B508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca2aa8f06de91161a2843c45ceb2230bc87a842e","datavalue":{"value":{"entity-type":"item","numeric-id":3066102,"id":"Q3066102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf066389bb76cb6d395ddce515132e80bb7f4690","datavalue":{"value":{"amount":"+0.7625266909599304","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":"Q636371$42B1E550-E693-4B0E-B93A-CB6D678845E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7c1973bcff90f91dd9f036fca74c5b9ea86a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1271561,"id":"Q1271561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134a8577a5873dc24cf4587e0bc2b88f3beac7c5","datavalue":{"value":{"amount":"+0.7618435621261597","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":"Q636371$C559DF3A-586C-45D2-B511-E7C488235295","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke models for classical logic","badges":[]}}}}}