{"entities":{"Q3345811":{"pageid":3356519,"ns":120,"title":"Item:Q3345811","lastrevid":48760309,"modified":"2026-01-05T19:30:11Z","type":"item","id":"Q3345811","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880145"}},"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":"Q3345811$DC7DDAEE-799F-4447-9450-DC3F78C5E2D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9aa5d3cd9154057a6a9ace165e5c533e87e859a","datavalue":{"value":"0552.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345811$434A02D1-880B-4D94-8FEC-221B4C69B8E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43c80439908def1f47a2850b299ced02bb922e89","datavalue":{"value":{"entity-type":"item","numeric-id":861688,"id":"Q861688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345811$42B29CF2-FE33-46EF-B0ED-2AE3FDE3A1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0d384413a2d1b8185eb46b74e5b2c74244e0aac","datavalue":{"value":{"entity-type":"item","numeric-id":928667,"id":"Q928667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345811$793980A7-2D17-48D3-AFA4-1ACA4BA159CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345811$C59AC95A-F00F-499C-8499-25282EAE7D1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345811$57D88842-E6AE-44B8-8D70-4955AB342696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345811$790C68B2-26BF-4973-BDA0-EFF5A712B0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345811$5087868D-0245-4F2F-A6D1-F629BCF24EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf10a2f8a82e7b443842568bf2a1145381bf2d66","datavalue":{"value":"3880145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345811$65EE43A1-30BA-4531-83AC-BB16CA41DF42","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a4fb32e1337567afbea716ab340afdd02981c9","datavalue":{"value":"verification condition generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345811$53776E86-CCA6-44E6-AA23-060466A8E211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345811$B4764DB2-41B3-4A5A-847A-19E3844473A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad846a1c16e2d49d1279f8a99899b6484a0f8bf","datavalue":{"value":"uniqueness of prime factorizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345811$0E0C37F8-EDA1-44CC-873E-9C20349AB41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592d8f84c7c50e6cf2d719ac164719ae673f9e42","datavalue":{"value":"Fermat's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345811$7FC3546F-640F-446F-926F-4F5187D175D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974d2520fa1b1d72ca6cf666f9246fc2091c54c3","datavalue":{"value":"recursive unsolvability of the halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345811$F73E2939-1C36-4BE0-A1CD-5CA99B0AF6E5","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":"Q3345811$847A1B1D-EF71-4FE8-9616-9CA9B068639C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0217c174ecb99da2c90041a360791dc75df69b","datavalue":{"value":{"amount":"+0.8234041929244995","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":"Q3345811$F8526DCE-654F-4FCF-B2B2-10CCF1BC99E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cda481b541398e1a99f4b5d3ef12a328b1ce13e","datavalue":{"value":{"entity-type":"item","numeric-id":6488518,"id":"Q6488518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcab33ecb6eca0ce683278cacd3f29274f89e7cc","datavalue":{"value":{"amount":"+0.8136193752288818","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":"Q3345811$6C731A47-6126-4139-8DC2-3A2F4D1F62F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a79800870a290d21d00a3a7995b9f2009e3d985","datavalue":{"value":{"amount":"+0.8066698312759399","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":"Q3345811$463DD73C-F28D-4754-9D65-0452E7F30BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5c52b383999e4e744b0286b9f852a65b247b940","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea737c684d8a18806fafe4b31315ac1202f7741","datavalue":{"value":{"amount":"+0.7903197407722473","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":"Q3345811$3343DADD-79D7-428D-A752-E2C5C5B5F6A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7507f45e079c3a127f1a348d579f05c2bcf54fb","datavalue":{"value":{"amount":"+0.7889760136604309","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":"Q3345811$E0D1C662-800A-43D4-A4F1-9F1EECE12E3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345811","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345811"}}}}}