{"entities":{"Q4247309":{"pageid":6276910,"ns":120,"title":"Item:Q4247309","lastrevid":46825839,"modified":"2025-12-25T16:21:41Z","type":"item","id":"Q4247309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302064"}},"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":"Q4247309$659DF674-D6D8-4498-BE33-2637D1E6E731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f55b65944bf235d5ba341fe1aa759836d3067750","datavalue":{"value":"0936.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247309$7D666B20-D8A0-477B-97BF-196AA99E6F64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3463bc6040ec10eedd8bc84c369dcec260e8f52","datavalue":{"value":{"entity-type":"item","numeric-id":688570,"id":"Q688570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247309$E889FD58-F2FD-4E9D-AD75-756E679D5A77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247309$A8D7459E-D4F0-4D49-9875-6CA037C2FD91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247309$46AF028C-ACDF-4BA9-A4CE-34D55FC6F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"654b667013631be85bc45fdfe776d3b9ed2e5330","datavalue":{"value":"00A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247309$447F1178-30D7-4690-9ACE-153BCE1E4335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"81ba1a045a2037276aea9aeb7e223aab3c4744ec","datavalue":{"value":"68T01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247309$6BA59BFD-B13D-476C-8B33-0D99FB5713A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65609aeba5dac1197d5dc373526ff8d8e4717af9","datavalue":{"value":"1302064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247309$9393C204-A900-4840-98E8-5C0CA57C4313","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3ca2a3b1a459953bd2dbc79c1e50ade97f7ec0","datavalue":{"value":"machine-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247309$E7E71F40-1FE4-4D3B-AE8E-0B8EF6EC6616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b7e685e42277c50be4b9a3b47e1e0d9923bbdc","datavalue":{"value":"believing proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247309$E1E5C7D3-5227-48BB-98B5-9A9D8915370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"326c300cf62efa849a7bdb94dd90663d744d9f5d","datavalue":{"value":"formal proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247309$848ABA5A-053C-40E6-97CD-049D7CF0EF2B","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":"Q4247309$6C50877B-5EFD-4DC8-8C46-988DBC2F0C0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322c2b1a8474513de1eba640a9aca6df87bad3cf","datavalue":{"value":{"entity-type":"item","numeric-id":3182719,"id":"Q3182719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a304133b259a1620aa355a20f25a42d2c229e831","datavalue":{"value":{"amount":"+0.7693005204200745","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":"Q4247309$5F2069CB-3915-4603-AD0E-685F73211A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040efcad29b55e43be678d9495fe4066891d758f","datavalue":{"value":{"entity-type":"item","numeric-id":4972861,"id":"Q4972861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f3e5066af228d105e35c4cd34a53ef3e861946","datavalue":{"value":{"amount":"+0.7544887065887451","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":"Q4247309$599279B2-8134-4DD7-9EE9-7C9D3E001905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7c92ffd3f8de1085553a3cb8f55d6cfcb115521","datavalue":{"value":{"entity-type":"item","numeric-id":5195266,"id":"Q5195266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856a6abfae25aa6ec8b42e7a49ee44b3da9f9dc8","datavalue":{"value":{"amount":"+0.7463864684104919","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":"Q4247309$A88EAF7B-64D0-47BC-800D-F25E39EFD52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfea782e8ccf212788d53c8f4e477999d4fbba88","datavalue":{"value":{"entity-type":"item","numeric-id":3637280,"id":"Q3637280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"531a1807f3745a63aa1e404c7d9e6793602bb0fa","datavalue":{"value":{"amount":"+0.7442025542259216","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":"Q4247309$B36604FA-FCF0-4F5F-9049-A633AA828A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc14187770e67062cdb53c67a7ab88200831dae0","datavalue":{"value":{"entity-type":"item","numeric-id":4929925,"id":"Q4929925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"232f66b21e70e05cb2e979d09063466460df1512","datavalue":{"value":{"amount":"+0.7322091460227966","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":"Q4247309$75FD3170-77C7-45C6-BC97-32ED9E256737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247309"}}}}}