{"entities":{"Q4332417":{"pageid":6362017,"ns":120,"title":"Item:Q4332417","lastrevid":40709181,"modified":"2025-04-04T10:39:41Z","type":"item","id":"Q4332417","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 978241"}},"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":"Q4332417$30BA43AE-21B5-4AD6-80DC-2EDAAF96D87F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21592063bc9de03dd80f9b976ebd342eeb42cb98","datavalue":{"value":"0863.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332417$8118F40F-DAC3-4BAD-8989-C58827089E9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4332417$F2D256B5-29EE-453B-9EB8-0C6DD4014B15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0fc4594ea897ac3db33d9c10dd7a3d8572fd3a75","datavalue":{"value":{"time":"+1997-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4332417$B94205B3-2744-49B7-B56A-728B229C6EE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332417$7A83A014-FBAD-46E0-A401-3E82CAB9DBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332417$5611A11D-A518-4964-BDEC-C547A424741F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6bca6bc620764d585bd3fbebbae81e6583e578","datavalue":{"value":"978241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4332417$79B66AEF-5014-436E-AE06-84F27D31E511","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4ee74abe230c665f4639c1661b24afdd6a9ec3","datavalue":{"value":"modal Herbrand theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332417$3E511C24-D459-474E-BBBD-1477DB241BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4332417$01B59A66-7E57-4806-B94E-D637ECB07349","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":"Q4332417$450B5DFE-F168-483A-A1C7-49309B7E3C1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f224617a51a1d4e4d508c109efa999bab49997","datavalue":{"value":{"entity-type":"item","numeric-id":4942001,"id":"Q4942001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3fab3d2c2d368a9b10e7570bf4ec24c62d456c","datavalue":{"value":{"amount":"+0.9447587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$C8E595A2-5378-4572-9282-C9CC6CC8A889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f999aa51a14a76c278d3aa7291ee8ddea4148e2","datavalue":{"value":{"entity-type":"item","numeric-id":3717022,"id":"Q3717022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3896a4d37533104498342fe2b0d61051f1adaf","datavalue":{"value":{"amount":"+0.8925871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$39D9ABF2-2CD2-4833-B37C-F4B8B10B7968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e592ef13034ebff461a77cc85aaab478125f6694","datavalue":{"value":{"entity-type":"item","numeric-id":4291028,"id":"Q4291028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f087072a84af8c2f83214e64bf535e8b44c08c6f","datavalue":{"value":{"amount":"+0.88225865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$B747A827-5869-480D-A408-53EEE3EC43C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f7e050d3615e021ec0ee06c0f0f472456fe7fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4329244,"id":"Q4329244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241aca42718413146fad50282974055375f19419","datavalue":{"value":{"amount":"+0.8722204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$603B0F74-B76A-4666-93D8-5391E7E4D306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"878c40185ef8793f4b2c6b23e206ffdc354f49d1","datavalue":{"value":{"entity-type":"item","numeric-id":3030268,"id":"Q3030268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53707e3a726a0a064c0a3ef89dba68cb3dd966d1","datavalue":{"value":{"amount":"+0.8681805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$0610CA6B-353D-4ADB-9BF2-D8F4A8D7812C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daf52e3bc61acbb2507b45254f144ee7b4f798a","datavalue":{"value":{"entity-type":"item","numeric-id":3690794,"id":"Q3690794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda2054d19516db16605e7f9e6cc5c178fa93c09","datavalue":{"value":{"amount":"+0.86704606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$97853827-4430-4483-B60A-4D7FCAB3443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81c5a7cf6e8e75d7660bf83857bf9ddb7d65555","datavalue":{"value":{"entity-type":"item","numeric-id":4314069,"id":"Q4314069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f69aa3901927d0a699d33a938f411d7f0e78ca7","datavalue":{"value":{"amount":"+0.86603993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$2D8F884F-91A1-465C-A738-A98803B239EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7711afdf877725af8e431071b470ffbd337d1f93","datavalue":{"value":{"entity-type":"item","numeric-id":3533140,"id":"Q3533140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"060aaa0c2abf323b45f653c42024caa566c266ce","datavalue":{"value":{"amount":"+0.86450523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$331134C3-E66E-46A8-94DB-416675678C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a346cc7391b3124b47922db21bccc3493f530ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3483288,"id":"Q3483288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a12ec5cd39e1f6da49066d1e1a05ade98c9d2f2","datavalue":{"value":{"amount":"+0.8643264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$6E43ED99-752A-464E-A0BE-469C087B26AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684bab7bbd99ea17435669de71967b3ce937f510","datavalue":{"value":{"entity-type":"item","numeric-id":488358,"id":"Q488358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"974b9956b2168fcdfc026e37c98bd5de2d96c1d1","datavalue":{"value":{"amount":"+0.8611889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4332417$E05A69E5-B581-4ADA-9D87-481A6DFB91DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4332417","badges":[]}}}}}