{"entities":{"Q5458813":{"pageid":7488372,"ns":120,"title":"Item:Q5458813","lastrevid":101131895,"modified":"2026-06-05T23:57:20Z","type":"item","id":"Q5458813","labels":{"en":{"language":"en","value":"Bounded Relational Analysis of Free Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267201"}},"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":"Q5458813$7DDBE10B-8872-4755-9A13-6FB0F61E7F20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"395da560ba7fe5d182ad7498242e00877661e90b","datavalue":{"value":{"text":"Bounded Relational Analysis of Free Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458813$2C0CE14E-9ABA-4153-BA3A-1AAD36401F2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc8276f140972e29d032fe0d72858e7622cd1bff","datavalue":{"value":"1138.68446","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$B5BCDB64-4BD3-48D3-A798-FC5606C6B4C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"170456857f5c52ebf1b8e1c57fb35947a39961c1","datavalue":{"value":"10.1007/978-3-540-79124-9_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$6427909E-5267-4818-97CA-F42F7EC823C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92085f665e1691633e521f7598972e8cfede053f","datavalue":{"value":{"entity-type":"item","numeric-id":616852,"id":"Q616852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$BB3CB71B-6344-45C7-9E4F-8FF2D640DEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$35D04F4A-57D2-4B07-80DB-2333ADD83E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$34B9EAE7-5D60-4FB1-879F-5F9726CE0D2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$5C632444-76E6-4760-A084-3FEADC05264E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458813$9C2F3C55-CF73-4F53-B026-F18DE70CAEDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$5C5833D6-09A0-46F6-AF9E-D6D849D8BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$2521F791-77C7-4AFD-A1D0-91F0CBE61558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$A87ADEB2-9DEE-4831-B1C4-CF80CD0D41FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2d37de183b4e94125454f31796f5eda41e33e6c","datavalue":{"value":"5267201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$2754F16F-15A1-443A-9BF0-C8DDDDF04631","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0f501697f0dc8196354285954a7915634bfb5d","datavalue":{"value":"First-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$467CBB19-FAD5-43E0-8A2B-8357259191BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$9D804D13-7A62-4C9C-A3BE-77F97F24FF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5389df221eda7fcd8b42e7cf74a666749b83f4f0","datavalue":{"value":"SAT checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$3BCBA200-B0D1-44E8-B2F6-07D0D67D818B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$78131CA6-5B6C-4F06-8EA2-FFA451A4E8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$9FA9F0D5-3D93-40DE-8D38-7A92AFCAA27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$6F93C065-4DEA-4E3E-BE61-A8A5EA930B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5458813$83AB3EBE-AC8C-49B8-A593-C3361EFDAECC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$544D504E-B261-44F1-BE7C-0C3866B62875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$0084B583-C7FD-4FA1-9D4D-E68A5FBB99E2","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":"Q5458813$69612166-20DF-4E18-A728-447E50EC10FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3f61c9b55ffe98c518e45dd09c6b82496a9b0db","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79124-9_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458813$53BB2E32-4C72-4AAE-8C73-2066BA0F1EF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"869b18cde288303ad3c468b1fa074b7a5ad3cc53","datavalue":{"value":"W1517066021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458813$5A1556F9-971D-4CEF-B173-D2505BBB54E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"efba3487c15800f36ba9934c0e12cbed912934b3","datavalue":{"value":{"entity-type":"item","numeric-id":4524769,"id":"Q4524769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$CEBB40D2-1575-4FB9-8616-2C3E4854E4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f017fef6a8054b97a88728b63dfe512ec7f57b","datavalue":{"value":{"entity-type":"item","numeric-id":5291078,"id":"Q5291078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$7B47371E-9F2E-4707-9858-29C84590CB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf54fd52b3ae148a01d4229df0c1b5a1e68af7f","datavalue":{"value":{"entity-type":"item","numeric-id":3613415,"id":"Q3613415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$6D495B57-5C8F-4438-8A5D-2B94D90BEF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$B044F290-49EE-43FD-80AE-FDA461FBDA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$5E5C5535-835B-4EE8-8D55-4980C2DBC3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d233e67344072737d280f066a9993fd208f9a94","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$AFE7F162-77C8-469D-AA92-8CE313EFE09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$FC2A8EB3-73F4-4BD8-A6C2-08CCF2A71C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88ce955fc019155ebd9bd8280efa709429c3b2f","datavalue":{"value":{"entity-type":"item","numeric-id":2848413,"id":"Q2848413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$5522468E-027D-411C-8D5A-7C344DA47DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aed260635f764ea193c56b994171a3dbde40da7","datavalue":{"value":{"entity-type":"item","numeric-id":1581357,"id":"Q1581357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$40781189-20E0-4FD6-A379-E0434ECA90A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0c89bc5058478efe6521cbd23c3ae75b17e8fd","datavalue":{"value":{"entity-type":"item","numeric-id":4539647,"id":"Q4539647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$4BBFD958-E6CF-44D1-86EB-DE3CC7762FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb0c78eba5e5fd5c0a92eed25371302058474624","datavalue":{"value":{"entity-type":"item","numeric-id":5313002,"id":"Q5313002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$D33C8491-5F27-4C6C-8E67-C793924F2434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458813$CC4D9C65-8186-4F9B-9004-DA63CBBEBC6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320614a55b36fc09047e11fb8e4de0f07f7010b0","datavalue":{"value":{"entity-type":"item","numeric-id":3540070,"id":"Q3540070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f3a6cdfd7d45a84073b967a17528703d5045de3","datavalue":{"value":{"amount":"+0.8012952208518982","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":"Q5458813$0C219443-2C4C-4AD0-AEE7-0A5F844FA947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8aa53d7e24e66ea9cdb3d1b51b908159442f6ce","datavalue":{"value":{"entity-type":"item","numeric-id":2894289,"id":"Q2894289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47b6ff89c5793b3d31bf43d8641aa1e21c84404","datavalue":{"value":{"amount":"+0.7781537175178528","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":"Q5458813$F2DA26C0-84FC-4D3F-89BF-ED9FB44CF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f08514e105308ac9bf863ba3ff7906e104af95","datavalue":{"value":{"entity-type":"item","numeric-id":616853,"id":"Q616853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f481212ace36b40ef4f079b7e43dbec1e8cccde","datavalue":{"value":{"amount":"+0.753362238407135","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":"Q5458813$C44F988B-73AA-4785-8DE6-B3D3C4D7CADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d96d11b6713b46ae9b8b498facd35353a9917d","datavalue":{"value":{"entity-type":"item","numeric-id":5758135,"id":"Q5758135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a9eb65f6de437655674f373acb54c512305ec4d","datavalue":{"value":{"amount":"+0.7280025482177734","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":"Q5458813$55B8E7D0-0DF8-4D36-80A6-A8BDA3CE9BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb88e132a6ca5232f4be1d9ed6f61943c5ddb586","datavalue":{"value":{"entity-type":"item","numeric-id":2848413,"id":"Q2848413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32903a08f9c444f9f09e9d669633be40acaab454","datavalue":{"value":{"amount":"+0.7122862339019775","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":"Q5458813$F59D847E-7B29-4808-96C2-B82E484D4C68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded Relational Analysis of Free Data Types","badges":[]}}}}}