{"entities":{"Q4724632":{"pageid":6754209,"ns":120,"title":"Item:Q4724632","lastrevid":49050061,"modified":"2026-01-06T12:51:37Z","type":"item","id":"Q4724632","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3997792"}},"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":"Q4724632$EEF9853A-CB9D-42E4-8319-C43E081B61CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18384d0360e704b1cb4c791c48d34508f57d44ea","datavalue":{"value":"0616.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724632$F2C9B2F9-C8CD-4C8F-8D98-688C5235A6F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q4724632$0067E430-912F-4771-9EA7-1BB56A08D138","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724632$39DB0C01-1E32-45CD-82B7-A75FEB0D1423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724632$2A5C69ED-8E5D-4EA0-837D-7CA52E124CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724632$486CAEB2-E539-40E0-9D90-445195851C0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77d775607603ea142990d014837814d2b31e11e6","datavalue":{"value":"3997792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4724632$3ABF3969-002F-4A32-818A-FC9DC2FB025F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f556bfb3bb1fd5adec0361800a8b37bb88196398","datavalue":{"value":"propositional normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724632$F5F1E4F7-4E14-4E55-BF68-53C22A2482F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02561b1dc376d7d1d949abf6dabe6653291067d2","datavalue":{"value":"finitely generated lambda-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724632$5D1762F1-69DD-4355-8D81-8449428C27CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5b7b7905c4ac5b82051c9e4a998ab1c057d0f4","datavalue":{"value":"free lambda-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4724632$D943CBB3-9736-48DE-90F3-821DE2652772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4724632$AC504102-513E-47DA-A919-6C4C3C263634","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":"Q4724632$F9ADE401-C713-4723-876B-94C285438F0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4367fcdd8be3dc9f1d30feb248c4d6293f9908cc","datavalue":{"value":{"entity-type":"item","numeric-id":1092029,"id":"Q1092029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938d35725552f12ecb6a84bc98bb8a810d396c16","datavalue":{"value":{"amount":"+0.8063299059867859","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":"Q4724632$64094FBD-B3AD-4E14-B506-E6578E01BCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10203ac777ec32d0d37e0d3ebddd23a38a813118","datavalue":{"value":{"entity-type":"item","numeric-id":1076014,"id":"Q1076014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcc9a4d1293f9ecbd2fb9c94b52ab390cf3b1370","datavalue":{"value":{"amount":"+0.7828571200370789","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":"Q4724632$83EFF789-BAA6-45CE-A9DB-4D7317E07F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bedbd5c9c035246153682ebe858d04ef00a1541d","datavalue":{"value":{"entity-type":"item","numeric-id":3599151,"id":"Q3599151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a1e3714f0841b9a5e5f33880b3aa200fea2bb05","datavalue":{"value":{"amount":"+0.7812269330024719","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":"Q4724632$31299FB2-12A0-4982-8629-630FCFE52008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5cd07706262dcb1f67c7563cca109a1116a8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1583488,"id":"Q1583488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ba6d3901dc0a4919ad7b00c605e1a21569191c","datavalue":{"value":{"amount":"+0.775000810623169","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":"Q4724632$5C43FCE2-BDB9-460C-A437-F84B55013978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62a15071138a3b4fda96f6bd56150be5e8b43b87","datavalue":{"value":{"entity-type":"item","numeric-id":3612489,"id":"Q3612489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02400f4c96e914fee3b2a24dacaa08c480167d08","datavalue":{"value":{"amount":"+0.7748347520828247","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":"Q4724632$B371B218-F773-43A6-AAA9-AF94FCE49AC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4724632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4724632"}}}}}