{"entities":{"Q4718441":{"pageid":6748018,"ns":120,"title":"Item:Q4718441","lastrevid":46446921,"modified":"2025-12-24T19:33:37Z","type":"item","id":"Q4718441","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 954083"}},"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":"Q4718441$13A4D4E4-B7B5-4A1C-9820-4E72647E3A64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0d318116d0cbf0a10a5877363d9996759ccb7a8","datavalue":{"value":"0877.00001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$A85A0440-593B-4274-BE1B-9960978198C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f71121768325a72762319e0e94d908111c2137","datavalue":{"value":{"entity-type":"item","numeric-id":1086573,"id":"Q1086573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718441$74BC20C7-428F-43B3-837D-8E94CE517346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb68f105c617170d31164f5bacc189cc7a3e711d","datavalue":{"value":{"entity-type":"item","numeric-id":791822,"id":"Q791822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718441$6AA72808-3219-4901-A10B-B19BC4EC11D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506e87fc86252a2bde5b75d9d665c6e1091336d4","datavalue":{"value":{"time":"+1996-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4718441$A6CCED25-CBDE-48E3-82C0-D09CBE4F9107","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4bd060761544b1cc1e1a5443f31290ce4c99e00","datavalue":{"value":"00A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$E092E9FB-2620-44B9-A605-6979AB027889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$1FF01AD7-CFB9-4BBB-995B-4AAF3CEAAAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"27727d327b282ad28725723686cab7c686c1e7cc","datavalue":{"value":"05-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$0AA21174-F0CD-4BF3-AAF5-EA6BE8515893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3d39b5ea63b750240d68675baa425de3a48752c8","datavalue":{"value":"06-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$C5468B48-2419-4A77-A05A-1B2FB3D5305B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$59CA3E46-63C1-4437-8E8C-44BE89C56D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14c69d0a56f194af20a35dfb72729f92610868ec","datavalue":{"value":"11-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$FA8EE3FA-00E3-4E4E-8FB9-272A40785660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$E5FC1DAE-0DA9-4624-9593-4DE23E019B21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f58cdeff845e4361af2f99d648a3f83dc2affa9","datavalue":{"value":"954083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4718441$F9AD37DC-C478-46D3-8E07-58F1E752CE1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81279f4de853e5137eac09efd7b745dd0d43eb47","datavalue":{"value":"interactive SET language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$4EC675BA-4B73-4123-8E0D-B0248A1CFFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b09386004529bb01e89a60bd36e0d1a6d865ee1","datavalue":{"value":"textbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$DB3FA889-18A6-4934-BC1F-DB845F6EBD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40cd831f0edfd206625b06ee83ccd05bacbcf0b","datavalue":{"value":"discrete mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$07835AD2-9D0C-4F99-AD00-6DD0381CE521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c61e71a57bdcd138543be9d3804b83fe86208c","datavalue":{"value":"integer numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$FE87316C-E104-4685-82F9-A44DDFD6212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$39ED08C6-5BD5-4A72-A23E-2E3953B8A101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$85947C95-869E-470D-AE02-ADE639C1C5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f834dd5db777b15df6ff8579f5e8905cc4295a4","datavalue":{"value":"tuples","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$BD0FF1A5-6C00-4CF9-BD1A-7870BBBEBD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$B8D1CDC5-310D-43E3-92F3-92AC5DB898ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$1154DCC6-FE5D-453A-86FA-60D5B53EFD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e2c5cdbb9bf737c4fa7ac78971f831677d8a1d","datavalue":{"value":"graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$6A308225-19C9-409A-A5B7-40ACB04E12B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9452b3dbdfc75b899bfdf31335a5a05fb55504ba","datavalue":{"value":"functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$25662285-E5D3-412F-BB72-B5136769A1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$74280EDD-C3BF-4199-B77E-3EC4EA5747F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bbd3ab7bf1fbafed768194a39eff6e0454fe108","datavalue":{"value":"partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$B5D63565-FCC6-4849-B85C-02D72624A803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2043507328e1060eab2dde92c37008b41e2208ad","datavalue":{"value":"infinite sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$034148A2-7D55-498D-8E45-053ABC9CEFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82954dce7ca70ddaa28743ae7cc95b6fbef91654","datavalue":{"value":"programming language ISETL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4718441$B23C795B-0E73-4B1A-AE2A-0E1EEAE8ED57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b195f8786ad3db7801e31f115c4ab83efaf3fb3","datavalue":{"value":{"entity-type":"item","numeric-id":14110,"id":"Q14110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4718441$CAE588C2-1228-4405-8027-E37E79B6AA36","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":"Q4718441$4F20E087-68C4-4901-AC9C-593E0448F5C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40928d15f4641c4853e5a71f435acf59f2416a97","datavalue":{"value":{"entity-type":"item","numeric-id":4692624,"id":"Q4692624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebbe9033729ee85260959b7d1d5423d77b92b4ef","datavalue":{"value":{"amount":"+0.8834495544433594","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":"Q4718441$C9C5A59E-850E-4480-A5B0-BA9D36751746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5fda02acf3ba709b34bf33fd3de4effda52d29","datavalue":{"value":{"entity-type":"item","numeric-id":4492682,"id":"Q4492682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceadbf3e3514340d692ed41ca34fc9c2f8b4c146","datavalue":{"value":{"amount":"+0.8481909036636353","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":"Q4718441$D9C9369F-C467-459B-BA90-21FD86F63E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb463175b5dbf9e8b5ee552b661f83ee219a03d3","datavalue":{"value":{"entity-type":"item","numeric-id":4331792,"id":"Q4331792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"930e02fa5d66906edd1d8496ad96dea59fb02503","datavalue":{"value":{"amount":"+0.839900016784668","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":"Q4718441$DFF82B1C-7339-48FE-BA76-79F49DC8DFC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4718441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4718441"}}}}}