{"entities":{"Q2720298":{"pageid":2731037,"ns":120,"title":"Item:Q2720298","lastrevid":82826039,"modified":"2026-05-06T22:10:01Z","type":"item","id":"Q2720298","labels":{"en":{"language":"en","value":"Theorem proving in infinitesimal geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1610938"}},"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":"Q2720298$972B0CF1-B983-42D1-B4D1-999146739AD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"21be906d283880efc02c49092aab05470a7d61cc","datavalue":{"value":{"text":"Theorem proving in infinitesimal geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720298$623B92A0-6A95-4B2B-B30A-9EF190A481BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69e4aa0e4862ee43852c9d7ea6ec0c1d05b32d01","datavalue":{"value":"0986.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$CD3189EF-855B-4747-99CD-0854BF17050E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4a4d5474a3d1bb0bc88dc35fda8993718917e43","datavalue":{"value":{"time":"+2001-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2720298$C7ED9865-BF16-483D-BC52-4380380FD13D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$3C5E01FB-ED12-48AC-9DB6-6203B63788FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6db4aec5ef7fbf0e828c6d2589c9166d8caea5c3","datavalue":{"value":"03H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$8BD5EECA-BE8C-4177-8D84-9B27E5A5FAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$B95C826C-3E21-4D40-AE40-83021331F152","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a32946e2f7ac8d8a9da3ae12a6f84d280132b13d","datavalue":{"value":"1610938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$A88D4018-23E7-4775-A996-8C0A871E5628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e42e263cfde3cc3154268c69ce6f440164cfbde8","datavalue":{"value":"infinitesimal geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$EF20FFA8-5BA9-4786-AB49-FFBBB934A3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a11cf132947b7b29693c82a290ecbf2e4989b042","datavalue":{"value":"nonstandard analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$8FF97D57-9D84-404B-810A-2EED522BEBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99ee3855cbb7b6944214dba708a0269142897d72","datavalue":{"value":"hyperreals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$D587662C-328B-4717-929E-309EA00C1AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$2478BF28-40F0-491B-AA76-01FF7EC39848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$B9ED16A1-4A5D-4BD3-B962-9DE21BBDAF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d63f0f099bf66d8c4d7fc39b0f115103e4a2e5","datavalue":{"value":"algebraic geometry theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$5F4C0477-6972-40C1-8DA6-7A165C863228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720298$7991BD69-EC0E-4037-A486-A78B0E8A9E4E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720298$77B1E48B-1732-458D-8601-87367B14654E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720298$2D4FF6FE-11C1-4D3F-A4C5-46FC3AD1720A","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":"Q2720298$AEA1F642-6F73-41A6-8C3D-998F5E48CA72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48f6f203e3d0daf40f3ad65dd4847a5c753371ad","datavalue":{"value":"https://doi.org/10.1093/jigpal/9.3.447","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720298$A6089337-8206-407A-83AE-E1EDEF2659EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828294dffe6691483915ff5460f0b029354cf548","datavalue":{"value":"W2094333108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$F8380E9E-90AA-4D80-9BC1-C778039D2C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f348a145a30c4873a8c38645d18f0fcebea018d","datavalue":{"value":"10.1093/JIGPAL/9.3.447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720298$E529E7BF-E029-4C65-98A0-2B2B1CEB2FC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720298$2EE5A250-20CE-4575-AAC4-7A3E9F3DAAD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f58aa15256ba1388822cfb8684029c810c2650b","datavalue":{"value":{"entity-type":"item","numeric-id":4530838,"id":"Q4530838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fa90f9c7202cd4d5062370f9907f0c57d8453e","datavalue":{"value":{"amount":"+0.9391500353813172","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":"Q2720298$C0F76D53-9B51-4264-920B-6D62154A2318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dd9e25aef30e01babff1ebbb5ce5d476b7b93db","datavalue":{"value":{"entity-type":"item","numeric-id":4249889,"id":"Q4249889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc2f157c64ad6ad546f3f6ac8304f4ce79b003f","datavalue":{"value":{"amount":"+0.8482848405838013","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":"Q2720298$2781903C-D132-4334-A434-3E492256FE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de47d80f306373d000b734218feb3a1192f8a047","datavalue":{"value":{"entity-type":"item","numeric-id":4234211,"id":"Q4234211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adc7745b451a2d5e69186e04f608f052f7e1b379","datavalue":{"value":{"amount":"+0.8482842445373535","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":"Q2720298$FC926F5F-AA23-4A30-89EE-1BC714190A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b64cc58f0e3cd3ce8d83be3d83805aa62c9120","datavalue":{"value":{"entity-type":"item","numeric-id":2739733,"id":"Q2739733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26371eb22d006e716e924586c1ba1e815a0455d","datavalue":{"value":{"amount":"+0.8127721548080444","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":"Q2720298$78C1B891-09BC-4801-98AF-2BE55ABA8565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb714d42d44aae2ccfbff437eb23fd0a25261c1","datavalue":{"value":{"entity-type":"item","numeric-id":4504968,"id":"Q4504968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d51a1da095da278de53e7c75e7b1d1e8018382","datavalue":{"value":{"amount":"+0.7753512859344482","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":"Q2720298$CA6E9078-DDFE-4E0D-81B1-DB3300CD35BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving in infinitesimal geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_in_infinitesimal_geometry"}}}}}