{"entities":{"Q4550802":{"pageid":6580394,"ns":120,"title":"Item:Q4550802","lastrevid":47979250,"modified":"2026-01-03T06:15:53Z","type":"item","id":"Q4550802","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1795747"}},"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":"Q4550802$4B242C01-2689-40BA-B69D-ABEDA82E6913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b08bebe3384e1a7099fc40a9f967611af41bf9e","datavalue":{"value":"1006.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550802$6396B602-3326-44B6-B8ED-CEC0BEFC4929","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a52eee04ee91e9f633f9294c6d2f67dd8b73b2ee","datavalue":{"value":{"entity-type":"item","numeric-id":2996172,"id":"Q2996172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4550802$094F1B48-19A9-4975-9EDE-EBAD312DF8A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eade319fbd7af1fa341701e0c7fce55a6e0f8291","datavalue":{"value":{"time":"+2003-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4550802$2DF113E2-3DE0-4EB4-BE6A-FCE8D90A9202","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550802$771FDC4D-EEAB-4421-87F5-915F8A6C3680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550802$3991A26A-8C66-4197-A00D-08CA16306AE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03ae2c30def5848b7cea35e1bcf843c97b734a6d","datavalue":{"value":"1795747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4550802$B6EE71BD-1E77-4622-A063-6E93755AB9D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9942a9756340e69631e42fd203a556882004f18a","datavalue":{"value":"Euler-Fermat theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550802$28AC1D10-9AE9-41E6-B48C-8C23A679CF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93a7d464718391b1ca95ccae36722e9b8a92e30e","datavalue":{"value":"Wilson theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550802$1B1C2402-788D-4428-9195-18AD2706D907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550802$A3E8971C-416B-4972-8C01-0541C776A5FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550802$DAFA0594-8BB5-49F5-83A2-228BAFDE42A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4550802$0A05707A-7DFF-49CC-9124-C7547D6620F6","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":"Q4550802$83A07DD6-195F-4E66-9A18-31CA60D66EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4550802$9181BAC7-099F-4D67-8CE6-27E7A4A0D8A3","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":"Q4550802$AA0E0E15-A34D-45BE-80ED-1DF17DA1BC49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a3431f4b84ba770ea6bc555f77a5abe22d44eb","datavalue":{"value":{"entity-type":"item","numeric-id":1707601,"id":"Q1707601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d288c1fd8558f993580b74a43c625e9e6f103cff","datavalue":{"value":{"amount":"+0.7787829041481018","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":"Q4550802$3E121ECE-3194-4CBD-AB2C-968C2E62F04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d130b819282781f7f80ca463a5f62622ac4056b6","datavalue":{"value":{"entity-type":"item","numeric-id":857692,"id":"Q857692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deef24eee904cc4314ebd10cd822d4a3bc56e3e6","datavalue":{"value":{"amount":"+0.7315350770950317","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":"Q4550802$1AF4E545-4073-477A-A6C3-3BC323D24894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d72dcc22e39259867d5b1cb2b69329c546626ab","datavalue":{"value":{"entity-type":"item","numeric-id":5195251,"id":"Q5195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419ab543bbab628bd99473f8968c1e8fab2477bc","datavalue":{"value":{"amount":"+0.697291910648346","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":"Q4550802$42DC8C24-2265-44E7-ADF1-BB4C99B9A04C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b2f14593c442d444f4bf8343fa648274971b1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4916061,"id":"Q4916061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90c7db6c2702f24fa1ec967bcca366ff6bf0547","datavalue":{"value":{"amount":"+0.6952181458473206","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":"Q4550802$5F253CDA-3946-47D4-8723-09F9436D67FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f461c3d35fe74d36eb0c06054a556db0671e822","datavalue":{"value":{"entity-type":"item","numeric-id":1819945,"id":"Q1819945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e78674127b6639fa85c8d27ecd4754e1d438ccb","datavalue":{"value":{"amount":"+0.6951567530632019","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":"Q4550802$BB8DBBB2-0557-4265-8841-B1E7AAFB7045","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4550802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4550802"}}}}}