{"entities":{"Q4263166":{"pageid":6292767,"ns":120,"title":"Item:Q4263166","lastrevid":46667175,"modified":"2025-12-25T09:03:45Z","type":"item","id":"Q4263166","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1341617"}},"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":"Q4263166$5AD9C3DD-D03D-42D7-AB10-5236D189297C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00b7529dd131aae3ca5a99f18534c5065256a05f","datavalue":{"value":"0937.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263166$71DDE421-5809-4E70-993E-45A2579A864B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0567ac9f2a03fdd4e0e3913b80e4563364e3bac","datavalue":{"value":{"time":"+2000-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4263166$3D2C451F-32BA-4062-B82A-0EF26DA837F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263166$2428ECB0-DAC2-4996-A0ED-56D57DCACA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263166$62324704-B486-49F3-A7A9-EE9DF99A1202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03a408b1655b2f1eb99cbf044c5ed90b9c7ba96b","datavalue":{"value":"1341617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4263166$3EEA6D13-F26D-44B4-AEEA-85AE31106EE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263166$67F00425-D422-4DAA-940E-5CF717964D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263166$CA4CF9FB-EB1A-4891-BCEE-A0EF1DCA479F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263166$348D7A83-A086-4A67-8A39-FC6B911FA952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4263166$B8538623-A3C1-41D6-A422-5C5BFA93B6DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4263166$DF461E58-082C-4E4E-8443-B62694C3139D","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":"Q4263166$B0519CA2-4A70-4780-9EBF-DF9577348992","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815f4fc4eb2ae2dc58d8fb468d5b4a06b72cc1ea","datavalue":{"value":{"amount":"+0.7567832469940186","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":"Q4263166$57C9832C-5D8C-444C-AAD9-690B39D25EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b48f520e453e565c429ffbb5883deb00579293a8","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c12d682d12ad2136849e88bc136238a1fc5ae26c","datavalue":{"value":{"amount":"+0.747908353805542","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":"Q4263166$98AF0F4F-B83E-4F7B-8420-15917F09B51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63328c6e3ea59905c8365a982fb5be77a74ec23d","datavalue":{"value":{"entity-type":"item","numeric-id":2945631,"id":"Q2945631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28f1888a46ac24ef405c088cb855d75990702915","datavalue":{"value":{"amount":"+0.7456735968589783","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":"Q4263166$A833A958-7FB6-42C9-9728-1E423E971C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d129f2d78dc44d5b2ec8a9a44c4cbff8ca54b1ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842534,"id":"Q4842534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4a447a03208e85cddfd91588999e325790d35b","datavalue":{"value":{"amount":"+0.7251228094100952","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":"Q4263166$C0027208-123F-422F-8835-9C58DEB06576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c40d0982bbec01ccc380b8b1378089d9dcb9795","datavalue":{"value":{"entity-type":"item","numeric-id":2879267,"id":"Q2879267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41403ded57f5d6ba763e0528bd361d3e4736bfa4","datavalue":{"value":{"amount":"+0.7224187254905701","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":"Q4263166$F478E0C7-A05A-4A6C-A701-A12DAF8BD210","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4263166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4263166"}}}}}