{"entities":{"Q3971269":{"pageid":6001170,"ns":120,"title":"Item:Q3971269","lastrevid":46149001,"modified":"2025-12-23T13:29:36Z","type":"item","id":"Q3971269","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8781"}},"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":"Q3971269$D8AD1132-849C-41E5-8C4D-760A701CF7F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61207247c97a299bc41c655739a55aa404efcd7a","datavalue":{"value":"0744.68115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971269$BEEDC63C-E358-4055-97B0-9C5060996292","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3971269$638FC2A3-ACF4-4726-A4AF-1707A72BF7D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971269$49CE0A50-377B-4A07-A5D6-5C2FBD743019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc52bf98d4c7b1c2bb675014230def145f049146","datavalue":{"value":"8781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3971269$636CA92F-4BA8-4AE5-85D3-13CF0C9DCFF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971269$B4BF1DC0-C681-4054-BD98-335535BC4EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb10a7c9b9a143fbebb56bbd5381c044a2a7ccf1","datavalue":{"value":"completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971269$3F633C9A-9D96-49AE-9CD9-7DA45AB28028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3971269$7059D9CF-3373-4C80-AAE1-EACF711E790F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcab75d64016047a02a857c2fbf6460cf97916cc","datavalue":{"value":{"entity-type":"item","numeric-id":688550,"id":"Q688550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3971269$2A46C092-B1F4-4527-A7B8-A61BE941F3E5","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":"Q3971269$FADF1824-F876-4B4F-8C4D-F7FABCED6297","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"286564eb3bc4c320c48c2ddfca71197638c1cb5b","datavalue":{"value":{"entity-type":"item","numeric-id":914411,"id":"Q914411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"778ef3866a37521a3e8c304e7926d0d6ee19c607","datavalue":{"value":{"amount":"+0.8443787097930908","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":"Q3971269$A9F133C4-E7C7-465A-B350-27CBDF3D57F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf7b2dee4bced2cbc9a4883c47f4dd252915b35","datavalue":{"value":{"entity-type":"item","numeric-id":5310674,"id":"Q5310674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf6c8e591e2cbd646333d33c1379722d27e81cf7","datavalue":{"value":{"amount":"+0.8190224170684814","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":"Q3971269$090510A4-7044-435E-B947-AE1409ABF951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9dcc3de4830d73fa250d28a54db97eae7abe45e","datavalue":{"value":{"amount":"+0.7774423360824585","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":"Q3971269$38BCB8A5-56BF-4380-B690-0B7D215CB959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26ee6197942f4f873bf496ed686e6477e4032e4","datavalue":{"value":{"entity-type":"item","numeric-id":1041788,"id":"Q1041788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"281103f099b1f88822f203a7d406d52916716fdd","datavalue":{"value":{"amount":"+0.7751299142837524","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":"Q3971269$F68B5129-B32D-4905-98E5-62AA8BB98181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1f80d33d2b711c1786c52beef6916c90b47ed4","datavalue":{"value":{"entity-type":"item","numeric-id":5055708,"id":"Q5055708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9976675563d431d22a6384165f1adfe930a3c360","datavalue":{"value":{"amount":"+0.7623293399810791","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":"Q3971269$790DA935-29A3-4ED2-9B4E-AE519CE627CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3971269","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3971269"}}}}}