{"entities":{"Q3804239":{"pageid":5834145,"ns":120,"title":"Item:Q3804239","lastrevid":53318309,"modified":"2026-01-24T17:34:59Z","type":"item","id":"Q3804239","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4072439"}},"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":"Q3804239$662CF65D-8DCC-477A-9B86-88CBDF831958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"352c5c1af54451eb44cd39952c7a0c49d9f65297","datavalue":{"value":"0656.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804239$CDDF74DD-99B0-431C-A935-1CAD28CD30C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3804239$6065F02A-0831-43DA-97B5-4CD21943BFC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3804239$4704331A-1933-4A28-8538-81DEC9D0D3EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804239$DE94F9D2-1A53-4BDD-8B6B-9FD8F313BA39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ecb44ff875d9cffb86dc369ba4eb76fb0579043","datavalue":{"value":"4072439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3804239$46D5F600-DE89-450D-AC0A-7FC34503E3F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac51fb7fe1eacbcc34c109a96dfeb7f186a8cd37","datavalue":{"value":"inductive proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804239$BAAE8B9A-A663-4FA5-B45C-447DAD7BF517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bcb4dae7c26e2057d5a4e72fa86891c9cb639f7","datavalue":{"value":"proof plan","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804239$8817A6FA-1D8D-49E3-B975-6727F4DF0C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5ef65a64ed2128194a82dc20f744211e7d7bfd","datavalue":{"value":"LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3804239$E220304A-EBF3-4CC3-9861-C831C96A6091","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3804239$F1A1021B-06F4-4B09-BE21-75F133853038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3804239$5BFD91FC-0625-4C98-B66D-7DABC0916348","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":"Q3804239$7E94FF41-7469-44AE-A0C8-A42B6F1CF005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be0df8fbfee000feea08e9fea6f2113872f2b683","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fe324fbbefe7c92e9e963f633a1f66d6b9bd7a","datavalue":{"value":{"amount":"+0.8585702180862427","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":"Q3804239$9359C673-AC53-4739-86E1-991BE68ECF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe360a6e5e30503c21cd5d94de528a82f553af1","datavalue":{"value":{"entity-type":"item","numeric-id":4530469,"id":"Q4530469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a0f79f3a6547290129dfb0507d56b2f2b36fce","datavalue":{"value":{"amount":"+0.7840760350227356","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":"Q3804239$1CCF19A4-8483-4F14-BA5E-B37335279541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"294488c3b85e860c2ccc9131090bac481e1175d1","datavalue":{"value":{"entity-type":"item","numeric-id":4428310,"id":"Q4428310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d951c231267a4322de5e10b4ba01ae2b4d26b42","datavalue":{"value":{"amount":"+0.7809606194496155","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":"Q3804239$27812FA1-C23F-4F25-BEC9-F5DA62BD0CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368be8f7076e9e6de4624eebeaf8eb07c3a3f0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4858950,"id":"Q4858950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d951c231267a4322de5e10b4ba01ae2b4d26b42","datavalue":{"value":{"amount":"+0.7809606194496155","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":"Q3804239$BFD0E4FA-F2BA-47F8-A5DF-C04861C04FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70983583bd7e5ea71011477dc85b183843e87af","datavalue":{"value":{"entity-type":"item","numeric-id":5464716,"id":"Q5464716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce07f42b2db721e839f7e5c49f661fab4b684a0b","datavalue":{"value":{"amount":"+0.779439389705658","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":"Q3804239$CD107B9D-58DE-4D46-ACF8-6B9C91E48D7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3804239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3804239"}}}}}