{"entities":{"Q2337340":{"pageid":2348083,"ns":120,"title":"Item:Q2337340","lastrevid":57383415,"modified":"2026-03-30T18:13:14Z","type":"item","id":"Q2337340","labels":{"en":{"language":"en","value":"Formalization of the MRDP theorem in the Mizar system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7132619"}},"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":"Q2337340$D0066135-34C3-45F4-8E3E-A8A03D656B12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3fa58961894d1bcd92cce0668948675340f089e","datavalue":{"value":{"text":"Formalization of the MRDP theorem in the Mizar system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2337340$4AFC0399-C0F7-4C22-9302-412FDBA17176","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5844399b321db66214e154490264442b0f458d0","datavalue":{"value":"1432.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$AC599093-C014-4614-88F9-307228A2C335","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$353EA69D-7B8E-4C7D-BE20-C7606ADF9AE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10393ba55f1a886ba53e75eccd4b56403eff1eb9","datavalue":{"value":{"time":"+2019-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2337340$E20A2910-BD22-4FB6-AC77-3E7034470BF7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$3F63397A-663F-4C57-A1B5-FD207FDD3D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83f071a227a82a2fbae9e00865d40aae78fee790","datavalue":{"value":"11D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$06DB635F-69EF-4575-A4B2-362E85EA5C7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54ac5e49111c9fff68d2d3c8749934cf89bd8db6","datavalue":{"value":"7132619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$0026588C-2A03-4C93-9845-8BBF88BF0708","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cd694a1ceddc890d56567c3e53f75738015abd","datavalue":{"value":"Hilbert's 10th problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337340$EBE0353F-6F82-424F-9CC8-2C981BE12B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423b8755e3fac5cca84edef54906822f7a5a14b3","datavalue":{"value":"Diophantine relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337340$27C3127E-203D-4D5A-B9A0-141EC98E25C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$2CACC05C-83C9-4D97-9FDD-DB1E391B5095","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$401C2014-3776-4C50-B5FE-926869C1601B","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":"Q2337340$CF3ED55D-BE89-4194-AB1F-E2DA9598C8C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d544d0523122681f5e050c6ca9ccc810b33e6f3","datavalue":{"value":"https://doi.org/10.2478/forma-2019-0020","type":"string"},"datatype":"url"},"type":"statement","id":"Q2337340$36E7103B-E085-45F2-9EAB-9DDECCCB2DD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b4d350967363feb370737c5351380f163f262a","datavalue":{"value":"W2963131246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$8EF3B575-4417-4ADF-B3AF-5481BBFC7364","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f915f7988c5d36d0a74ca9c6d471c5c176d0587","datavalue":{"value":{"entity-type":"item","numeric-id":2311525,"id":"Q2311525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$4E396B1E-60FC-4E5F-A55B-90093C563343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b876dc8b1a4f5bd85cf10925997732b6b44e1765","datavalue":{"value":{"entity-type":"item","numeric-id":5915801,"id":"Q5915801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$7F4EB19E-BA5D-4BC0-9EAE-E4516279B0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"663a431e6ccca1c8d3988aa37c7d7f1a6bceb46b","datavalue":{"value":{"entity-type":"item","numeric-id":4339021,"id":"Q4339021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$CCC4CDC9-B5D9-4EBC-8171-8AD1C57DC15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$465757A4-1014-4232-8652-D2EF68CDA39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$98857CCD-C9C5-44D4-8955-B0B800F1D3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$6BECF2C8-E7EB-4204-A0C0-6D2B1D389ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$CF307543-1A3A-4955-81EB-CD26913ACFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8781aa749848511493ad6281b7915468f3252d9","datavalue":{"value":{"entity-type":"item","numeric-id":1795565,"id":"Q1795565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$F72D0EA4-E25A-4826-A759-D671F8040013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1758203fcb2ef75225e3790ff55c2ec5861de592","datavalue":{"value":{"entity-type":"item","numeric-id":2337339,"id":"Q2337339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$73FF4BAA-D50B-4B02-8994-B0EC1485ACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$4B649F8D-C7D1-4306-9B6F-DDC24E8C61F4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0dd47820d28021235054139f43b70f996b9edec4","datavalue":{"value":"Q127450097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$AE1CAFA9-09FF-4F87-BE12-FF489003AA8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"803f4e5210558b568d7277f5a4a9b4aaf7b16666","datavalue":{"value":"10.2478/FORMA-2019-0020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337340$754F117F-1350-42AA-82B5-B0857C05AF37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7b47c43b74657fbf375e7a563fc07289a27cbd","datavalue":{"value":{"entity-type":"item","numeric-id":2337339,"id":"Q2337339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4be64adb447950a929e9f9aca2e55806ba1ee","datavalue":{"value":{"amount":"+0.8401105403900146","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":"Q2337340$FBA218FA-0F6E-4B06-94D5-3FAAE3494185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e816694dcbe066a45ad972381a25a24683595de","datavalue":{"value":{"entity-type":"item","numeric-id":2311525,"id":"Q2311525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c396ff2f1d42325330c592fb9e627657f8d721b5","datavalue":{"value":{"amount":"+0.8338457345962524","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":"Q2337340$E3D1E166-6BED-40ED-A632-C520B639E3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552b24334f691f5c403e50cbc6cf1bb62e8584bf","datavalue":{"value":{"entity-type":"item","numeric-id":1796771,"id":"Q1796771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f55219a6557edc15decc9aa155f367cfaa96b2c8","datavalue":{"value":{"amount":"+0.8046554923057556","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":"Q2337340$96F0FB1C-BA0B-442E-818A-D81CD2DD3A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f828fe4fbd77d3a2bc8562a173cbcea79c8eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":1795565,"id":"Q1795565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e7be988d81e19e587330edc7459ff6c1256649d","datavalue":{"value":{"amount":"+0.7978646755218506","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":"Q2337340$C204E6FA-3A2F-47E2-935D-97156B510344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87af5afbdd21f603e5d46d7e8139c92652a4c2b1","datavalue":{"value":{"entity-type":"item","numeric-id":4039065,"id":"Q4039065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813f767a935f6795fff8cb848739e6798d22b3ac","datavalue":{"value":{"amount":"+0.7746472954750061","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":"Q2337340$DEF2075F-0A00-460F-89F3-84A31CF2ED81","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"e68c451775d8e2699e023b1b9b74a9d21a410b77","datavalue":{"value":{"entity-type":"item","numeric-id":57038,"id":"Q57038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337340$0707263B-43A1-45DA-966A-FE8DC9FBAF3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2337340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2337340"}}}}}