{"entities":{"Q3707340":{"pageid":5737246,"ns":120,"title":"Item:Q3707340","lastrevid":50485853,"modified":"2026-01-14T04:30:15Z","type":"item","id":"Q3707340","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936465"}},"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":"Q3707340$97DC3044-1A8F-4D24-A83E-D57EFE293DB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c477b423f4dba8ebe02ff53cf3b8f7f2051a5364","datavalue":{"value":"0584.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707340$C4116E72-4CA8-4EB7-8FC4-FBBFA25A8464","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3707340$1C54F558-56DA-4814-8E21-71E51D0DB75F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707340$F3C7EFE1-73B7-48E6-9627-5236D9FBE4FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707340$B850797C-8B1B-4B9B-8769-76D2D86F8DDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aee40a5c285039639eca438ff7bb597d8aef4608","datavalue":{"value":"3936465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707340$C9C3163E-43AB-43BA-801F-428268EB457A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebb91adb151f981c0c249be4c6bfe21b053294bd","datavalue":{"value":"systematic software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$C33E2E4B-602A-46AB-BF70-F51DEB2135EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94d05492a0435675532bbf6e3f062cf5f6fe0849","datavalue":{"value":"VDM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$122F6CD1-03F2-4E75-B8A1-6503254D093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$B47DB29E-53C5-4461-86C8-1FFE61465C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$74218169-F059-430C-85D4-EEF3AE82CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e136e86dc3fef12f8c88ec9b9e080bfe53f4293a","datavalue":{"value":"formal proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$6AD21FA9-86CD-4F5D-B86A-0E6FD3029DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe05cd57e25692c6fec95b7bcab2da0ffb867001","datavalue":{"value":"abstract specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$ABE1D1B0-5194-4695-AD3F-E7BDEB15A85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e6de8b60d72ef6bffef748f549d4aa4b2e01908","datavalue":{"value":"Abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$9E82F651-799A-42B9-852C-C973FF87872B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d889605e80bfb64147d0aba3e0cd17339739e6ed","datavalue":{"value":"main programming constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707340$E7320C87-FBB2-43A1-B758-EB1FAF2163C2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eab9d14b6e6a1decf0c3a30019cc307a4c867a39","datavalue":{"value":{"entity-type":"item","numeric-id":890477,"id":"Q890477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3707340$2348A5E4-2C8F-4E6B-8CFE-B82FC11D040B","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":"Q3707340$96F8A7A9-B22B-4636-A074-B9BCF002BFCC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a44fba1747ce387dd7a919fdbc66d000ffe8372","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1ca25359db7c0f2b745588d44513a8180a35d9","datavalue":{"value":{"amount":"+0.8602997660636902","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":"Q3707340$A9E1020D-4A74-4398-ABB0-95E7467AC967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38c6b34d16a08355304869005cbd2e93a5af35ff","datavalue":{"value":{"entity-type":"item","numeric-id":3729999,"id":"Q3729999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27478d3042ae973c65a6309ea8d84e68b39d779f","datavalue":{"value":{"amount":"+0.8553733825683594","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":"Q3707340$CFD72EB3-3C03-427F-AD69-B4E72E98443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a147675ee1eb4602f937dbb79d93707d22eece46","datavalue":{"value":{"entity-type":"item","numeric-id":4287760,"id":"Q4287760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d826fa704db8482aede44936eb6c42336059a603","datavalue":{"value":{"amount":"+0.8303970694541931","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":"Q3707340$54D6B9C3-BA0C-459C-A1D5-F33FA1813705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a1c5aa7741ffd48aef71c8b7046a88e827521","datavalue":{"value":{"entity-type":"item","numeric-id":4884901,"id":"Q4884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bc9c78faa9c8b58ae8c783f23b958661b6d916","datavalue":{"value":{"amount":"+0.8261404633522034","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":"Q3707340$77A35276-87D3-406A-94D0-19383232F8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ceea2621b6219197a8bd853b94b50c3194eb49a","datavalue":{"value":{"entity-type":"item","numeric-id":3996919,"id":"Q3996919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c2eba615320a285ca180e6dbd8d730661ab8b6","datavalue":{"value":{"amount":"+0.8142574429512024","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":"Q3707340$704BD4B9-7437-4258-9776-2C8B44983DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707340"}}}}}