{"entities":{"Q6148010":{"pageid":13282317,"ns":120,"title":"Item:Q6148010","lastrevid":102418310,"modified":"2026-06-06T04:24:46Z","type":"item","id":"Q6148010","labels":{"en":{"language":"en","value":"Cardinality reduction theorem for logics QHC and QH4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786476"}},"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":"Q6148010$1EFFA3B4-4D19-4DBE-B9E2-973FDD1197A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"803924f4fca03379913d0478e114eb4102b3d40f","datavalue":{"value":{"text":"Cardinality reduction theorem for logics QHC and QH4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6148010$4D4FD89F-5E1C-4F1F-9A0C-DE0AD5902156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e817fc40afd5987fd0be2e13411b1e9fe7f989","datavalue":{"value":{"entity-type":"item","numeric-id":2688114,"id":"Q2688114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$437C199E-27DB-42F5-8C1C-7BDC0E3EEB81","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$5A514855-4750-4008-B7D0-129DCC8BB793","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1803be4dcfbfdb07a022d0aa018505d9d97abab","datavalue":{"value":{"time":"+2024-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6148010$C7C643E7-A769-4138-B3C4-ADAF73B4EABE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148010$40092B1E-D4FD-42E2-8CC2-4060F029E8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9e7ed65eaa37ef307946ffe104383f51694c61b","datavalue":{"value":"20-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148010$11600E14-1474-471B-8A60-ECCB59E4CDC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bfb141fee512b2b73e6b33070e130ae91071f2f","datavalue":{"value":"7786476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148010$70F89C9A-A27B-4C5F-BEED-374253F96E71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148010$9B907239-0A86-4F50-BFB1-6AF3FA95EF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148010$6B4C99E1-8406-4EDC-A0E1-1B8B142EE112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6148010$F5C0B0B3-8698-4D30-9F48-D2534B80548A","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":"Q6148010$9665F3C3-FAA1-42DF-B567-BCD24296AD2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f10a2b22321962f8c2f1c4ddd1a6cf02923fd46b","datavalue":{"value":"https://doi.org/10.1007/s10469-023-09715-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q6148010$82986618-764F-4ECA-8AA1-F7B14AFEC019","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"769ba84bd1b05502e344e1e9cff746c0f52239bb","datavalue":{"value":"W4388498400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148010$08C86C9A-2C19-4800-814F-0B582448AF59","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf37a67188bb478aaca8d5a295c49a3f0529c426","datavalue":{"value":{"entity-type":"item","numeric-id":766956,"id":"Q766956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$DFA9643C-FAFC-4083-A3D9-46D54A3DBE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$CDAE3B6A-DCDE-4EEB-80DD-5CF596AB6EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$05B5FC65-0B6A-4960-BAE8-790B6279286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$8363EF47-A563-410C-A3FF-D93C62EC4400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$BB1E814E-7652-42C7-A993-31BF8C4D662D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5769bca9b64b9ebbd057c25f979ce30ac64d3594","datavalue":{"value":{"entity-type":"item","numeric-id":4023115,"id":"Q4023115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$B77C6A11-8422-4ED8-B53B-69C48C4F80BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$B2E87447-06E4-4253-883A-AD0AF15B9117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc402bbc51bd315bef710e420652177c7efecbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4774021,"id":"Q4774021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$DC333334-A3C0-4BAB-B0A4-D2719EBA325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$E793180C-60D1-4C17-9A51-4D50C396EBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf5861cb5aebaa788c5507ae12c6f29da39e5a7f","datavalue":{"value":{"entity-type":"item","numeric-id":392298,"id":"Q392298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$1E13137D-A08A-4043-B1E0-B57098CC5245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c87dd90803fbdd1d68a6a0b0bde26c985815e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5741614,"id":"Q5741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$4051892F-C42F-4A3D-B5A1-7804F01FFFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f06ff2ca26ad0d1079e530138e7b3e19da16e1","datavalue":{"value":{"entity-type":"item","numeric-id":4385435,"id":"Q4385435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$E99D2E9F-B4C0-41CE-AA5F-DAEFDFE63050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd39db358b5575d273bdd3138ac3ac7211a996a","datavalue":{"value":{"entity-type":"item","numeric-id":4385438,"id":"Q4385438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$3B5C8FF6-9793-401A-BA29-894061341023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb5430564e11943bd063024a46d08c198d08184","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$64E523E6-8C88-4E59-93AD-D06F9A11652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a915b5a1214febbd17816c6669cea8d266e165","datavalue":{"value":{"entity-type":"item","numeric-id":874748,"id":"Q874748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$A944FBE6-EDB1-4A4E-A578-46DC54C870C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ae8a458343882b967b720419de098c62f9e8af","datavalue":{"value":{"entity-type":"item","numeric-id":2987047,"id":"Q2987047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$EA7B1382-3DCA-48A6-8EE0-5CC951F56ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9dc20c74787e826017020417d0a9b989b7b863","datavalue":{"value":{"entity-type":"item","numeric-id":6178325,"id":"Q6178325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$BEDA5AAF-F732-45CE-A969-ABD2726AD7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219172a5a05cde5e3e3261d771662a8b15b69b64","datavalue":{"value":{"entity-type":"item","numeric-id":3929724,"id":"Q3929724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$1FA3D799-8B65-46B7-ACB2-964B5C18378F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae9371c4a516a76d0432a05098636fb7c7b3c91","datavalue":{"value":{"entity-type":"item","numeric-id":3103978,"id":"Q3103978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$38E4C542-FF1E-4748-B0F1-00F2F6CD6004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cddc8aeb3b3e5ba305f9fcf5846cb516ed0222","datavalue":{"value":{"entity-type":"item","numeric-id":3880841,"id":"Q3880841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$D9B7F11F-FCC8-4934-9EEC-B07D638EE7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8bb526784b7bc0517d99805eff98b4a5f58f8ee","datavalue":{"value":{"entity-type":"item","numeric-id":1368378,"id":"Q1368378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$5F437C14-94E5-4340-9793-B1C0603690E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b59dd2739c700cc12e6cc1ef45859878ecccc","datavalue":{"value":{"entity-type":"item","numeric-id":2746758,"id":"Q2746758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$78EB90C5-4EFD-41D8-AAC9-AC880EAD386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1649feb88c06769541183b5270c2d2eb27c5df","datavalue":{"value":{"entity-type":"item","numeric-id":3304397,"id":"Q3304397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$172AC727-7039-45A4-B43F-35BBF9798BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609d3bf02c9743ef4d7563167cc84f65e21bbd2b","datavalue":{"value":{"entity-type":"item","numeric-id":2688115,"id":"Q2688115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$024F2A53-6217-4E4E-95A7-3D2717891A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$352F2461-C6FB-4566-8B3E-EA6B4A0203BE","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":"Q6148010$868F1729-BC96-4BB7-84B1-287EFBF9A452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3a0b843affb2654c232a2d6f90ae8b669dd93e","datavalue":{"value":{"entity-type":"item","numeric-id":4789048,"id":"Q4789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$6A45D249-36F0-4914-A817-E553681DA6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6148010$DF627C47-D4D6-4BE6-8885-FC584E7F2254","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba3f5bd46d2f5ba44dd315485a1a3b8c54399559","datavalue":{"value":"10.1007/S10469-023-09715-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6148010$CB665F86-AA0D-4812-80D8-7088662E1864","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cardinality reduction theorem for logics QHC and QH4","badges":[]}}}}}