{"entities":{"Q5293202":{"pageid":7322776,"ns":120,"title":"Item:Q5293202","lastrevid":50121755,"modified":"2026-01-13T05:18:00Z","type":"item","id":"Q5293202","labels":{"en":{"language":"en","value":"Kripke submodels and universal sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5167373"}},"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":"Q5293202$603D5D22-84F7-4BE8-A3AA-BB3C89695921","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f12882760b69fcb82564956f91da90b03c852fe6","datavalue":{"value":{"text":"Kripke submodels and universal sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5293202$6D0B064E-C22B-4F50-9473-D219CF311EC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b22bc95cb362b92ce6b1466cf9ad0ced89157591","datavalue":{"value":"1123.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$9158BE76-9CFF-44E6-A016-6FF17A4B3D0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad458c6c629fc25ac62cfc6a77aca8b8a64c97c2","datavalue":{"value":{"entity-type":"item","numeric-id":948757,"id":"Q948757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293202$C7EBC596-74A2-4E18-A015-459A4F3A0541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"032d7a0be61b75c74aa24a1bfcdf87c4dc2440df","datavalue":{"value":{"entity-type":"item","numeric-id":948758,"id":"Q948758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293202$939B1A51-6823-4635-A197-63B3DD0DE940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d39fa0da6f58ae33c03a8e37dc3dedbdaa15937","datavalue":{"value":{"entity-type":"item","numeric-id":948759,"id":"Q948759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293202$FFBB1435-F8AF-46F3-9A02-2E21FCB83E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d955a17ce895bcc975b0ea6d4eead2e64dcf81","datavalue":{"value":{"entity-type":"item","numeric-id":190250,"id":"Q190250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293202$6F9DB2EF-90C0-42A3-8C22-B8B5305ED8E9","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":"Q5293202$91234CD5-1F36-4F4E-89A0-A6C6B2CA66ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24f3899628acc276ddc2402f7513107e826fc759","datavalue":{"value":{"time":"+2007-06-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":"Q5293202$D298DE3A-6139-4262-865F-01435B02CDB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$890124C0-DC02-4B19-A6D8-C72AD8B5E854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$ABE66B6C-4D1B-4D53-A0E2-08739CC747AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$68550815-E384-4576-8BD0-3BEE9B4FF484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$5A1BC5B0-2A39-440F-A73F-4E505A17549E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1333b0f93ca95bd517af048dcf92939be2a53f61","datavalue":{"value":"5167373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$F5A2F7E3-63F0-4C66-96EF-C6F516B78F07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293202$9AB5A326-C2AE-4F04-B8DC-59DF5D506293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c2c018c80f9dc78e8153f19fa8729a50d1a2cd1","datavalue":{"value":"Kripke submodel","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293202$AAB62F11-236C-448C-835E-41DBDC0E481E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bf5ee6c5d5f25a6a06e76afbbd44548899d24d","datavalue":{"value":"universal sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293202$EE2F333C-C466-46DE-8296-C5FAA86FAA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5293202$13CA62D5-4AE7-4BD1-B9B3-B280BB6A052C","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":"Q5293202$85A5A8FE-9C3B-434B-BFD5-E921E430C0C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dad393f6c41c63f46423ebb1087693a54ecfb53","datavalue":{"value":"https://doi.org/10.1002/malq.200610048","type":"string"},"datatype":"url"},"type":"statement","id":"Q5293202$F3DD1221-49E3-44A4-8ACC-7C11BDD20466","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f10be696a9e95e24622ff1c2c3b35743d21a514","datavalue":{"value":"W2053984022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$07A234E8-32F9-4502-BBE2-261D8D045358","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5293202$A1B77E78-72E3-4178-8164-2C3E9D404E2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cefa56c2ef8d5ac90ea69c4f05f92657f10a54c5","datavalue":{"value":"10.1002/MALQ.200610048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5293202$8D8AEE16-AF8F-4F47-BB8D-97C894992E3C","rank":"normal"}],"P1643":[{"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":"d397ba92a473b843b0a4fcec70924cc92ac6f2af","datavalue":{"value":{"amount":"+0.8834294080734253","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":"Q5293202$CD078C83-E179-45CB-894B-04978FD51ACD","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":"93ff833cf55ead1867f56ee047219e071c3afc5b","datavalue":{"value":{"amount":"+0.8718322515487671","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":"Q5293202$358B27EC-752E-43EA-9329-838A075B1DCD","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":"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":"Q5293202$FBE1F5C0-B129-4C01-A11B-CC3E89D0E81A","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":"abf99d5814b577ec6d8fef2288051a421e0bcd3c","datavalue":{"value":{"amount":"+0.8419081568717957","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":"Q5293202$DDD21839-E958-4543-AD20-777EB9B70B84","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":"fbdcfd6d3ce08211c78fdb96f098507620994913","datavalue":{"value":{"amount":"+0.837205171585083","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":"Q5293202$635980BC-1A8A-441A-866C-2811A6D9501C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5293202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5293202"}}}}}