{"entities":{"Q3533154":{"pageid":5563058,"ns":120,"title":"Item:Q3533154","lastrevid":50483867,"modified":"2026-01-14T04:22:47Z","type":"item","id":"Q3533154","labels":{"en":{"language":"en","value":"Automated Reasoning About Metric and Topology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5359328"}},"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":"Q3533154$713C3532-4534-4C3C-8325-7B3125D2E706","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33222af549cc26142fedb3c839bbf29ef7c60b2d","datavalue":{"value":{"text":"Automated Reasoning About Metric and Topology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3533154$FBCFC49E-664B-42B4-9CAD-CB73C3E65F1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a275c711ed5f9bf0f6f068b20a1ed8a905c49f1","datavalue":{"value":"1152.68523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$5F87FC92-3914-4DE0-90AC-E24F2DBB958B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f0e435f03850b0d1076e0de726ce327893eb292","datavalue":{"value":"10.1007/11853886_44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$36F4A36E-4850-4774-93B8-A69DEA384BBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$635680D1-F95C-46F0-8C7C-4858E610FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$4747505E-3389-4C33-B70D-7F14C7067D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$23D1B640-8D64-487F-9983-9AE91231E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$FCC5AA0E-1550-470A-9B1F-6E559A2647DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$B916B301-BB12-4D5F-9924-B851F902A3B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a314951617bacafcd051bc028a7f73602f45eed","datavalue":{"value":{"time":"+2008-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3533154$68F29F06-4EF9-425B-8535-3FF66CE6A036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$B7B6881E-8BA7-4C5D-993D-A570DDFF8560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$7AF827D6-F437-4EED-950B-790D63316249","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a7030831cbded0078eaf205f52ef746181510c7","datavalue":{"value":"5359328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$7AA987BF-422E-403A-B9FC-E773F564379E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7b91ac32942574114e615de5dd586d7306b3c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":18709,"id":"Q18709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$0A0335F2-CCF5-401A-AEC3-7FAC0D64120D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$3CE53520-1F5B-44CA-813A-6A2C06D7D436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$45AB63A4-F343-44AC-B158-47BF3E0AF1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3533154$AF4C0F06-3B6E-4B89-A428-9DCA20CAE570","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":"Q3533154$4E30824D-32BA-4797-B240-3FC42527746A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c46d016192cf61fc399f4de090c1d95a00e29d00","datavalue":{"value":"https://doi.org/10.1007/11853886_44","type":"string"},"datatype":"url"},"type":"statement","id":"Q3533154$400579F0-FD87-4ED9-A8E4-4471DDB2A820","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10c365707ece228c4b2e93c571c3970ceba59431","datavalue":{"value":"W1489969750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3533154$474C25F3-7127-4F20-8411-55BE675A80B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0b59fb36930634e1300d81b6c967bd13285630","datavalue":{"value":{"entity-type":"item","numeric-id":5718689,"id":"Q5718689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27823a7b505ef4f2b0040db23ad337aee6e1a5c1","datavalue":{"value":{"amount":"+0.8309000134468079","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":"Q3533154$2FAC2B77-ADFB-4E01-97B5-2C5E754AED3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f2a99c0c31e782707510463f9631a669cab953","datavalue":{"value":{"entity-type":"item","numeric-id":3509066,"id":"Q3509066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"780401240ec8261dbce30e858be98093b63fc562","datavalue":{"value":{"amount":"+0.7585549354553223","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":"Q3533154$2A65A4AD-8BF8-4CC2-B290-9D61CCAF041A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cd7d24fa4719877014cfeeca83408e41aded10","datavalue":{"value":{"entity-type":"item","numeric-id":636293,"id":"Q636293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc9f5d3fa29890739ab305d2d9cb251313442dd","datavalue":{"value":{"amount":"+0.7510408759117126","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":"Q3533154$1C260518-D19D-44A8-A41C-A1912DC46332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d72affd4dfbb0fe1eb45825667db84c214192b","datavalue":{"value":{"entity-type":"item","numeric-id":5388732,"id":"Q5388732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed00d645382ace292d132eb7482747cca2794956","datavalue":{"value":{"amount":"+0.7462568283081055","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":"Q3533154$2D9536ED-9F05-47A9-AD77-C690F1B1C60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7886f6ae241b8247837468257a0071dbd77e064a","datavalue":{"value":{"entity-type":"item","numeric-id":865049,"id":"Q865049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d61fd6219d54dd24b15392e84a3e746276a723","datavalue":{"value":{"amount":"+0.7251166701316833","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":"Q3533154$F60EB765-685C-492C-89F5-8C7DD6E78FD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3533154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3533154"}}}}}