{"entities":{"Q6094141":{"pageid":13228448,"ns":120,"title":"Item:Q6094141","lastrevid":98883554,"modified":"2026-06-05T18:43:05Z","type":"item","id":"Q6094141","labels":{"en":{"language":"en","value":"On the algebraization of Henkin\u2010type second\u2010order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7736881"}},"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":"Q6094141$DC236089-C1C6-49ED-B238-33B046B765F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b949e0052d7923a1fcdd16ae90ca6a040e10050e","datavalue":{"value":{"text":"On the algebraization of Henkin\u2010type second\u2010order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6094141$AFE23B87-5512-4430-8D11-1D80853EFC55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc2f4582e5ed698546db5ce7e8665bcc267f8836","datavalue":{"value":"1521.03251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$4AD2BB20-AB48-4EB1-8CA2-7D2616DDCEE6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7e19de44cf8138c3a0f19770890f52ff253c21","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$3FDED11A-9C7D-4184-9624-8DDAD02FE5B1","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":"Q6094141$AE64CEA6-14D8-4867-804A-6343018DF67D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b10b641c55248ed64dbd4f5995b6de282ea97fb","datavalue":{"value":{"time":"+2023-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6094141$92778659-745F-4DE9-9D52-C3317F99C1F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$CE8F4A89-A103-491E-ADB8-8743277E08DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$E2106891-5808-4E3F-A48C-67DF2C2EB7A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8101b62529d5532a2d853ac16766789509f2f19","datavalue":{"value":"7736881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$2981767D-2AE5-46CC-B564-590A22463A73","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":"Q6094141$12E9E6B9-4826-4A41-9D78-9B3744E6016F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8514f25ccaf22fd30c7710a6e22370bb105d388","datavalue":{"value":"https://doi.org/10.1002/malq.202100057","type":"string"},"datatype":"url"},"type":"statement","id":"Q6094141$8C64FF24-2A42-41DB-9515-0C5A434E0A67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13ca751937c870bdf8fdc7dbf28bf1c0e54b45bb","datavalue":{"value":"W4210430016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$6452DBB4-CBB2-4C70-8480-C4BEF869E332","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0327b7311e860e33319e4be403f8a16b82946","datavalue":{"value":{"entity-type":"item","numeric-id":3419666,"id":"Q3419666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$B9BD340D-04B5-4161-80D6-566D28A94B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13fc2176aab15cf5f6ab24c8db07ba8f1d69c8e","datavalue":{"value":{"entity-type":"item","numeric-id":691561,"id":"Q691561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$3ED4D6B3-DBBE-43CE-9318-80F36A050D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54724e6618538986f94bda2c0a18bed26e372034","datavalue":{"value":{"entity-type":"item","numeric-id":3454820,"id":"Q3454820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$E42095B6-9861-4E41-9028-E7815C4142A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60078b5d1b8c211aabf64ef62132838ac6ebfdc","datavalue":{"value":{"entity-type":"item","numeric-id":4789455,"id":"Q4789455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$2A9C4309-F19B-428F-838A-9007BB35B756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889750e6b63c62516f108fd0d35f770cecc8f256","datavalue":{"value":{"entity-type":"item","numeric-id":1264579,"id":"Q1264579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$8CF29550-C260-4320-88BD-F962F6196B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a0763bf29b531ac8aaa032de889166982dbd64","datavalue":{"value":{"entity-type":"item","numeric-id":1242913,"id":"Q1242913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$687B3196-6548-4DA2-8D89-36A706A29236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a156d0e955d918a0cf7c3031785e80a3fc845ba","datavalue":{"value":{"entity-type":"item","numeric-id":3077955,"id":"Q3077955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$12768271-4172-47F4-AF75-CE9D4859F2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$AA061188-70C1-43ED-9F09-9CD8C412A8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f232af84f8e5b974aaf4e61c5538b59e95f2e2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3116577,"id":"Q3116577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$A9A6278A-70CC-494C-8A3F-ADA4305C4BE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e280948a947670ca1ae457969d6be75be328fd01","datavalue":{"value":{"entity-type":"item","numeric-id":2793902,"id":"Q2793902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$07A23D41-673E-4E3E-9C5F-8C3A2EAD9705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7bb0060266411297ebde1a95c8f88f834c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":4218534,"id":"Q4218534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$38BE251B-BC8B-4C83-AC14-12B0BC545923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$C6FD569D-189A-4DDB-9C7C-0FBEFAFF3875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$9732058A-CA12-438B-8E31-3F6CB62DBDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7785300b94677a7e71de14690c2e8b84e763c062","datavalue":{"value":{"entity-type":"item","numeric-id":3288998,"id":"Q3288998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$57ED6E94-DE83-4DF8-9A6B-7FBD18CF3921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$2C4A1B3E-C450-4CE5-96AB-DED9A12270B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$C36EA720-E0EF-42CF-A588-E97D6CC8A9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad8381c9afec054bebfd99a42595053ed0fec7b6","datavalue":{"value":{"entity-type":"item","numeric-id":1005971,"id":"Q1005971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$534029E1-5435-4C33-84F1-9702060BED3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7464923d81853deaa10ebf504925145345ff75","datavalue":{"value":{"entity-type":"item","numeric-id":4870980,"id":"Q4870980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$631C8700-EF5D-4EE3-9AEF-57067E6390FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"558c8c9fda387364db8db5d8fdd5fb468d02bdc6","datavalue":{"value":{"entity-type":"item","numeric-id":4508267,"id":"Q4508267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$06A593EF-1883-4A4B-A763-9E63C5C56203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b38b5112d5f653bddb02662af5d746f460335b","datavalue":{"value":{"entity-type":"item","numeric-id":4328795,"id":"Q4328795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$105C1CC8-014B-44D8-A054-0ED359124FFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8292b755a81fa854e1aef0abd8500e35faa227b9","datavalue":{"value":"10.1002/MALQ.202100057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6094141$CF8C2BE7-7041-4742-A9C2-161AC2B40B21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b326950c0d2170347479f5eb72b0da66080e99","datavalue":{"value":{"entity-type":"item","numeric-id":5251374,"id":"Q5251374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c49aed8aa2c39798b58af4419c7b0bf6551dd17a","datavalue":{"value":{"amount":"+0.7267223596572876","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":"Q6094141$43A4A212-B8A0-4F24-A9F5-9E83B84E7D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77dd4e1e366996649b817abd6dff87b4289634d","datavalue":{"value":{"entity-type":"item","numeric-id":4273476,"id":"Q4273476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44a177d2b0a2d411e2234283b5c1bc875c60b96","datavalue":{"value":{"amount":"+0.711956799030304","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":"Q6094141$0FC62BE6-A190-46BB-A2CE-F2F495488451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f97f3fa462d72c686b4fd7737c0ee552ee92a7e","datavalue":{"value":{"entity-type":"item","numeric-id":4532188,"id":"Q4532188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cbf0146c2ce6b30e22a8c29ff6226283c7d600c","datavalue":{"value":{"amount":"+0.7113618850708008","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":"Q6094141$E44D810B-F766-4E04-8126-A931ACC37939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e31d3326ebac447da99ce5d668322f7bf68c174","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3411e67160b785816f12b5ecacb7133529931f91","datavalue":{"value":{"amount":"+0.7070646286010742","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":"Q6094141$C6F942D7-DA84-4B71-BD86-FB2641763376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc40762a8e7c6f2118a3bdd835b4aafcb44a3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3653147,"id":"Q3653147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3411e67160b785816f12b5ecacb7133529931f91","datavalue":{"value":{"amount":"+0.7070646286010742","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":"Q6094141$E3B8B827-86E4-47F9-BFD0-183C1EBDF80D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6094141$5F89EFFA-15F7-4FC1-8F47-ADB865803008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the algebraization of Henkin\u2010type second\u2010order logic","badges":[]}}}}}