{"entities":{"Q5049003":{"pageid":7078580,"ns":120,"title":"Item:Q5049003","lastrevid":40874735,"modified":"2025-04-12T05:35:49Z","type":"item","id":"Q5049003","labels":{"en":{"language":"en","value":"Algebraically Closed Fields in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614671"}},"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":"Q5049003$76AB92F6-6D51-4FA6-8F5A-D7BC04C5443F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eceaa59e03450995e00263232e44b6434c684335","datavalue":{"value":{"text":"Algebraically Closed Fields in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5049003$AE6BF484-6C63-4493-A394-6A14939E0C51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff84dfaf595ac183a3943b56b029cbeccf0334e0","datavalue":{"value":"10.1007/978-3-030-51054-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049003$0C714E97-40BF-4098-838E-82D9D06131A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b192c2bf010578e526ecb364933dddc3398a4eda","datavalue":{"value":{"entity-type":"item","numeric-id":5049002,"id":"Q5049002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$CA06ABA9-4F6F-4D71-A9DD-000C740DF7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$38040EA4-4C15-4652-83E7-310BD22B8CA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$1843861C-0B82-4F82-9B52-40E047FC7293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5049003$8D368E7D-1E53-4924-AFF5-73573C841FC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049003$95BE85B7-20F3-4F92-BF02-B8F0E4ED65BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c7830fcb02f9da9d3c388a279650b62facb7ff7","datavalue":{"value":"7614671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049003$78A4E56B-6979-4F8E-AEE9-37DEA5956D1A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$40EEC36C-3D51-494C-B8AF-AC864D427843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$87E4E7B3-2179-49AF-8105-2C66DBAA647F","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":"Q5049003$C99D16D2-6159-43E8-ADAF-8F49D61CE67C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"634f5a803283fa0347ee0a3d7b0a963ae52fa0a8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51054-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5049003$7056D0F9-AB12-4229-8E88-583111702D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"51224c0a24636dd2ec69db04fbc062ddf0ab4f2e","datavalue":{"value":"W3039393788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5049003$4D789B10-B7A3-4041-B6B1-B78B0464D62F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0bf2a070765e27ad319fd7acea2e4fb0715563c","datavalue":{"value":{"entity-type":"item","numeric-id":4846982,"id":"Q4846982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$D730EBC5-9DF6-4659-A1A1-4B24AA8F5262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$11048CD9-8A35-4830-B8DD-FB7138B7D047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e211b1428e95dcac2ae587ac5ea398e7778bf61","datavalue":{"value":{"entity-type":"item","numeric-id":1774558,"id":"Q1774558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$211C8FDE-39B6-4EBE-A2B6-380914E066C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb6a5c01e10754c9f10f8d6d1f7625230fe9135","datavalue":{"value":{"entity-type":"item","numeric-id":1688744,"id":"Q1688744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5049003$2C8C1B03-C19F-4910-A03B-CD816BB2A419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5049003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5049003"}}}}}