{"entities":{"Q5027240":{"pageid":7056817,"ns":120,"title":"Item:Q5027240","lastrevid":55398103,"modified":"2026-02-17T15:31:09Z","type":"item","id":"Q5027240","labels":{"en":{"language":"en","value":"Strong Completeness of S4 for the Real Line"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7469213"}},"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":"Q5027240$28217110-D87F-4EBA-ACCB-053D83A7A807","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cac4eff8f98ca410e79bb51588c622368b41430","datavalue":{"value":{"text":"Strong Completeness of S4 for the Real Line","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5027240$F699AD2C-0B9C-45D0-B33C-747AC28C9393","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2816346ff0ff8cbd37be716d80dcfb70a80eac87","datavalue":{"value":"10.1007/978-3-030-71430-7_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027240$83FBA4FC-72D5-4F9F-AFF4-CC229A7B1DBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5edd1deb266eec07d4ef7aa54b2db704a7084647","datavalue":{"value":{"entity-type":"item","numeric-id":211182,"id":"Q211182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$C67FCF18-31BC-449B-A725-50C161DFCA68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$50BA8EBD-032E-4ACF-A52C-AB7515BE5671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2aae6b217c4654571ba2a708c7fb3773e43375a1","datavalue":{"value":{"time":"+2022-02-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5027240$7B3F37E1-8A51-4C85-B29A-505635DD9C46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027240$090E3EBD-36E2-4A3E-A2C4-867F0781E013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027240$9A19AEDA-DCA8-42BB-B0D9-7D7D2FB594B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c439282228697e9ae147c5acc7eb6acb7bc29e20","datavalue":{"value":"7469213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027240$883F251C-8D68-49F7-A3BD-ED43D751BFA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027240$60C2D611-1EB3-40EE-9B2A-F347FC584EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"827b845d5e543bed4cf2f3d0c25bddb70759060f","datavalue":{"value":"topological semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027240$96E77C09-1540-4684-8D42-C0820BD3C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027240$45FAB01E-A775-4CB8-A1C7-FD1F2EF0B2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578a6e0f30634420f39737a653f9341e64a7aede","datavalue":{"value":"real line","type":"string"},"datatype":"string"},"type":"statement","id":"Q5027240$FAA265B7-1062-45EB-8F06-F4D3372F3D48","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":"Q5027240$56C2F204-3687-404F-936F-6F0243E76683","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7b73fd721b3305a98a3f1108a51a58759ce9ca3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71430-7_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5027240$C8D28854-3C94-4ADC-A0E2-A0ECC08E1C32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"855e4e581a13ac13fb43de71871bb5cfd2bb8fd1","datavalue":{"value":"W3204553115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5027240$968249F1-9AED-41E9-B7F0-889A7BC07255","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c8e7c810a525b02adefe0ae966e0b6fc4bfe812","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$5C8ACF48-10AD-4BA2-B356-E89297171D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fdb93aa40a2b71a7cdb6159d56df01f935ced2a","datavalue":{"value":{"entity-type":"item","numeric-id":4812319,"id":"Q4812319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$4E67C073-787C-4036-A8C4-826B8EB27C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$3E2B6778-80ED-4BE7-B6CA-11B1B9FFD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$94A81FA1-7AAB-48DE-9D22-9D1BD56DC2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc82f7ab84df94897466e68ea0e47066c9c6b37a","datavalue":{"value":{"entity-type":"item","numeric-id":1150600,"id":"Q1150600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$4BD8F5CB-A544-4296-985D-8339C5DE6147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753056d26ab5c133f0c397bee997f1eecc1da9e4","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$4BE7DCA4-3642-45DD-BB26-FE0FFDA58D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2ee5233d800e10e19c7ea99bc854ceb79aefd5b","datavalue":{"value":{"entity-type":"item","numeric-id":427238,"id":"Q427238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$127CEC31-FE4A-44DC-9963-EAB3CE8A4A0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7316df6134790fcef150ccda466b8ee88eec2e5d","datavalue":{"value":{"entity-type":"item","numeric-id":5844608,"id":"Q5844608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$3F528B81-6A90-4E2C-BF1E-3A78F60FEA0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$93F6AF17-E12A-4650-B5C6-985F4978BF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4d447836767d2033d19a0e5f8d1aff913ef8009","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$D8B7C140-044F-467A-83D1-786AC9801A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$21816C94-4835-4A60-8C5D-B7CE0C37B868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30268ceadd4f93e7f076ab7ec8debecdc1f8c76","datavalue":{"value":{"entity-type":"item","numeric-id":5772800,"id":"Q5772800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$1C64EEC9-F5D0-4896-A0CA-309675F5570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f8cea4691b9b954da7029114b5d6db19326280","datavalue":{"value":{"entity-type":"item","numeric-id":861569,"id":"Q861569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$61359F74-EF95-4184-9F26-66D44E329B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b92ad55d423b35bc4c2f7b1fcbb8fc8ceb12dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":3994458,"id":"Q3994458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5027240$07C24FEA-461A-401C-9721-6F558C8E5DA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02ca3e7a36a6cf5e5e11224ddfb5691ba4b19e7a","datavalue":{"value":{"entity-type":"item","numeric-id":5402239,"id":"Q5402239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"968caa4a964707f3c276db7d20122419d92f81af","datavalue":{"value":{"amount":"+0.9547029137611388","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":"Q5027240$DFAD5009-BD14-4CAC-9249-D33A55EC833F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ee3a494332ed63baedcb82bb6f8b1924d2c23d","datavalue":{"value":{"entity-type":"item","numeric-id":1772779,"id":"Q1772779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a1551c9a8e705574b9f00ea3b02f769eee2fc3","datavalue":{"value":{"amount":"+0.8650625348091125","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":"Q5027240$563C19DB-9CA2-44F6-AC6F-CF83B0858679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fc4c2b14f81fc5f6d7a8116c75f220c9c847671","datavalue":{"value":{"entity-type":"item","numeric-id":2940883,"id":"Q2940883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c3c6d558c97e0022bb0b3b2956ebf1893a69a8","datavalue":{"value":{"amount":"+0.8527078628540039","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":"Q5027240$0923F635-A5F4-443A-8758-A50A23B7BBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61c8c6bf3268e4f19ed444ad6200156f4f8cbfc4","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ada03b11a4df7892e0a03723ef078adb2454c0f","datavalue":{"value":{"amount":"+0.8521576523780823","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":"Q5027240$8F0834EA-C3DA-42CD-BD02-C64C4E48F275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"467d210af205c85e6317b112cb135df234ff238e","datavalue":{"value":{"entity-type":"item","numeric-id":5479024,"id":"Q5479024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0836d5ebf2f5eede6d46b9cd1bb4562dc313b81d","datavalue":{"value":{"amount":"+0.8474243879318237","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":"Q5027240$B8B12496-2639-46CE-80EA-A66EE449B159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5027240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5027240"}}}}}