{"entities":{"Q5448058":{"pageid":7477617,"ns":120,"title":"Item:Q5448058","lastrevid":50313017,"modified":"2026-01-13T19:34:53Z","type":"item","id":"Q5448058","labels":{"en":{"language":"en","value":"The Jordan Curve Theorem, Formally and Informally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5252161"}},"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":"Q5448058$9217E519-419C-4A70-8C0B-F646B1FE5925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecb67c22a2e2eb1d5fb881d1bb22e76370a45809","datavalue":{"value":{"text":"The Jordan Curve Theorem, Formally and Informally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5448058$D8266B29-E067-4497-B17A-E6ADD7FBF20F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0840588633a4408bf4568c3205919b59be623b1a","datavalue":{"value":"1137.03305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$3D9C57E3-154D-4038-AFBE-48AFED93987F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc2f390c982755cf2a8a7b58161c2f7eededd363","datavalue":{"value":"10.1080/00029890.2007.11920481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$2220987C-C979-41AF-B777-DE4C08CB370B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f210947d1f10526bfe277aab343a3905d8fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":684404,"id":"Q684404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448058$A793E4A3-0C82-4EEE-BE67-BB7AFE9D35E4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb96b4ac991d1c9fabb6ef3d281db52e4eb2e155","datavalue":{"value":{"entity-type":"item","numeric-id":93751,"id":"Q93751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448058$03F206BC-2B96-446B-8D26-7DAE37B4C9BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"030acbb063ab57f6eca668129c65621a1e5cd15d","datavalue":{"value":{"time":"+2008-03-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5448058$4E395150-8265-47AF-8AA9-75507C6DE4D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$4DAFF070-DFA2-4D4B-9434-C6D1850B9274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"adab020d252f1ca7f9815cc1cdbd7cf1e65b1f96","datavalue":{"value":"57N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$086DE87C-9069-4FDE-AB6B-5E5481C76FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d5ada37b1398532b96572a582dac34014ee17ec","datavalue":{"value":"57M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$C8B7D4E1-9E9B-42D6-A43D-14320CC6B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$1B76A9BB-F95F-4F3E-A5A2-CF851D06D4AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e99a8168f7ced0a4739da4aaa70b0dd9aaad8973","datavalue":{"value":"5252161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$3155CB1F-0381-48D8-8F3E-13C30280D362","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448058$9AACC5ED-4884-42FF-9593-72E491C56217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5336801af2caa7ce5bf2a3e64729f3757f13ce59","datavalue":{"value":"computer verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448058$9322FC2E-E899-4404-B658-F5963CF916E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"104686f3a3b63f31fa6c79f5f0116fe39fff0a7f","datavalue":{"value":"HOL Light","type":"string"},"datatype":"string"},"type":"statement","id":"Q5448058$6AEA9F82-1610-443A-8FC6-AC0898177CD8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8d9db00e1ea10483d4e1393ff765127a55cb3b38","datavalue":{"value":"Q58280796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$8BB1B4F1-6EFB-4412-BE9C-9C8BBCF7BB8E","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":"Q5448058$F924A7EB-4AC1-4B18-9919-9CF2A269A12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07f544da61a733e790b6290335bb2f4a402f91cc","datavalue":{"value":{"entity-type":"item","numeric-id":35395,"id":"Q35395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448058$D16D47D1-33B4-45A1-928A-9518E4F19CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5448058$E0DF7D4A-B2FC-486F-9E0A-CE4989EBD2E3","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":"Q5448058$91464D9C-64C4-45D5-86DA-3B865C0AF45B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e06e13ed4b7b1b648b8e78e05220fe508fa1ae4","datavalue":{"value":"https://doi.org/10.1080/00029890.2007.11920481","type":"string"},"datatype":"url"},"type":"statement","id":"Q5448058$49EE9D4A-26C0-48FA-8056-B9635477A456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df08cc66bd5ea66ad1a629c57f048bcfed41abd8","datavalue":{"value":"W2405679748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5448058$B33C76EE-1D5E-4EBB-B85D-1BBC503B4034","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512125c37f029a17db825fdb8953368a703ea0d9","datavalue":{"value":{"entity-type":"item","numeric-id":5457503,"id":"Q5457503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9138f9dd99537bdb4c2885212d03d7ebbceb60c","datavalue":{"value":{"amount":"+0.7805594801902771","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":"Q5448058$F171F801-F612-4881-B757-42B0033B5E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f45eb44c051a43ed17bf428283ac729a5b368a9","datavalue":{"value":{"entity-type":"item","numeric-id":4910724,"id":"Q4910724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c0d39d1648c98ef2a93bd2fea7e8c1f240ce473","datavalue":{"value":{"amount":"+0.7625995874404907","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":"Q5448058$E1E13EDD-38AE-4E17-A281-23EAC4208BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91bc3665e59da0019331d4191b94e7c16de425a3","datavalue":{"value":{"entity-type":"item","numeric-id":839032,"id":"Q839032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494d22375c01719e3dd9eae921756a5f8802be50","datavalue":{"value":{"amount":"+0.757400393486023","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":"Q5448058$3B62913A-810B-47BB-9532-45608DFE41E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b24078e300bd50b8e4682537abd90a4023fa8b","datavalue":{"value":{"entity-type":"item","numeric-id":3598006,"id":"Q3598006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a810a821e7abdf1c7453148687dafb1e0907dd87","datavalue":{"value":{"amount":"+0.7449573278427124","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":"Q5448058$668D7093-EA5D-4D3F-BDF3-5D6145CCD15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e5cb926546937f824baa2fdf873eab752c5ab4","datavalue":{"value":{"entity-type":"item","numeric-id":5918083,"id":"Q5918083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4473ed0ae2ba69794ee48564607d53a0dae9635b","datavalue":{"value":{"amount":"+0.7357403635978699","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":"Q5448058$733283AA-1728-4EEA-AA27-6E1F8CEB0A87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5448058","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5448058"}}}}}