{"entities":{"Q2848053":{"pageid":2858773,"ns":120,"title":"Item:Q2848053","lastrevid":51832655,"modified":"2026-01-20T06:37:16Z","type":"item","id":"Q2848053","labels":{"en":{"language":"en","value":"A practical approach to partial functions in CVC Lite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211409"}},"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":"Q2848053$0D1E379A-6C0D-4796-9C2C-1020564951D4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aba4bccc9d6aff54f6af66ab0751bb0a342ad0e","datavalue":{"value":"1272.03136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848053$9422AF54-9C19-4092-9EBD-D5B824C78CB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec93cda931f97e37754e70e706d16c8dbc572422","datavalue":{"value":{"entity-type":"item","numeric-id":1604723,"id":"Q1604723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$1A9497CB-35B7-4A4A-8649-AAFEADDC0C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$1CA40B81-D640-4D19-A846-949DB609EBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019cee295f168ae5eb9f2e97c6cf6edbb02778e1","datavalue":{"value":{"entity-type":"item","numeric-id":2848052,"id":"Q2848052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$965A4C4F-1292-44DF-88C1-74F595D0EC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$C5EED2B1-485E-4C4C-8E73-B020625CF09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$687988F6-02D7-470C-9E42-747DC0DBB20C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848053$D1EC531F-9396-4AC7-8524-3E5E3BF847A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848053$2425F64D-E127-480D-AB26-7CE3F1112DF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ec4846cf8582c5fb2c78dc3ff6c1ef5e9fad043","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050693","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848053$F4358D85-66C5-4D56-BABF-EFF8E7A7A50C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848053$B91C6EA1-803D-4E12-AC2E-4C64428E29D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848053$90824700-B984-48DE-B256-D1B81BE1F37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848053$18645E5D-56C4-4B33-A975-FDBFD09128DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f20e25887cf1a7c60219bad894efff7c17c8bb6","datavalue":{"value":"6211409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848053$A699336D-A8F2-46E4-A2EA-5CC70ABD0891","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":"Q2848053$DC4A1B60-9B82-48A7-A7A0-143CF16FF904","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16cdf5f98243e10903ce8d24e573d9756fe69691","datavalue":{"value":{"text":"A practical approach to partial functions in CVC Lite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848053$36B6BA56-E2EB-47C7-B1F7-FEB1DDAD883A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860325de97a966782d55840d1517a365722438a2","datavalue":{"value":{"amount":"+0.7911195158958435","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":"Q2848053$A64EF32D-DB99-4F2A-873D-918847E97454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671ec0799344f16cd6c6d298783843edad6951e1","datavalue":{"value":{"entity-type":"item","numeric-id":963419,"id":"Q963419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0922acdbcf2aad307d72f5423fa594b4cf124e","datavalue":{"value":{"amount":"+0.7704637050628662","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":"Q2848053$89D002D8-2F31-4D1A-8D9D-A11CCDB868B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd4d68429e4e1970dc21945e4350b40d5be6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cccb54a9992a329f044a26ff12f44ec851a32e33","datavalue":{"value":{"amount":"+0.7675702571868896","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":"Q2848053$3A786628-8EEF-443F-BBD8-6B78CEAAFE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9666d9095ca892169a9512aee8dbcd8fbe4f61","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9edc35898f839aa045e62d4e49021a98acf84c8","datavalue":{"value":{"amount":"+0.7653490900993347","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":"Q2848053$D3EC1CC6-7715-4E18-90C4-B44C518F1942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7854d8d87637b7ccc5c885e4f2cbb2a7dfc6ef59","datavalue":{"value":{"entity-type":"item","numeric-id":2987064,"id":"Q2987064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30823a12234a10e281bcc6baae6d9728005ca0b","datavalue":{"value":{"amount":"+0.7616408467292786","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":"Q2848053$68D05FDE-135D-4C41-99C1-0866EE0C677F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848053","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848053"}}}}}