{"entities":{"Q4729320":{"pageid":6758897,"ns":120,"title":"Item:Q4729320","lastrevid":49305703,"modified":"2026-01-06T22:41:25Z","type":"item","id":"Q4729320","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4113956"}},"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":"Q4729320$C9ED710D-DA6A-409A-A4C0-B34DFBD5D05B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9dd36c89693dbe35190dd158c6ce3a0ec1b51ff","datavalue":{"value":"0679.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729320$5C24D625-7BD4-4A49-945D-FE4409D701C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed46670262ad37ba26213a7e4b5d9540dad63f3","datavalue":{"value":{"entity-type":"item","numeric-id":1103371,"id":"Q1103371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729320$D65F1DB5-D005-4A64-84A9-1CA71100FA9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1698cf3835e3b24dd8768b1069126604e05c5b53","datavalue":{"value":{"entity-type":"item","numeric-id":3344444,"id":"Q3344444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4729320$7D96F4A1-9B7D-4440-ACBB-44BF95980718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4729320$04FEBF3C-D0DF-4AE0-A805-0604E8E0484D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729320$B6469AB3-BA6B-4290-A11A-8BAA6B847054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729320$D0B49AB8-E4AA-4F1E-B502-E1ACBFB3F550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf84f14467f5ca9242ca7041d8fc727e2c63d282","datavalue":{"value":"4113956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4729320$EBD28233-B905-44D3-A65B-02159169EC74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729320$FB97F8D6-38EE-4383-8CEF-F840339F6460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729320$83E43457-2C55-4CEC-826E-8C1C761B32C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b892701cbaa959a403427ed86fbc519c8d7459","datavalue":{"value":"functional programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4729320$237EA78C-180C-463A-9147-6CCEB596E034","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":"Q4729320$AEE06968-976E-499A-99A5-FA3C0102E195","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5add08a5d004f50146f4311c1ba27d67f8ad1f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3477935,"id":"Q3477935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ba2dd98e8147b7b984e86bd7f5e30a4636a2b7","datavalue":{"value":{"amount":"+0.7680994868278503","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":"Q4729320$1F31A245-491E-451F-8BBA-6F15F4A11A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0d69e05c69312d3e07c1ba1409717c12d9dc1ab","datavalue":{"value":{"entity-type":"item","numeric-id":3568323,"id":"Q3568323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e503c8c5addf7b0fc7f83642d9068775afe5216c","datavalue":{"value":{"amount":"+0.7453470230102539","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":"Q4729320$AD705031-36ED-4A17-A5D2-C57FCCE84B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb9b71b7753a29bfbcc51e9bb1e482c94fa1772","datavalue":{"value":{"entity-type":"item","numeric-id":4028372,"id":"Q4028372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7d9f7ed8acbd2cd9df772c652c22554311a8f6","datavalue":{"value":{"amount":"+0.7420706152915955","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":"Q4729320$163468A0-B774-4483-A5F2-D240770420E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f3ad7d15f021414a3a31a7fe2a336e2f6f1431","datavalue":{"value":{"entity-type":"item","numeric-id":671683,"id":"Q671683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a7d9f7ed8acbd2cd9df772c652c22554311a8f6","datavalue":{"value":{"amount":"+0.7420706152915955","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":"Q4729320$EC31D161-0085-42A5-82E6-FD44361129D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30049c31a56fef1616d92074989de8c376bbfec4","datavalue":{"value":{"entity-type":"item","numeric-id":5930818,"id":"Q5930818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414bd9d3291845943671b384830865e14e25d944","datavalue":{"value":{"amount":"+0.7383459210395813","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":"Q4729320$79232AB6-3C3C-405C-B03F-8D0B8F565EA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4729320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4729320"}}}}}