{"entities":{"Q4499300":{"pageid":6528893,"ns":120,"title":"Item:Q4499300","lastrevid":41262321,"modified":"2025-04-26T03:43:31Z","type":"item","id":"Q4499300","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1497869"}},"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":"Q4499300$2688A76E-87F9-464E-A318-3035E2C7D9CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f090a07bb6156cf81c30911af074f6160b9c2f2","datavalue":{"value":"0963.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499300$42B13788-BEB2-46CE-8E34-DC34165AF3C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1319b5388b96cf042211c4eb6eb3b2b400d70e7f","datavalue":{"value":{"time":"+2001-03-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":"Q4499300$C156C9FB-2C0B-48A1-8803-192A912DCC3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499300$10B85EE1-573E-4AE2-B976-8D27397B47A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499300$A810F068-02D5-40B1-988E-64715F4A80C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499300$97586F2F-FE08-4B95-9844-BE8B44861F5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b3a2ab91f41dc2f6b02679c15eb7866782738cc","datavalue":{"value":"1497869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4499300$7F6781FC-6E8B-4669-BD5B-E552D956874E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c875ed50027fca39fa952fe3217c224ba92b55b","datavalue":{"value":"recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499300$E4682079-0901-4986-B26F-DF28E1B98D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f465f855fac3325da0b7b4fb26925467faf900","datavalue":{"value":"coinduction theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499300$F5B0F687-6CF2-4E2D-A715-BE8A5FF77A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22167e782f044b316c9d4f94015ec0e1faab8de4","datavalue":{"value":"final coalgebras of endofunctors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499300$BF58C67E-4A5A-4531-91AA-CB8953D79917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62c88042070c2401af9358433737ea274bbc1eee","datavalue":{"value":"categories of partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4499300$B1BEF0A4-06A3-4A44-809B-59E253A4A00F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4499300$9AA7DEDC-1016-4B8B-8798-1B1157A3F30A","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":"Q4499300$FBF933C4-4E27-4F39-ADD6-9A9331244C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d960f35efe3db0a0acdb283e2f4a208ecf2cd792","datavalue":{"value":{"entity-type":"item","numeric-id":2986838,"id":"Q2986838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77db78d0f8317a9c5c4852fbb0b2dddafddee74e","datavalue":{"value":{"amount":"+0.88773704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$F756A969-D7F0-4968-A55B-A5B55C96EC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c843f37bf1149130399feda41a62effd30beec5","datavalue":{"value":{"entity-type":"item","numeric-id":1687535,"id":"Q1687535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92eaaa4c175a5a5a6e9f19891496aafa7ec63493","datavalue":{"value":{"amount":"+0.88508016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$04B2F356-A88B-4A05-B42D-04EFBF4424C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4047e93facb6cf789ede2722c77057cbfcfff2c","datavalue":{"value":{"entity-type":"item","numeric-id":5216302,"id":"Q5216302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd72b9e56e4c95a0119de37ba36798910464b8d7","datavalue":{"value":{"amount":"+0.87729585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$1FBA6AD2-E48C-402E-BFAF-A23523354A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9958f89b062938f7f37371edf00e9ff80ddce2c5","datavalue":{"value":{"entity-type":"item","numeric-id":4499309,"id":"Q4499309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61eacc7dc4f1b82f9249b93fd798871925fcdcce","datavalue":{"value":{"amount":"+0.876909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$10E1C8C7-4FAF-4389-B9BE-FDAB4F22F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0b3ac1db222a2ec6e13c17aa149bb2689d7dfe","datavalue":{"value":{"entity-type":"item","numeric-id":1607224,"id":"Q1607224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044ee75520372df6a0d4ccf35032236dbd865c27","datavalue":{"value":{"amount":"+0.87439495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$D821FA31-9A5B-4738-A4E1-08FE4E46E022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ccd535c27c82266e22755dc2aa79640d18f3e7","datavalue":{"value":{"entity-type":"item","numeric-id":2229237,"id":"Q2229237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b8036942c626b22564ee37a84ac1bb4c0fddc4","datavalue":{"value":{"amount":"+0.87317216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$2FE7F4FA-84EC-4966-A754-F6BF0F6D1FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3a7c6a959c5a472ec28196942b5d8779631b1f","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ee0919abef7abd7c03320c070992b48fd688a4","datavalue":{"value":{"amount":"+0.8719562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$34467504-7AE7-44C1-AF3D-1AAF049007BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a022293e98fb5f60bd0f397b7317e3c04813b57","datavalue":{"value":{"entity-type":"item","numeric-id":3837984,"id":"Q3837984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ee0919abef7abd7c03320c070992b48fd688a4","datavalue":{"value":{"amount":"+0.8719562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$B5C86901-7A60-476D-BC7E-1BA62D6EB90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f485f28ff130d0619a6bdb102f4132d10b7fad","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd90a4a9da6b171c1aaf7003f73375cb5d95a59","datavalue":{"value":{"amount":"+0.8718011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4499300$7DE8FCB8-9B00-4759-AB4E-F81DD61E9CA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4499300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4499300"}}}}}