{"entities":{"Q5176932":{"pageid":7206504,"ns":120,"title":"Item:Q5176932","lastrevid":94485209,"modified":"2026-06-05T06:56:23Z","type":"item","id":"Q5176932","labels":{"en":{"language":"en","value":"Semantic subtyping with an SMT solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411500"}},"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":"Q5176932$AFAC120E-4D74-4EDB-ACAF-13EF768C7317","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d36c7ed3a1503a4ba317e8bbf29029a18cafe82","datavalue":{"value":{"text":"Semantic subtyping with an SMT solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176932$89974E54-CF0E-4BAD-8F17-293BD130A527","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19d716f0d5008f28c2ae35746d52e1f3ffb6cef","datavalue":{"value":"1323.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$910CC130-27C1-45EB-981C-588597411DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c17dec1e4564eea4a74eaf6fbe613cc0bcb39646","datavalue":{"value":"10.1145/1863543.1863560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$F23A97A5-B150-4C82-B63A-86C0F88B9841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38c1f622ca5a8e1981406df5479b2fddfe8cfc72","datavalue":{"value":{"entity-type":"item","numeric-id":1575876,"id":"Q1575876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176932$AEE5E1BA-086E-4F85-8DC9-1327EFBE490D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43de6eaa827eff817a6e362b2bd7fef7fe7b1e34","datavalue":{"value":{"entity-type":"item","numeric-id":557894,"id":"Q557894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176932$356BE85C-D7CE-42B3-8EA4-840530C18A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9dca520b2b44c51b0ffb92f2dd255590e5e0e273","datavalue":{"value":{"entity-type":"item","numeric-id":2324195,"id":"Q2324195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176932$214A4D20-19E5-40A9-B086-2FB6DC55D658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38eb34b432720cf9d9c9ae4ec7fdaae62b00241e","datavalue":{"value":{"entity-type":"item","numeric-id":861297,"id":"Q861297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176932$AD3C01A2-4E1B-48FD-A83A-E30A6E9FCCD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176932$6FED5729-FF81-4CCA-B6A6-3C0521471D14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176932$80746E6B-618C-47C7-B15D-8F2968691081","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$A6D4778D-D688-4DB3-B249-191037D596F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$C3741DE5-1238-467D-A16C-E4636669E3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$F164FA2D-25BB-48D1-BD12-E75B1F715E4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b4053bc38a467226428dbf6efd90e67126abc9","datavalue":{"value":"6411500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$6752B304-E546-4661-9EF6-D04E18932CD8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d1d36ae588aa774b96d2bd7459bda7f10f7a013","datavalue":{"value":"data processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176932$00CEBCF9-2824-41D1-9491-66675C15054B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176932$4882AA10-3305-4FF6-90B8-1B94DDCE7903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57fa5119dd38e31c2d43118a16d20bea214eb0cb","datavalue":{"value":"semantic subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176932$85F9B319-1E13-45B3-BE0F-C0EBFBD82D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176932$A19133D2-2E11-45CF-B44D-761D329F1F4D","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":"Q5176932$59A7BF10-FEB4-4CEC-8B92-A8AA807F8E38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ccd611e2f054cf47f7c4441b5d444f20f489cd3","datavalue":{"value":"https://doi.org/10.1145/1863543.1863560","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176932$F7A3B2D9-6042-43B4-BC2F-09E6C311021E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3133e8d6a1590e79e6aa21e21dd574bb9d6eafc2","datavalue":{"value":"W2097959001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176932$52C06978-49D9-4D86-AF2D-89EABD0F080B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b72a63ec85c3ac64b887524536a03456dd05247","datavalue":{"value":{"entity-type":"item","numeric-id":2913944,"id":"Q2913944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cea59873f04d8da7d9538bdaf9ff6858b657c9c","datavalue":{"value":{"amount":"+0.9809458255767822","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":"Q5176932$E89EA449-D44B-483B-B450-B425D8056F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b44fc747366d94f9a9e1096673125cbc62020f","datavalue":{"value":{"entity-type":"item","numeric-id":2942876,"id":"Q2942876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8445714c90892855db534505bbb6f9c82a2c4d","datavalue":{"value":{"amount":"+0.7555280923843384","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":"Q5176932$36033215-0C3E-48A9-9009-6C8B87DDC0A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf506a39797dd2cb07bd3ce1ab670bdeaf6924a6","datavalue":{"value":{"entity-type":"item","numeric-id":2819690,"id":"Q2819690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aefbe3547831016e931ff72b47b208f397252b9","datavalue":{"value":{"amount":"+0.7290650606155396","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":"Q5176932$EFA76418-2F3B-4F53-846C-E0D2E5DF1F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bb553dce1a7850427f2b10761069eb256af0be","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67cb6c2c75d1e6a58e1f2018d8880dff04bdf1c","datavalue":{"value":{"amount":"+0.7248897552490234","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":"Q5176932$313D373D-A865-4DAF-B52E-19AC410663D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5c23dd3d2a3f362ec07e503134639c04b89bd06","datavalue":{"value":{"entity-type":"item","numeric-id":5716788,"id":"Q5716788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7c4e927ac7dfdb6ddf18e038f035886f37ef510","datavalue":{"value":{"amount":"+0.7219728231430054","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":"Q5176932$B8904FA8-30E0-428C-8274-0413F832A28D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantic subtyping with an SMT solver (scientific article; zbMATH DE number 6411500)","badges":[]}}}}}