{"entities":{"Q3759967":{"pageid":5789873,"ns":120,"title":"Item:Q3759967","lastrevid":51787733,"modified":"2026-01-20T01:08:36Z","type":"item","id":"Q3759967","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4009856"}},"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":"Q3759967$55383934-F494-4FB6-86DD-940CCEC3D262","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f1f690d25670b66d79dfd69f5660854e58c34898","datavalue":{"value":"0622.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3759967$C31EE098-4A82-468B-B404-5FF478A70B7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c3be199401e53715d44e493d51c20c4e855996","datavalue":{"value":{"entity-type":"item","numeric-id":792084,"id":"Q792084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3759967$59E98E8D-D5C5-4FB5-AC01-0B53304034A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3759967$74982F96-1EF0-4726-B1D7-7CBA995519DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3759967$AB4C6624-C008-46CA-9FAC-C05BEC758579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3759967$464FF4D4-1C44-45BD-B5C0-5686A918DC35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f7f488a168603fa852305ea2c66bf428a5e207e","datavalue":{"value":"4009856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3759967$3208F68D-F70E-4367-BC46-521BEA4EBCA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0518f81ac412c903bc4115918f26e944fe7e320f","datavalue":{"value":"Computer Aided Proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$23AE8B39-A2C4-4506-A001-9FB3F364A286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31928461a46208b287000a61ceb5b3ba7c934af2","datavalue":{"value":"New Generation Computer Technology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$F1EE3797-28D5-463C-9AEC-C4BE40F96C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29a0a1a089c1739ef594b8aa170de0991ebf7f7","datavalue":{"value":"proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$20082BE3-8F45-4B17-A555-6AAC23F72821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17ef7db62ea690b4e5062dfc499cec745f9bc958","datavalue":{"value":"linear algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$96CCEE09-5F63-479B-AB07-88D8970DACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b969da63472ffe4fde8d62b78c11bad15b52f59","datavalue":{"value":"synthetic differential geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$AEB5A6EC-176C-4760-BDBF-9F6627005F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3759967$A25A9DD1-3697-4821-A00C-54599EF0F77E","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":"Q3759967$041065B5-34B2-4160-A7EB-7063F4255B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7c6885db120465d3fc977ee01677784fd7b685","datavalue":{"value":{"entity-type":"item","numeric-id":3809309,"id":"Q3809309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad8ff3913994403f6d2fbc02546c8aa39c98822","datavalue":{"value":{"amount":"+0.8028654456138611","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":"Q3759967$77E4F71C-8C61-4190-A587-F068B0B64791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd394b71b8901b23d26099d7036d7a493bb8ac7e","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d282152be82247305df753db8fd0fbca0bf629af","datavalue":{"value":{"amount":"+0.7700726985931396","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":"Q3759967$EF8E8C27-CF14-4249-9694-C4E727AF18B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a355b68c0bc36b348acf813b28e7c6f766c102","datavalue":{"value":{"entity-type":"item","numeric-id":5305641,"id":"Q5305641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42122343b15b29893219f6d2654dad11651d4402","datavalue":{"value":{"amount":"+0.7640571594238281","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":"Q3759967$7605B8C0-A6D1-470D-B31A-150B101C026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"099a133aa6561b9f20fea89e2eb7c53902a6fe52","datavalue":{"value":{"entity-type":"item","numeric-id":3685233,"id":"Q3685233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9cca11b78beafc823616757dcbce5e64f5d775","datavalue":{"value":{"amount":"+0.7605785727500916","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":"Q3759967$1A792117-CAEF-4634-A79E-0CE8BB7ECD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1b97a6f9d5931d17692b9da0d3db3bb3213cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3455771,"id":"Q3455771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac40e89266474ffbfcbd18d7116716becea5b55","datavalue":{"value":{"amount":"+0.7566837668418884","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":"Q3759967$E6396B55-5D50-4A7F-AA5E-86C38D403990","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3759967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3759967"}}}}}