{"entities":{"Q3401692":{"pageid":3412395,"ns":120,"title":"Item:Q3401692","lastrevid":50893241,"modified":"2026-01-15T15:11:07Z","type":"item","id":"Q3401692","labels":{"en":{"language":"en","value":"Niceness theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5665108"}},"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":"Q3401692$E008507D-2A60-4F2B-8776-0A7F2A2D0EBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23c88ca1c1ab3ead8efb9c65c94cdbd0ee420016","datavalue":{"value":{"text":"Niceness Theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3401692$BB9D766E-1517-4A4F-948A-EF359084ACC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9374a2fc5ba4549020ebb213bd5361b39c2bbd1c","datavalue":{"value":"1190.00001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$0B15A8AF-470B-4040-8057-70FC2139427F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4111ae2c86c33d1adb94813f921ff56fd67540e9","datavalue":{"value":"10.1007/978-3-642-00873-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$522E8540-F17D-4106-8419-820A5909B35C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a75e1d9310534504902caa523c520d5b651e06ae","datavalue":{"value":{"entity-type":"item","numeric-id":217256,"id":"Q217256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401692$C185E64F-2FF1-4A0B-9F44-A5D46DD5CD83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6592e198abe81bda2f4b2847276901937c02e66f","datavalue":{"value":{"entity-type":"item","numeric-id":3401687,"id":"Q3401687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3401692$8839654B-BD34-4BA6-8F4B-FE3155193D1D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be8b4990963e0aa9daa58d550c816078a3fef6a","datavalue":{"value":{"time":"+2010-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3401692$C6165B38-7D1C-4900-9FE6-AC53F6CD25B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4bd060761544b1cc1e1a5443f31290ce4c99e00","datavalue":{"value":"00A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$586B6007-99CD-4A51-BB0D-1F1801EBBF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a486b21cc44c102327b9c62d661e241ca7f63fa1","datavalue":{"value":"00-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$43ED9783-DD67-45BC-B71A-3F716E50DC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4fe5939a453f4aaa455013a55b7fe6097c5eb7f","datavalue":{"value":"18-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$DF0C1867-07F7-4279-AE7D-39E6F02AF55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"062dcfc7af98bb802f3baad4f2468433d739f908","datavalue":{"value":"19-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$CD39E883-94B2-4ACE-BE14-BF300F361828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad0b16e1125698a4cbd0b924b08652f9816eac5d","datavalue":{"value":"55-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$CED39E77-BA95-4900-84EA-0C8186655EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ba816990f950a96a49ef3b02a119f7cc6f72e2f","datavalue":{"value":"14L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$E6F92327-FB03-4CA0-AF63-F281B84C2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46d228144203299b76ed9fda9973fb3a3d18987c","datavalue":{"value":"16T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$3230F94A-5484-4CF9-B839-5A1ABD38D187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1faed641e69c18bb675d0686a9afa79c982b85e9","datavalue":{"value":"16T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$B13CB1AA-9F55-403D-977C-5A1B92B592E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dbfc84327ba44e63194f9d7a5e93f5b93873c6c","datavalue":{"value":"5665108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$346832A1-4E01-4597-AF1D-DD8B3F1C66A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626fd04e9d81afe190af64aaa7ea284386612bc7","datavalue":{"value":"freeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$2DE0E1E1-9323-41A1-A08F-6BFA5C9E1800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df76487ce23380e9d4695a3f955634a6bfdb6287","datavalue":{"value":"extra structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$9C1C2E48-E0ED-4E4F-B1EB-6D36B7A48CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6039a247bda0766a3d8c522bc4983d0e5c2f21dd","datavalue":{"value":"large object","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$5F15B759-3724-44A8-92DC-C5D523F31CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4dcd12dc3f4eac107d62b1e316b35f71885145f","datavalue":{"value":"regular counterexample","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$56C48B90-78DB-46F9-8C9C-1E19045B7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77fd4328296f2fcabac692b0a742ecbfb715c16","datavalue":{"value":"Hopf algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$73B71403-BE1B-4784-B0D6-73C1AE7BD2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc8d88e2d06b6afc5ac40563f0fc4c61edf1e0e7","datavalue":{"value":"compatibility of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3401692$8C7CE981-36ED-4D46-A593-EEC240A5111D","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":"Q3401692$AF32A6AC-6C53-4900-B81D-29B587D1376E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a90061a0824d3a359d6ca2ab8bf4f1ba549872","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00873-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3401692$E1BB590A-0AA5-4C92-AF71-C2B8C67D9DB8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de8723d8c2fe9e297fc5236e51cf8ec51186c66e","datavalue":{"value":"W3037462961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3401692$CB8AD256-EE60-4C3B-8BC7-42B41F56D65F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646c8610999edb7abd1cdcb26a2f30eb026094c8","datavalue":{"value":{"entity-type":"item","numeric-id":3656248,"id":"Q3656248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1db6c36d1e3d70936d480892da83bf52ed91853","datavalue":{"value":{"amount":"+0.8331485986709595","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":"Q3401692$C9713139-241A-490E-B1F7-A6A5DD8961EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d193463e9c0463421592bd0aea11d5ea19d1a86a","datavalue":{"value":{"entity-type":"item","numeric-id":3000795,"id":"Q3000795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"805fff6866304cb7f13c8db295cfec729dad8bfe","datavalue":{"value":{"amount":"+0.6760499477386475","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":"Q3401692$2FB158D3-859A-4CC9-A233-6D5C656E11B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697d94474fceb5cc6cae0a1287b9982e1bb4c266","datavalue":{"value":{"entity-type":"item","numeric-id":5702625,"id":"Q5702625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dddaea3f146bf41a9246a53c9a0a836f9eba2564","datavalue":{"value":{"amount":"+0.6522735357284546","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":"Q3401692$96DAADCE-9C2D-459F-9383-6221923B06CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5a18b5fec2b094bcbad3713112e6c88e49b918","datavalue":{"value":{"entity-type":"item","numeric-id":3838272,"id":"Q3838272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3ac6e2a61a450ead83e2a20e66ffe39ea92204","datavalue":{"value":{"amount":"+0.6390442848205566","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":"Q3401692$2B4761AB-A907-47DE-B983-05667525FBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c515d5aedb703f3e481cf589403f729120bea7e","datavalue":{"value":{"entity-type":"item","numeric-id":2989881,"id":"Q2989881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cd7abb9888bc7eb0ea7ffef8d7028f42154c36b","datavalue":{"value":{"amount":"+0.6335218548774719","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":"Q3401692$6256F4B2-47D7-40AE-8AA6-1B2F7AEC8610","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3401692","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3401692"}}}}}