{"entities":{"Q5095648":{"pageid":7125224,"ns":120,"title":"Item:Q5095648","lastrevid":94303175,"modified":"2026-06-05T06:28:06Z","type":"item","id":"Q5095648","labels":{"en":{"language":"en","value":"From forcing to satisfaction in Kripke models of intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7570099"}},"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":"Q5095648$E205455F-320A-422A-907E-4E109F83BD82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72869e4273dd236fd68bdbdd759f45d575167950","datavalue":{"value":{"text":"From forcing to satisfaction in Kripke models of intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5095648$E2B3AF72-5CAA-4EC3-B729-62E94576C413","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df91574ac04146c57cae88b2c6c9f84e6bc224ec","datavalue":{"value":"1492.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$3E01723D-5501-460D-BDF6-4112416136BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95266645bbc41dc2059fcb8d82e265767deb20a","datavalue":{"value":{"entity-type":"item","numeric-id":5095647,"id":"Q5095647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095648$E65B542A-5B3E-4896-8BC6-204E90E79A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095648$13E23B7D-D642-4FA4-A79C-BDD4ABF8136A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7866d4a91b7364d39f2ceda6885aa57f394ac478","datavalue":{"value":{"entity-type":"item","numeric-id":535158,"id":"Q535158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095648$1AA6A3E2-6CE3-41DE-B85F-2AB6BDB3ABA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5095648$B2D4FA7D-A3F2-40D4-8167-101E34E2B97A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b803906f970976a55a1ec0e1b8bcb05742777ca1","datavalue":{"value":{"time":"+2022-08-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":"Q5095648$AD640A2E-F081-4BF8-99D3-9BA0CB125DD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$F509927F-32B5-4C66-B1D5-798951B361B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ac70285252cd92545adbf950f35d5f38d449784","datavalue":{"value":"03C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$42128B5A-DB62-411E-BBB3-C00E657E4119","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d7649f2b5359882d93d9acf70e4a7579d915e2d","datavalue":{"value":"7570099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$F410B84F-0F72-45AF-A441-062F1B34FD88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095648$125685F2-4979-45DC-96E6-BF5270D66E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095648$6FF24E9B-44F5-4E00-A0E0-0E0646D8ADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095648$C70E055A-A5A2-4421-A8BE-14557265FFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5095648$724875DB-83D4-4763-B525-014772972B1D","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":"Q5095648$2E8D9A9F-EB50-4A7D-98C0-49871B2822B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4761c06cae60bc1fb46b7ad095f6b8d7e06cb91a","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzy007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5095648$E8EBF20B-9159-431B-8F65-C347EB2646E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6882cd9a9a4ab9ce80d1b906118452ff8d0123ed","datavalue":{"value":"W2796601523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$0F165A5B-0D12-4210-A084-D86C8517C724","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d1e2d1c564df661ffe867fae752ab680a1840252","datavalue":{"value":"Q130186664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$0B1F92ED-BCB0-4F23-83B6-DBBC7706CDA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc8322aa17b48cf2db8fd840ffd73eed58aaac70","datavalue":{"value":"10.1093/JIGPAL/JZY007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5095648$C13942DE-29E1-4792-A071-6AF1FFF8DB1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bed03b98e104006f14bf10f3656df34d2016be","datavalue":{"value":{"entity-type":"item","numeric-id":3153244,"id":"Q3153244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64180026d44d3f2ec1d95d30126e1815cbb4e36","datavalue":{"value":{"amount":"+0.8709344863891602","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":"Q5095648$EFC6F6E7-489A-4649-9BBB-1E3E911D99D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc7ca919adcd5800af43e91b4056a25dafb14de9","datavalue":{"value":{"entity-type":"item","numeric-id":5241922,"id":"Q5241922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcfd12a6f68f2354b6d7ce40c944247f51f7b574","datavalue":{"value":{"amount":"+0.8553164601325989","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":"Q5095648$966D2C1F-8CA0-4402-9BF1-DAE6805CEE95","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":"db0423cafea1f213f4570f2950064cfda59136c6","datavalue":{"value":{"amount":"+0.8487434983253479","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":"Q5095648$2DA7AB91-AADB-494B-AFEE-B37FDFA6F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a0c4f5a2aca4719ff950375fe91bd4496b757eb","datavalue":{"value":{"entity-type":"item","numeric-id":5944052,"id":"Q5944052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0423cafea1f213f4570f2950064cfda59136c6","datavalue":{"value":{"amount":"+0.8487434983253479","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":"Q5095648$308A5A46-FB5B-4764-ABB7-0FC9AAE5D7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a3b04441430ccc7b0b559f2a46022ef896d931","datavalue":{"value":{"amount":"+0.76995849609375","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":"Q5095648$3C575BC7-9B7C-4171-A975-B383ECE299CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From forcing to satisfaction in Kripke models of intuitionistic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_forcing_to_satisfaction_in_Kripke_models_of_intuitionistic_predicate_logic"}}}}}