{"entities":{"Q5944052":{"pageid":8120854,"ns":120,"title":"Item:Q5944052","lastrevid":47674555,"modified":"2026-01-02T09:51:06Z","type":"item","id":"Q5944052","labels":{"en":{"language":"en","value":"Submodels of Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1649141"}},"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":"Q5944052$C20982D0-7F15-4CCC-84EF-DE65A01E15F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f816631a48de63e985ada1e01835a2b084a293","datavalue":{"value":{"text":"Submodels of Kripke models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5944052$A1BC735F-F9E7-4EBE-8509-0D0C8FB63821","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0fd80a53375804e0668346a78a6d447126620cf6","datavalue":{"value":"0990.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$47AAA8CC-F09C-45C9-AD00-84C99B1022D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"74e30887b1661f9905213e819a799c929192d3a6","datavalue":{"value":{"entity-type":"item","numeric-id":190340,"id":"Q190340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944052$8971DC7F-31D8-46B3-BF13-97C65389903F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5944052$7EDB711F-73C7-4BA7-94E0-1145FA66DB19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"175f29debcecd1c84977f0ceae8e3095d272950b","datavalue":{"value":{"time":"+2001-09-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5944052$7D8EA098-FD61-4056-B709-433BDB060AA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$9BEE8B57-46E1-42E9-A4AB-1CE561B1938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$9ED05811-ADA6-471A-BE1D-C8216403849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$B9716C25-5181-4FC3-9E3E-4A31F12B8BFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48f9a062601616e8afd522444742431b6a16e6d4","datavalue":{"value":"1649141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$2C4A7A49-BF8C-492D-AE4E-051F1A74F4B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c6b970990dab40d69357bafd674174e833bc7d","datavalue":{"value":"Heyting arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$15F3BD92-77E7-4552-AB05-4795E7C451DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"378448158c61eba6ffb374a062a8a6a6d4ee4ec7","datavalue":{"value":"submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$5DE38D44-2BDD-4133-AFF6-D1262B470739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$1D3C041D-DB81-4DF3-A16B-5A3202FD221F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$6373EAC9-C088-404F-A567-9C69F82E457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"603912b3b16e2554f6f90a50860f9782ab0f1a8b","datavalue":{"value":"semipositive formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$6B658A6A-A384-4DC2-8982-170E0EC864EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d719cc1adadb65b9265d12a4d01dfeb8c0918990","datavalue":{"value":"embeddings between domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5944052$408AC336-1B65-4014-85DE-F3173A9DB6CE","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":"Q5944052$41ABC0CC-95CE-4A4E-8AD6-5750579197B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f2b6387821d9f7769087a96ca33c45727f78122","datavalue":{"value":"10.1007/S001530000059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5944052$C3D5AA6D-7629-40C9-98A3-B5B60E688FB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b8d6ea67daf6c2c3ef51cee84ec1fb8e9dfa71","datavalue":{"value":{"amount":"+0.8718318939208984","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":"Q5944052$058A3203-376B-45C9-99F0-B45B36FA5BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac627fd61feb27abab3e105a1012c225337c635","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14a41120fb6b4d11c3be312b1587452410973d20","datavalue":{"value":{"amount":"+0.8647172451019287","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":"Q5944052$B57950CD-68A2-4D47-8877-81B3BDE00740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3cbd1977e31dc4f213d786c3fefedeb804c0c0","datavalue":{"value":{"entity-type":"item","numeric-id":5095626,"id":"Q5095626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b722cb64a1ad83f4c6815be1c89bd33c6d288926","datavalue":{"value":{"amount":"+0.8432830572128296","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":"Q5944052$D94D6D6D-EB7E-47CE-8B19-68E9A8652AD3","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":"098d1d1b52cf7ded3d7bdd7949391e1726c89cb9","datavalue":{"value":{"amount":"+0.8267483711242676","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":"Q5944052$D278011A-927E-44A7-AD10-226021DDDBA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585cc5ece9ce481425a23c97008e60b843ef6ace","datavalue":{"value":{"entity-type":"item","numeric-id":5413358,"id":"Q5413358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395de915e188fac886b9d36bfb31f9d55ddc1979","datavalue":{"value":{"amount":"+0.7994800209999084","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":"Q5944052$7A9D1111-2A18-4625-86C7-7C6536EDA34D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5944052","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5944052"}}}}}