{"entities":{"Q4440829":{"pageid":6470428,"ns":120,"title":"Item:Q4440829","lastrevid":41793040,"modified":"2025-05-08T10:02:31Z","type":"item","id":"Q4440829","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2020180"}},"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":"Q4440829$B3482E1F-9A65-4F62-A989-FBA50EDD6E0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b85458bd3f472915d46283d3409e9161a7c1a9a3","datavalue":{"value":"1034.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$287848E3-F25A-4874-95E5-DB6CD7031244","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faf035fd863b205682c8dda962765b1be375dd4","datavalue":{"value":{"entity-type":"item","numeric-id":281143,"id":"Q281143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440829$BBF35C8A-BA87-46CF-BDBD-BF7F3CB6C109","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-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":"Q4440829$39E34F5E-774F-406D-BE35-DDAE57B86976","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$49D58C06-49E2-495A-89B4-64148A5D02F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$C46E43FD-1F72-40F3-A7F5-36B5DDA4A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$689DA30D-EC4E-4B5E-9C75-9189D4A5D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$65622B80-6BDB-4A97-85E7-7CC773848548","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aca62c251dd30633c4e354547e55fa0fa2f6ef62","datavalue":{"value":"2020180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440829$8E5FB3E8-42E1-4723-B3D4-D14B94380C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d729c402ba86b0653b3a28e225fa5726cab5467","datavalue":{"value":"finite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$A5E7CDBF-5FA8-4D32-8B3E-FF360973C51B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568172eb58bc1aae6fb79632546e8f5b22a55511","datavalue":{"value":"modal proof theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$3711FA3F-2784-4BEC-B840-7BDAAFFA5F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$5D3CA9A5-456F-4401-9F16-25E524B431F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c8035cac10f9af1a18e8d6fcbe16ed68d97c9c8","datavalue":{"value":"L\u00f6b axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$2213E46B-BF87-4AF2-A52F-F233FF49C7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$B675E268-2A59-4904-BE4A-DC5C5071033F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93358a4588e9eb8de0360f7dc9dc814c25f381e8","datavalue":{"value":"acyclicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$9CF29F73-4815-41E3-ACCB-858A56CF0B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440829$91B930A6-A4F3-4C34-9D5B-AD497F661965","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":"Q4440829$74F8EDC9-16FD-47F1-BA65-A2492C67222A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa381a38d8684b9fd647f2bf3d9bb87762c847a1","datavalue":{"value":{"entity-type":"item","numeric-id":281163,"id":"Q281163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"716d12d3d20b2d3b12bcb5fdec3180fe49cb0dde","datavalue":{"value":{"amount":"+0.9573329","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":"Q4440829$AE0BC30C-F7BF-4E0C-91B5-FBF74B47D76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a51c8995db8c0d9c7111b433f42184d330dda0","datavalue":{"value":{"entity-type":"item","numeric-id":1744424,"id":"Q1744424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928994e8b2b76ce7230baa83de0220b87e7c83b4","datavalue":{"value":{"amount":"+0.9491966","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":"Q4440829$89E39161-C832-4DA9-BE86-6021090A5BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba5b0d7147ede089fe5b452f3d98f60271346200","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9119688a033851a0bd5f65506018e944fa9c03fb","datavalue":{"value":{"amount":"+0.9348453","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":"Q4440829$8AA28229-1A27-45A8-87EA-A912DC462926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597a941b3d56ebc8098883216ce0c529e8d5e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1990000,"id":"Q1990000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e49378390fd6f5398bc21862c4807e6b8e2d59","datavalue":{"value":{"amount":"+0.9230794","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":"Q4440829$6ACB4911-AB51-4D99-BF98-483EF7B04334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd62199ab8a1e6d3b338dd769068a0cf0a3d45a","datavalue":{"value":{"entity-type":"item","numeric-id":530865,"id":"Q530865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a94115696e6890fa2f2aca9322cd7f05ac627eb","datavalue":{"value":{"amount":"+0.91981053","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":"Q4440829$B9E2498A-0316-4332-BB8F-0F13DBF7A0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f336a5cede667cc284c9729d1f9b546b317272","datavalue":{"value":{"entity-type":"item","numeric-id":3540408,"id":"Q3540408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56096bed09527fdd3411dddc3ff30a54e55592c5","datavalue":{"value":{"amount":"+0.91484463","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":"Q4440829$6B8B0320-52FB-4A69-93EC-25448CE9917B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6117ce83ca7db8ab2011145e393dadffd8ac30e","datavalue":{"value":{"entity-type":"item","numeric-id":3656774,"id":"Q3656774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6372eca4e0331cde2c4014be98cbf8a9beec5cad","datavalue":{"value":{"amount":"+0.90960765","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":"Q4440829$BF8A5121-62EA-4E89-BEF9-DD971C5EDBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"accc36da34e31585b3dd82e0ad614e33578dc624","datavalue":{"value":{"entity-type":"item","numeric-id":2358703,"id":"Q2358703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d5355d87e7448dfb659283314b3fa633bf069e","datavalue":{"value":{"amount":"+0.90744007","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":"Q4440829$DD5A02D6-F46A-4134-A6CC-7588A6C0D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8a6e2855a9ce8b9796913c003b058dee1fb116","datavalue":{"value":{"entity-type":"item","numeric-id":5213655,"id":"Q5213655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e1550daff11cec3b346a9be4be37317d7802cdd","datavalue":{"value":{"amount":"+0.90445733","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":"Q4440829$F512724D-1B63-4056-ADE1-9EA3CD8CA75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4abb079d9008f6a66be199478d5e07bda28a079","datavalue":{"value":{"entity-type":"item","numeric-id":3454725,"id":"Q3454725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54a84f41587f68a7526e60225bf4fe756dffef8","datavalue":{"value":{"amount":"+0.9009894","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":"Q4440829$09A0339D-933E-46FC-908C-53ED4AD73BD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440829","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4440829"}}}}}