{"entities":{"Q3723679":{"pageid":5753585,"ns":120,"title":"Item:Q3723679","lastrevid":50763044,"modified":"2026-01-15T02:15:01Z","type":"item","id":"Q3723679","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3954252"}},"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":"Q3723679$23DA6086-7148-442D-BE30-A79F980AE156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2eeaa3d579a59ab081cc6c9b6697a6bda55db2","datavalue":{"value":"0593.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723679$17B788E2-F351-4AF1-8994-6914563CD1E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4286ecdd9da7f77e8c90e28e1289f662a6852a8","datavalue":{"value":{"entity-type":"item","numeric-id":3707386,"id":"Q3707386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3723679$F089E10F-6087-40C8-B0CF-25CFCEE0FC28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3723679$7E66FA25-3DB4-4594-B71A-776B93F52878","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723679$43A69E30-1C56-476E-B501-F741EE73EB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723679$2940DE84-5877-41DA-A62F-43E8B688D915","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d408b8399ae53ab591cec0657855c323e0397758","datavalue":{"value":"3954252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3723679$EF15013C-1D58-41D8-B9E7-18D1A7D10CBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3dde4114ed323bba3ea279c0a015a381c56adf3","datavalue":{"value":"correct and reliable software","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$472086C6-31D7-483A-9352-77F4272043EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$0FE10048-EEFB-4183-AFF6-4755A25DD220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$EC423234-6E48-4829-A1FE-2E0E9C3E4966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$A6E7F58B-FCC9-4BBF-A646-C122EA8DF687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71136dcdf3b574afa41ac45e76659510e76dc9de","datavalue":{"value":"error handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$4762454E-0531-4A73-8828-873F8BFDCCEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f64a517d7a5ce28fa88267ffaf6ad05f9bc336e","datavalue":{"value":"canonical term functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$3B201768-9E17-4C5C-8F61-E1DCAF9EA3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b6701a7784189620da3a296685a5b023480df0b","datavalue":{"value":"integrated software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$045122D5-7D7D-4AD4-9FC7-2B34FF33D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb237a09b46e833dd2d743fa4519378a856a533f","datavalue":{"value":"verification system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3723679$9D7E44D7-6177-446D-AEFC-A0737C8B0743","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":"Q3723679$4F5946EA-7E28-42D0-9F43-45DD8D5C2977","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eadf349942bffa987f68b35f16ff67e645c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3723680,"id":"Q3723680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d94daa227f576e386fc2fb795bbd9164bb929852","datavalue":{"value":{"amount":"+0.8163624405860901","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":"Q3723679$C83EAB09-D2A0-4F62-A914-CD65B4E85327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ca8840e5358709ccdbd3bd9abc41594bb630d6","datavalue":{"value":{"entity-type":"item","numeric-id":583876,"id":"Q583876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e58cd43fad7a1cf34a48279450b9c7a4c852aea","datavalue":{"value":{"amount":"+0.796812117099762","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":"Q3723679$69B2A672-7D8D-4633-9F4B-D3C4B72A978F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9918eefb8cbb3aa6de5487625e6a887b35ef9871","datavalue":{"value":{"amount":"+0.7777851223945618","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":"Q3723679$703D1B41-902C-4BEE-ACA6-1A2598B39504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89349b10e94890687c2bab7b4abe36fe6b0127ae","datavalue":{"value":{"entity-type":"item","numeric-id":4212721,"id":"Q4212721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc854fc51bd43fd3fc4cda4ff080091d3c2e8b66","datavalue":{"value":{"amount":"+0.7668591141700745","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":"Q3723679$571C60EE-3282-4276-AFD8-85FF31172B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0600d7cec67342dc489859d936dc6b428c0864","datavalue":{"value":{"entity-type":"item","numeric-id":3725525,"id":"Q3725525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5285626ead20e460f01a95bbf860a1dff1a87770","datavalue":{"value":{"amount":"+0.7632629871368408","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":"Q3723679$81227D02-2B0C-49F5-ABE7-0E72F13C090D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3723679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3723679"}}}}}