{"entities":{"Q701294":{"pageid":703143,"ns":120,"title":"Item:Q701294","lastrevid":48001042,"modified":"2026-01-03T08:03:35Z","type":"item","id":"Q701294","labels":{"en":{"language":"en","value":"Kripke completeness of infinitary predicate multimodal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1819621"}},"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":"Q701294$097A2294-DC56-4241-861B-B81E18A38221","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c75f1ea104b9d67940d208df95d29c0c5ca2e4c","datavalue":{"value":{"text":"Kripke completeness of infinitary predicate multimodal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q701294$1096D646-B9E5-4DF9-B421-D042245F1F7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbb386c9fed29a47b4215c53f79e3c0fdac15ce4","datavalue":{"value":"1007.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$C222AE49-D942-4038-8287-8AB568842034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7abef8bc19a924a2adb86ab361a4464d7999c01","datavalue":{"value":{"entity-type":"item","numeric-id":195363,"id":"Q195363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$019981EA-8500-48A1-9DCD-E94904A4A695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$DFF417F5-5156-4442-BA9D-D173C86B8105","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f004312de52306fc7600bb16bd0709c1b334f36","datavalue":{"value":{"time":"+2003-03-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q701294$D53587C3-F4AF-4D66-B5BE-1EDCB280B603","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$18F8CE62-5059-4B32-97CA-A5967F65B292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$7434EC48-C9BD-4281-85AD-324820A3D5E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145f88c2c8fe4d809d3a8856bb539b2bd647bace","datavalue":{"value":"1819621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$F9E567C3-CBE9-488E-9E8D-E1F8CBA034E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q701294$8CB14366-723B-4749-86CA-C5B4C060152E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c46f9e39479f05fde014e9440e1a2c77d826bdf","datavalue":{"value":"infinitary predicate modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q701294$914D5513-FB90-464C-B671-C275D247F43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba85e0278caa162850f6b2d482cfa8a8aac3d4c6","datavalue":{"value":"representation of modal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q701294$373AEB04-6670-42FB-8727-57BA51393699","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":"Q701294$96276D0E-2D86-4B79-9F76-9B9BD5E64F3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"024e9622d160b2aee66beb1cc31743ecfd34c917","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1022615613","type":"string"},"datatype":"url"},"type":"statement","id":"Q701294$21D2DDB2-1754-4D57-9024-52A73F16EE15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76f6fbd640ac357d52aa8178073a2e2f4816eeef","datavalue":{"value":"W2029901232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$D9D16C02-5D70-4ED8-903F-8BD25626C065","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$669D5129-5E25-44F0-871E-E919FBF359F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$5DBCEB8F-F007-487D-AEBC-DF30C3BFDA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22cf81cdb8d0c75b884815a320b4be63e72a937c","datavalue":{"value":{"entity-type":"item","numeric-id":1224571,"id":"Q1224571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$A5B2A3AF-C6A7-4C71-9011-56742AEE36DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddec39ec9952c5bd1c6fb05ba871e2ff363cb3e","datavalue":{"value":{"entity-type":"item","numeric-id":4857866,"id":"Q4857866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$763429A6-EC40-45B2-8262-46DE2585FCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"687285a3f6cb7651dc9e5232788fde5c05cf3112","datavalue":{"value":{"entity-type":"item","numeric-id":5661851,"id":"Q5661851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$8511FBF9-7FCB-4ADF-9EF6-F5482D0A6CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff687fb653b2f50be19ff0d779dfa41c780cbacf","datavalue":{"value":{"entity-type":"item","numeric-id":4075436,"id":"Q4075436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$E55AE760-7CA4-40AA-8AD6-068F85B3895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba35c317457b7e6ce78d79a6e2bac095c8308d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4401418,"id":"Q4401418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$C6BE03E3-8E0F-4F23-B4AE-47A9731BAE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$0FC383CF-79B9-417F-B122-3F3695298F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88110833bab9fcb3b31b3842728173b6ff6d984","datavalue":{"value":{"entity-type":"item","numeric-id":2563453,"id":"Q2563453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$E1D46D78-20C4-4A3A-8B55-D87CF7A0E2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd6cc68924a5749c00a45b8b7cef307b814b79","datavalue":{"value":{"entity-type":"item","numeric-id":1357377,"id":"Q1357377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$3C835DF2-EC34-41CC-B8F1-2F28AEC2D37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$A7E88A24-CB65-4050-9A87-4F61B5616B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46736230d88d05e5b8f61438842f638bb8c737f6","datavalue":{"value":{"entity-type":"item","numeric-id":5509674,"id":"Q5509674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$3D179A2B-6944-430F-9CD2-5CC4EB4F7A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ebd7942fbea6bf826132a8e150c856bfffc2127","datavalue":{"value":{"entity-type":"item","numeric-id":5810541,"id":"Q5810541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$29650BA7-DEC8-468C-944B-7037E8075FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2923ba93ab6aebdd9ed791f622b2fbb5d51f9aa6","datavalue":{"value":{"entity-type":"item","numeric-id":4192043,"id":"Q4192043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$D038DA79-897E-40F6-9C8D-63C877CCE801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad2df63ac76dd61c0201cd452c5901852447d98","datavalue":{"value":{"entity-type":"item","numeric-id":1102267,"id":"Q1102267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$A15D150C-9248-45E2-B799-741745147FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$DA101BF3-0BBF-4336-8C23-FC7FC286C4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$7CE5C8A5-180A-4EB8-B1FD-4C0261E4E257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73aad8c9ede7a2f65daf48989b270a982984fca","datavalue":{"value":{"entity-type":"item","numeric-id":4067097,"id":"Q4067097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$50EC39A6-47F8-423E-A3F1-2C274AF2FB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3e71c633403913bc22e19f434fa22ad549f763","datavalue":{"value":{"entity-type":"item","numeric-id":701294,"id":"Q701294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$25DD2DF4-A784-40B1-B65D-E0674C981068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bf4bd8567186102efeb10167f1f1839fdaf15c","datavalue":{"value":{"entity-type":"item","numeric-id":4329246,"id":"Q4329246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$3C9DFD42-72F2-4533-8916-AB1A42D68147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$7A96B7FF-AB43-4D9F-BF33-5F690C7FF92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0797389d565417b6d1c13ed5454a90ef6d1a7f8","datavalue":{"value":{"entity-type":"item","numeric-id":1361249,"id":"Q1361249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q701294$BE51EEA7-E982-4A1B-8F26-CBECD71CBD7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f55f612c2c85df289937e48489364ed2c9632ca2","datavalue":{"value":"10.1305/NDJFL/1022615613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q701294$F88FADF5-C837-4922-881C-69498B4F5D91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ce1260347868094585afebae903529b85ca4de4","datavalue":{"value":{"entity-type":"item","numeric-id":4329246,"id":"Q4329246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34610fee11ed5c2fe5c5d29fb4cfc94534970f2c","datavalue":{"value":{"amount":"+0.8323420286178589","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":"Q701294$BAC68406-AA23-40F6-A5FC-4F55235148E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4f81e7a7f2ecddf23a83f6408429ea49d538f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2105091,"id":"Q2105091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85d555d40f5cd5d0c0db3217732f00df6156af09","datavalue":{"value":{"amount":"+0.8270647525787354","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":"Q701294$8CFBDC3D-D25C-4250-9C05-6F6E6F9689F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c546402ab1214da4df5dd86fdaa1acfb2325b0cd","datavalue":{"value":{"entity-type":"item","numeric-id":3305558,"id":"Q3305558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb791bd6f53ef742da3bde9b68f05030cc0bb03b","datavalue":{"value":{"amount":"+0.8141636848449707","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":"Q701294$9A99223C-DCEA-4B3E-A2EE-60629C5C5858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956d4f422a96de25326af0bb03b8ebba2dc47bc1","datavalue":{"value":{"amount":"+0.8110413551330566","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":"Q701294$5F685241-CEC7-4A31-AF0E-5E5814014971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e63ec53330026f3aec5f9a9df91997f7852a17","datavalue":{"value":{"entity-type":"item","numeric-id":1896788,"id":"Q1896788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e06c3c1153d97f8e24d8891ad7d1b28718df321","datavalue":{"value":{"amount":"+0.8091344237327576","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":"Q701294$793E0AB8-FD54-4A18-93A3-B5129F57566F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:701294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:701294"}}}}}