{"entities":{"Q2352487":{"pageid":2363230,"ns":120,"title":"Item:Q2352487","lastrevid":74087688,"modified":"2026-04-14T18:19:08Z","type":"item","id":"Q2352487","labels":{"en":{"language":"en","value":"Locales: a module system for mathematical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455027"}},"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":"Q2352487$0B3BDFC8-B4CB-494F-B971-61B188168124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8c4459b9c7cf99712e93b5d1fa1459afa19afa85","datavalue":{"value":{"text":"Locales: a module system for mathematical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352487$88BE75B2-6AA6-4008-A4E4-A7659BBB954E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f60eeb99ba77e085bcdad17695f8cb181589dbb","datavalue":{"value":"1315.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352487$49A13946-978C-4685-B7BB-4D2A7CC1E537","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$29624867-EDD4-4D4C-AE9B-10B651A33FC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$3E37D981-5858-4A77-8154-640178FE1E44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2352487$E394E64F-41E6-4BFC-85F5-313190CAF1F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352487$C8E80BB1-9E82-49F0-8F00-8FDEEE3F8AFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b02089f52399005faf4a290694d3255004d563c1","datavalue":{"value":"6455027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352487$7A2FA1DE-BA9F-4457-B55F-1E910CAF5473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352487$F277A62C-18EC-4741-82C0-AE90DD5BC710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e770c5268f1041a9ac6fedbfc41045f248ca22","datavalue":{"value":"module system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352487$FECBCD38-80DE-4989-9174-CE6D7E01A727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1257242fac48b587af1539117ae5292b7ada2233","datavalue":{"value":"theory hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352487$5F881C34-2040-460F-A1E9-66E83F6ABB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"095e2bcb3504c26c43b06f39058ae01811566e3d","datavalue":{"value":"theory interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352487$DB152D0B-5BC3-470D-BBEA-79E0ACE6C021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352487$B1A419DF-4A72-476D-9A80-AA6E4F9269C1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$E432F678-A0BD-45D9-B2E6-A01FF2AF4EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$725EFF9E-4A49-4F3A-8763-E7B2CA164D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$ACA8F1C3-A50A-4A9D-B599-9425F895E018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$A60B72A4-5E42-4867-838D-37FB084A508A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$69882277-32F8-4F7F-8C31-13B2EA09EF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc0ef8503a8d7e821dd13879e1649510713f2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":27002,"id":"Q27002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$4E942A46-29A0-4C3F-BB0C-101377867BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$5825DD9E-58B1-4A41-AB9A-7B568FA5DEA6","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":"Q2352487$737999EA-A865-42BF-A9C7-924797C6A38E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc7c51ca281aac3457ab855ab543279f8e0ed16a","datavalue":{"value":"https://doi.org/10.1007/s10817-013-9284-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352487$1D3911FF-D321-4FC9-A2CB-6E45939B7C29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c961d6fcb5414848cdb3885a908a5237ddb10b5e","datavalue":{"value":"W2061969020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352487$DFD62B4D-06A7-499D-BCBB-34386E7B8819","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe18d788ed680a98543164e5e2ed759f0b7234a","datavalue":{"value":{"entity-type":"item","numeric-id":4236216,"id":"Q4236216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$3965EDA5-6F84-417D-B9A2-8FD75A54EF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$4AF2E3EF-1327-48E8-844F-C3D7EDD5D932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9689d3285995afb42633d6587b8f7ef68cfb9e38","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$0CA5451C-C3A7-4CAF-872F-5116E4A8F3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$EEDCFC54-2A29-4D8B-8E32-054AB78C21FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$30F7C3A5-31EB-430F-B020-2635E2D4DE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$39713D87-0B5E-47BA-8E76-F58F2E8908B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$E9BF4BA7-907A-445C-9DED-23F6E6314CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45d318d795f466432197c656e7084c7e098258a","datavalue":{"value":{"entity-type":"item","numeric-id":4944854,"id":"Q4944854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$31D97CE3-3D5B-4DA7-8D3E-F838E487A2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f75231b15cd655e3469c626d7de6d97c7bba62e","datavalue":{"value":{"entity-type":"item","numeric-id":3088012,"id":"Q3088012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$302F6E71-1FC6-40F6-A713-DB8FB692B575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b09f99d6db815f76ae0a8a4fcddc01dc77134f0f","datavalue":{"value":{"entity-type":"item","numeric-id":4809073,"id":"Q4809073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352487$9293A187-4EBD-4A2A-88A6-C767FDD5AA75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af75e8406877fa3ce617b4c2e9069dc25a64ce48","datavalue":{"value":"10.1007/S10817-013-9284-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352487$9DFEEF54-BDE4-4E91-9BF6-DF8A74ABD4C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2facb9784a7170c9a092f64762e607a4c929eafe","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f01467faceef64bb8e409875a6aa751b2799e80","datavalue":{"value":{"amount":"+0.8521618247032166","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":"Q2352487$6B9B1250-E473-477F-977B-870A267C6FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd24b865f4828fab0e58deff453e0d79e3a445","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f3c3b11055768cae785a341a3b5231f0c6dc16","datavalue":{"value":{"amount":"+0.8405349850654602","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":"Q2352487$B1165A7B-586B-4BE5-9DA2-5F79EC41C8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7c1a54ab27e12e93b5f88592fad38e53df67ad","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d64dc5dfc8a48fd73841780512232af671f0d26","datavalue":{"value":{"amount":"+0.7861244082450867","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":"Q2352487$BE07FDD7-0037-4CB0-971C-6059363612E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987159d38f1ec1454d19703a075c6da6101a37e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756774,"id":"Q5756774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ccb5b39f098292fdc034f700739b6b310a9083","datavalue":{"value":{"amount":"+0.7785795331001282","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":"Q2352487$FA53E4DD-F04E-4C31-A7C5-9787692C3E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5c10f469ebd8973e02cfaae23e4767153b3bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2723411,"id":"Q2723411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e03e8d7c2df5a7664b96be7d05ba2aa7051c822c","datavalue":{"value":{"amount":"+0.7730637788772583","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":"Q2352487$254862AD-3DD5-49AC-96BA-58F1E4E6FCA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locales: a module system for mathematical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locales:_a_module_system_for_mathematical_theories"}}}}}