{"entities":{"Q3077273":{"pageid":3087989,"ns":120,"title":"Item:Q3077273","lastrevid":86342873,"modified":"2026-06-03T18:57:40Z","type":"item","id":"Q3077273","labels":{"en":{"language":"en","value":"On the correctness of data type classes based on contracts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5855016"}},"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":"Q3077273$584F105B-7D17-4E31-9271-7A5314B04D4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96c2fd5403af5cc23348b9268db7066c0d9ebafc","datavalue":{"value":"1224.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077273$AF422CCC-4B76-4314-B3C7-C755FA2CC2F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ce7f58682413436d8d8499ec31fc1f8f2a5d305","datavalue":{"value":{"time":"+2011-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077273$D997C6A7-9B8F-4496-910C-5C98C468E35A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077273$11CB134F-B29E-43D2-BC29-01CA328EE26E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24b1627ca9da33e0b555027de991906e9fe53bd6","datavalue":{"value":"5855016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077273$4EE5E4F2-03C8-4900-B825-277D6EF75CE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7d8c27f00b880dfa4a2cda2a84326cb7cf5552f","datavalue":{"value":"data type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077273$7C73C0EE-052F-4B29-B5DC-F7EEE57ED87A","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":"Q3077273$BA73C0A6-2C1A-4BD2-8A6E-FEEA90737273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f892d05e23376f2a9cccd16de1f8721584b0e30","datavalue":{"value":{"entity-type":"item","numeric-id":5861787,"id":"Q5861787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8260fa5496dedf644e9d8c28a4f4c5b4dabeebe8","datavalue":{"value":{"amount":"+0.7341881394386292","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":"Q3077273$74E8D558-18BA-42F9-BCB0-D7F48A521C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb82c5465fee36530fd4cac3c39e3da1800d67f9","datavalue":{"value":{"entity-type":"item","numeric-id":4762656,"id":"Q4762656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e5581d69fd32fde9342e14fe5551d32aa7060c","datavalue":{"value":{"amount":"+0.7262149453163147","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":"Q3077273$1C3F4614-BB44-42B0-BDDC-7A21B834619F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9afbfca29e6fa1fcd8c0ff008343d0199441d943","datavalue":{"value":{"entity-type":"item","numeric-id":1977078,"id":"Q1977078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e5581d69fd32fde9342e14fe5551d32aa7060c","datavalue":{"value":{"amount":"+0.7262149453163147","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":"Q3077273$0E28B7AE-AEC9-4A12-AB7C-2566D84552DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebbb896e7ffc96251b1b465971a45de40a0a48c4","datavalue":{"value":{"entity-type":"item","numeric-id":1586166,"id":"Q1586166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413aca5c788978354b83f61c4a7e1e0acf91f81d","datavalue":{"value":{"amount":"+0.7176359295845032","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":"Q3077273$2FA44464-B33C-4182-9EAB-39EC5FAE10D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54f1550cad34fb6fa1be00ef2b7be9bc02b9f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5902542,"id":"Q5902542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04f86175a73e101201c1d55f1c7b03d41086875","datavalue":{"value":{"amount":"+0.717567503452301","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":"Q3077273$1EEEE8D4-8107-4149-90DC-E4AEE23BD6BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the correctness of data type classes based on contracts","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_correctness_of_data_type_classes_based_on_contracts"}}}}}