{"entities":{"Q3475248":{"pageid":5467676,"ns":120,"title":"Item:Q3475248","lastrevid":46806576,"modified":"2025-12-25T15:27:26Z","type":"item","id":"Q3475248","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143949"}},"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":"Q3475248$35E9C79B-FC8A-49F1-99B0-0C34CB20FAAC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09064c91f0c89ffd7d84aa20f03f724c39986c98","datavalue":{"value":"0698.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475248$E3DF77D7-7B5E-40C7-A64E-35773F624126","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3475248$87AFFF26-A7C1-4A11-B542-844D492EA131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3475248$48B51D95-C691-44FC-9676-04D15D388099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475248$E060D72D-02F4-4A29-8EC6-1C58DC05799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475248$1937EDC2-2DA6-4A59-87AE-F8E62D56A3AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6ceedfa58486858cfff81a13bc42edd7dc9fb3b","datavalue":{"value":"4143949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475248$83DAAA3B-264B-49B8-A1DA-1BA88D718587","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce79950a5440a74feb5da465767d165967374961","datavalue":{"value":"computable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$1641FAF9-DCD0-4B35-8438-4209970D9CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"357ecd6f1805f882d5d640b6fe6fe5a3f43b5a8e","datavalue":{"value":"refutation formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$58B51CF4-F66B-4278-946A-6A33B44B5D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$A66C0063-3B31-4E73-9149-FA8BE9FCBCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$2FF88E4A-E2E3-4812-8BCD-D4C63CE153D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0963e2947ef05f5d3bbea57d4689617452477b85","datavalue":{"value":"computable model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$81437562-119F-4293-88DE-368B033B0973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ff35e1b4b1f8def6211a9ad98e5b596d8b9241d","datavalue":{"value":"computable Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475248$3E888DF1-8016-488A-992F-FF4A9237861A","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":"Q3475248$80CA537D-ACA7-4477-9DF5-162AA15AC621","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55da0fb3c3a50085cacd73f9513ed889569a8143","datavalue":{"value":{"entity-type":"item","numeric-id":4648961,"id":"Q4648961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"315bfd682bff363a9974fc83b2bb38288972044f","datavalue":{"value":{"amount":"+0.9022063","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":"Q3475248$EA513F08-18D1-44C8-A327-F8B3187AC18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0903965a9c0cfe11f2fc27ec1972889b50d9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":583197,"id":"Q583197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9d18a5db79fea9767144098a1030d5c18d695d","datavalue":{"value":{"amount":"+0.90170413","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":"Q3475248$444EE926-EA05-4250-9045-9776E15486BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00142ce823fd4ec8d33a107a34f875e0cb36c446","datavalue":{"value":{"entity-type":"item","numeric-id":5436694,"id":"Q5436694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f206eacd9ac50574ba32b9c8a94645e7ef8000","datavalue":{"value":{"amount":"+0.89598346","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":"Q3475248$283E0795-0156-4B60-9B2B-F706F93C2E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74289bb356778b28a1b2f46f60605b3f850309c","datavalue":{"value":{"entity-type":"item","numeric-id":2506825,"id":"Q2506825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6e6c272d1be7544eb85356b7343e78c906b8f4","datavalue":{"value":{"amount":"+0.8959834","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":"Q3475248$D8996459-57D9-4ADD-BA90-2A92A8998136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec608f1395f453ab42e3ee331fd8fe09acb1705c","datavalue":{"value":{"entity-type":"item","numeric-id":4726226,"id":"Q4726226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb117517db580fbda3af81b6e6fb2ab4842ef802","datavalue":{"value":{"amount":"+0.8956722","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":"Q3475248$ED16D47F-08C2-4144-AAE7-D7C6BE9AB61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"107eaf6a0ffaf5cd86d3acfd1e53cbabb96f92aa","datavalue":{"value":{"entity-type":"item","numeric-id":4733853,"id":"Q4733853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bc8a42fa104a4b9f741543d7810ce48a6023938","datavalue":{"value":{"amount":"+0.8942168","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":"Q3475248$742F2F15-B53E-4FDC-AC68-DD3EF78D1FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1db62ab5a1e10fd5a379457aca6928451601e3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4428299,"id":"Q4428299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf353319bee03f1426954de9486b74039a10c32a","datavalue":{"value":{"amount":"+0.89392793","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":"Q3475248$CDC103CA-3E4D-47F3-B970-4EC423FA1DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f132198596845e5265fac918589ed0d5c910d62c","datavalue":{"value":{"amount":"+0.8905173","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":"Q3475248$8B274E31-1BA8-47F7-B3CA-6D496AB95E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd345411df62d8e91bfa2fdb3b7ac46555caaa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2501166,"id":"Q2501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0e3ecdffb19b2fc0a396876953ca5da8501746","datavalue":{"value":{"amount":"+0.8903863","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":"Q3475248$8574E19F-971E-4703-AE85-E48B963AC19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"266725cdfd1cc95ffdd050b888c4682cd7544ca4","datavalue":{"value":{"entity-type":"item","numeric-id":2998377,"id":"Q2998377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef2200894cca226f3db2efd49572bcb2fb77c1d","datavalue":{"value":{"amount":"+0.8898295","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":"Q3475248$169844DF-A0A6-47D4-A4E4-CC9611B717E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3475248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3475248"}}}}}