{"entities":{"Q995672":{"pageid":997520,"ns":120,"title":"Item:Q995672","lastrevid":42808807,"modified":"2025-07-11T16:52:38Z","type":"item","id":"Q995672","labels":{"en":{"language":"en","value":"Kripke models, distributive lattices, and Medvedev degrees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5189074"}},"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":"Q995672$97E4F094-9EF9-40B9-8D04-E94BD262CAC4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"931303233ac6594d3675d0c028c89ab618121be5","datavalue":{"value":{"text":"Kripke models, distributive lattices, and Medvedev degrees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995672$781A2F07-D9E5-4B48-B467-F12E15C25DF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"434518ad2689cd026fb0d5f3f09f5cfb37392214","datavalue":{"value":"1165.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$E4B9C850-4349-4DEE-94D4-8B9D79E80BAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf1b56d11bf58160c554d30c20f124cbee3f9201","datavalue":{"value":{"entity-type":"item","numeric-id":412012,"id":"Q412012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$D5AF5B62-CFD5-4405-A43D-17A1198946F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$668D9C83-C612-4287-ACE7-1DF6E1500112","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42cd48ac6381a576736eec2b9a8e2283d304cd2a","datavalue":{"value":{"time":"+2007-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995672$C086C173-DCA9-4C5F-AFAA-BB262BBB9E9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$DD9AD485-FF13-4B53-996D-D7A45899F68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$A553C862-B8A0-4DB9-BCAD-8C340389F03F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80662f435d89358484293ca70d938b6aa7358b21","datavalue":{"value":"5189074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$3B61D0EC-6184-4411-A283-3236AB41C533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q995672$DFB4B83E-5AA5-4F18-A14A-10420983B835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a92495392bed52e1f223f3d58a2e579dc55ffbc","datavalue":{"value":"Medvedev degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q995672$589D7769-78D2-47BA-9F01-5E91E2D59216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q995672$4F47ADAB-6B7F-4035-ADFE-8C94BCE473E2","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":"Q995672$B644E4DF-B502-4F76-B93E-8F2DC016AEFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72dbc0596f846d60e11736e185b92ad6cb3367d7","datavalue":{"value":"https://doi.org/10.1007/s11225-007-9054-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q995672$98089588-1501-4C69-94C2-0AF32559076D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d643348f6b23fdbef3d9b86d10a8a1a05f5cfb52","datavalue":{"value":"W1969083063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$2DDAF593-C0B0-42BF-ADC2-7B098BD4A680","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$D5C49D1C-B0D2-4E82-BA31-44E03797E9E3","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":"Q995672$B50327D4-189E-45E5-8DFA-0DD98B4B76C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$7C6F9B0D-2B95-4EDC-BD64-3BAB1CA1B43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85af925e3d081184ee15c262fdb4ccc39a0aa6ce","datavalue":{"value":{"entity-type":"item","numeric-id":3794148,"id":"Q3794148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$518E4090-C9B7-4007-AF69-F3A296DEE05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecdf38218d2fe682a7987d3693144c71ac5ae3c4","datavalue":{"value":{"entity-type":"item","numeric-id":3481688,"id":"Q3481688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$84C43317-4D85-4470-8250-07EA14C0126C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164423293cb6a7e75f2cbad09671c93bbf045011","datavalue":{"value":{"entity-type":"item","numeric-id":1812988,"id":"Q1812988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$BDCBDB19-B6EF-4360-B69E-7D5A443594ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ff3ee344aec79594763bc8e30b4387c6e576b5","datavalue":{"value":{"entity-type":"item","numeric-id":4863250,"id":"Q4863250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$42DCB8DC-E1EF-41FC-B1E6-1AAE7FF13121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f8e6a489a21cae1b2fbfaef62c865f7b53e67e6","datavalue":{"value":{"entity-type":"item","numeric-id":2505132,"id":"Q2505132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$9C30DA14-FA69-499A-B63F-026D8C6F40A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5030ce0dec8b952b1f920f03a2d7a8346535490f","datavalue":{"value":{"entity-type":"item","numeric-id":818514,"id":"Q818514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$A60D308D-5D67-4ACF-87EF-905AB718FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d0e238574d05cdf7919e920b729fa665b393f0","datavalue":{"value":{"entity-type":"item","numeric-id":5717080,"id":"Q5717080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995672$774FB0E2-684A-4743-ADCA-E09821246CB0","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":"Q995672$0D639254-F70C-43D1-ACD5-2D3B02A79C08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff6d0d086f888995742b147714ac67c2aeb62915","datavalue":{"value":"10.1007/S11225-007-9054-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995672$A0F9F405-9DFB-436B-8D6D-92D71369DEEB","rank":"normal"}],"P1643":[{"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":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q995672$41101ECB-DCB9-44CB-A13B-048732FABB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bd31fc8248caac497903ee29afd07edda0e6c21","datavalue":{"value":{"entity-type":"item","numeric-id":2505132,"id":"Q2505132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcf605f253f67b6cdc83bbf45fea81a0464afda","datavalue":{"value":{"amount":"+0.88310844","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":"Q995672$0A052E28-56A4-4647-9541-C8CE7846BDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0108300adc6ece2b5ea582a3150c11ec47889494","datavalue":{"value":{"entity-type":"item","numeric-id":1295382,"id":"Q1295382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1569046b06535835ff439ded2ce5f95b10675778","datavalue":{"value":{"amount":"+0.8810184","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":"Q995672$3B82C60F-7978-46D6-A5E5-398C15A06FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b936941dec843fab46298dc6a4f983f50cf6cb6","datavalue":{"value":{"entity-type":"item","numeric-id":535159,"id":"Q535159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e359e8a446c52672fa598d6eab8361dec22fb22","datavalue":{"value":{"amount":"+0.8764303","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":"Q995672$CD945CF2-63AE-4555-AA59-E1B81782B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f30c29806c4a355518c5f6dc63519e3aed84cd4f","datavalue":{"value":{"entity-type":"item","numeric-id":3830999,"id":"Q3830999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"881e625ff82da902f9cf39ed8b4ec24a2e1a1fd3","datavalue":{"value":{"amount":"+0.875617","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":"Q995672$B1E7725F-AB9C-4E79-9357-FA2808E9C2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be92db28b2fab68fba5a02a501a67af199314953","datavalue":{"value":{"entity-type":"item","numeric-id":1111541,"id":"Q1111541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77aa4b929ee93f47b28d9a650fdb495384a76b2b","datavalue":{"value":{"amount":"+0.8721163","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":"Q995672$4B512727-DC56-41B1-A4B3-6781F918329F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e805c27a295e522d202d66c9383e7230cc66f0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4304788,"id":"Q4304788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9fc2d3e97f210ed7c713e0db81094067d80e6c","datavalue":{"value":{"amount":"+0.87200415","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":"Q995672$D2F1DBAB-B5FA-49CF-9948-3F1FD42829CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54025c3ad817c1167b67f017164b6c1d0641fa9e","datavalue":{"value":{"entity-type":"item","numeric-id":4859086,"id":"Q4859086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f345b2b8e4a5145f958d9c765c1b210e1246b614","datavalue":{"value":{"amount":"+0.87044185","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":"Q995672$29929534-03E6-455B-A7AF-6B821ECF838D","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":"9f34c2e22193665110b0f3f05ff5f89a75e27f84","datavalue":{"value":{"amount":"+0.870098","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":"Q995672$3E813052-CF3B-4D42-B6ED-B21175BA0C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bb70f3b846e530d764725503a479d889c62334","datavalue":{"value":{"entity-type":"item","numeric-id":4935741,"id":"Q4935741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2899c3f7f11155c860b1703ff0e3c4f056d8d9ad","datavalue":{"value":{"amount":"+0.8696878","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":"Q995672$0F223417-D8BD-46F7-8A15-267471C87FA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:995672","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:995672"}}}}}