{"entities":{"Q3999778":{"pageid":6029607,"ns":120,"title":"Item:Q3999778","lastrevid":55155061,"modified":"2026-02-04T05:16:31Z","type":"item","id":"Q3999778","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 50069"}},"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":"Q3999778$C97A48CB-7363-488B-8A6A-3E82B0BBD15E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df79b6fc7103a2f431ca6d4e0561ecdffe4d0077","datavalue":{"value":"0745.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$BB583D50-7F83-4049-826F-F4F8BEAFEF64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42f40625bdd8061a21032f3c99c29bf304e27abf","datavalue":{"value":{"entity-type":"item","numeric-id":3999777,"id":"Q3999777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999778$2640F063-50C2-423F-81FA-3B683B21FE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05226a21d9f4ef63f81f903c547f940808c1a06a","datavalue":{"value":{"entity-type":"item","numeric-id":1764434,"id":"Q1764434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999778$323BBB92-5BD0-4A76-8963-66F87E2B742A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57bfb0bee204749fd0d9d76720f6e4f0ec77a7e2","datavalue":{"value":{"entity-type":"item","numeric-id":3795182,"id":"Q3795182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3999778$FF27C770-6958-49CB-9B82-CBE43E1ADAB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3999778$E93DD2FA-BD73-40CD-A258-3027B7AC37E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$6FEC1D8D-4B4C-4487-9BC0-B3EA095FF615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$717F243B-37F0-4373-9A61-1E318C99E25E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$2EF13402-5566-48A0-8048-2552096D2182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$A27CEE87-80BA-4D30-8EC4-7D6495EA8816","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08683bf39d8e48797dbbcd0a2442c31c298da4bc","datavalue":{"value":"50069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3999778$5A61FFDF-25C7-4167-8664-766CD600A6E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a336468e8d765ec41912deae98920ed8a2759d","datavalue":{"value":"programming techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$B8037B3B-D562-4BF2-B5F8-2A43DB4169FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$E9F7D1E9-52E7-45D4-A9BE-47EBDF8EA308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$A98DBF6B-6ED1-42DB-B81E-45EFBB0456DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d402678107181f66d2423471cfda111da71f63e0","datavalue":{"value":"preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$3B84A6B0-2973-437E-A110-462CE5802905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa32ff4e2f8860bfe4fb807d807c21607cb914be","datavalue":{"value":"postconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$09136444-8291-4888-9489-BC9B5E2ABAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb111f358878095d3946009d8137cbd7bc3b8f1c","datavalue":{"value":"formal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$2682D1E3-3B24-487E-96A9-2B7130CD1709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$5C59B1C6-236A-4B09-851E-67F9B00724A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q3999778$5694899C-D9DA-4DA8-A56B-5FB88D705447","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":"Q3999778$E3A71D11-F0E7-47EF-9959-EA919A06C08F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096fe8341700847e10b04857b15ccdee655ad3da","datavalue":{"value":{"entity-type":"item","numeric-id":3998261,"id":"Q3998261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04485afd69245d3d24c99d19384c1f0c390e5f0c","datavalue":{"value":{"amount":"+0.9226584434509276","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":"Q3999778$657A53AF-95B1-49FC-A530-B1CAD0DF82A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8249330a13ae101895ef367eaa1d9987501e8733","datavalue":{"value":{"entity-type":"item","numeric-id":4321773,"id":"Q4321773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f977f1fb8406ba992c84e18a70205eaeb619a3ac","datavalue":{"value":{"amount":"+0.8916912078857422","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":"Q3999778$3D658006-1A15-4147-BC63-909EFF7C6160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f41af085a62a9fe1b5659366434202d16a04036","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e22aa840f229f99cc94b61d8d4a19f4955c10737","datavalue":{"value":{"amount":"+0.8783575296401978","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":"Q3999778$0BF16D36-3215-424F-A4F9-525BCCA35EA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3999778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3999778"}}}}}