{"entities":{"Q1151886":{"pageid":1162635,"ns":120,"title":"Item:Q1151886","lastrevid":67087509,"modified":"2026-04-12T15:05:36Z","type":"item","id":"Q1151886","labels":{"en":{"language":"en","value":"Some kinds of modal completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3719116"}},"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":"Q1151886$5C8B3365-9DA3-4C49-A416-78C736D2FB5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5246817f79b58cccae1c1426bfdec3cf68aa97ac","datavalue":{"value":{"text":"Some kinds of modal completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1151886$FB109062-C3B9-4810-B30F-B792141D0026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa6dcfb3e9e8c760614e25d568d0d7b71bb5820e","datavalue":{"value":"0459.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151886$2040681A-2353-4D64-9532-1D940DD0A3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e1661b671d28040d89c77b0f4c9bef4a21fa4ab","datavalue":{"value":"10.1007/BF00370316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151886$4179BEE5-A335-437E-BF69-31EA751EDC12","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":"Q1151886$51D3FC6D-5BF5-434E-AF06-F1F120CC1F4A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1151886$9F5E2C3F-B546-41C9-A023-276DC53DD252","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151886$101D818E-9666-49CC-9A0D-C648C2A4B4FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43e50bc1beb9ed870f056e124908aa55ee9d10ac","datavalue":{"value":"3719116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1151886$AAFDE078-EF62-4C2F-901E-46C857674D69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a359278438a752d87173a4d930841ead44feb7","datavalue":{"value":"complete modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$057E4C8B-FA4E-4C7F-B344-A185F93B7B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$A959ECB3-E0F9-443A-865F-EEB1ABED053D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d59bb300355f04619f96a9ae5fc92fa354c1e97c","datavalue":{"value":"first-order completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$247FE7E6-98CE-432C-AA8E-A625AEF3260D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f933d7988f9ae8d7908f8b14b4c79b75809d5d","datavalue":{"value":"Henkin frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$E342E6AF-F187-4B1E-A8E6-5A3B27704C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$2D869C1E-4EAD-43B1-8AF6-1F696C2A8E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$AEC8665A-D2E6-4025-8DAE-0896CDF04423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f0da69e719eeeed5df419791554a0bfd01406e","datavalue":{"value":"ultrafilter extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$F99D9702-A4A2-4ED3-80A9-A7600901A91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9e1565b22079a576a079b2b427aa47e5959fac5","datavalue":{"value":"first- order correspondences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1151886$D572199A-7826-4605-8B06-9E12D0512E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$E1D45E0D-E2CA-40D8-9347-9D8B020F541B","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":"Q1151886$82200619-58D9-4ECB-A11F-0AE4D3D85985","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5ead8a10b548fd24aae0a6c5d7f264fcb91eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4190614,"id":"Q4190614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$79C7EA40-47DC-4437-96FF-8CCD5FA795D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d9993b6b0172a209e3442765388ebb916ac4761","datavalue":{"value":{"entity-type":"item","numeric-id":4190613,"id":"Q4190613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$BCBBEBBB-7AB0-438D-A321-C5AC3E8F80F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b78f04a769bf9d49ac8bd1c0ab56559bb3ccfe8","datavalue":{"value":{"entity-type":"item","numeric-id":5635425,"id":"Q5635425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$F364E6B8-E60B-46CE-9022-D11F452B49D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$CA0F4995-D2D6-4841-9E53-743BECAADB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$CA0F4DDE-F326-478D-B41B-8CE3C732E994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a600081f69111d4a4efd0a8b327a22f543f40a3","datavalue":{"value":{"entity-type":"item","numeric-id":4088789,"id":"Q4088789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$EFC06282-6C44-4E2D-BD1C-4694D684FEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$4D0D2199-26D4-4B06-8969-B2FBC8E5145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaaee3a935b71da0c5fd895e355092a513197bd2","datavalue":{"value":{"entity-type":"item","numeric-id":3265659,"id":"Q3265659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$C110FC4E-BEDE-42D7-82E4-FDF44A5305E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$56D5FADC-38C1-4BDF-89E2-1183723403D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c015a3eca8e4bece7aaca98ec58b9789bea38ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5575528,"id":"Q5575528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$9C42533A-5476-41CB-B2A9-93620311A9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecb223a0fa1ee0ed536222f7a455d5b4a912b42","datavalue":{"value":{"entity-type":"item","numeric-id":4063415,"id":"Q4063415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$95F7F5A8-4BCF-4A98-9E13-14DD7E290FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$300557EA-2EDE-403B-9CBB-C2B98C8E0462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$E5142D5A-2409-4885-9561-77E078B5AA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aed37bf404ae92b30e992c284e7f49a8678057a","datavalue":{"value":{"entity-type":"item","numeric-id":4077979,"id":"Q4077979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1151886$70A81E56-BF84-46A4-A48E-4673F2B1FCB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some kinds of modal completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_kinds_of_modal_completeness"}}}}}