{"entities":{"Q3949940":{"pageid":5979845,"ns":120,"title":"Item:Q3949940","lastrevid":55075246,"modified":"2026-02-03T10:32:23Z","type":"item","id":"Q3949940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3768939"}},"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":"Q3949940$CE498073-4DF3-4813-8744-4A30692CC41C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc51d0e0c3c0c615fb8d40f68af939ee7aeee42","datavalue":{"value":"0488.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949940$27AF25AA-CC22-4059-A22D-EAB6DCA4AF5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899a6cb38e88e4d2bfb3365317e8b63ad7771252","datavalue":{"value":{"entity-type":"item","numeric-id":3038591,"id":"Q3038591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949940$83AC4F37-B0A3-49FD-B968-0B86296377F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92b35cc6b054060560fad755fde90aaae4fa46e0","datavalue":{"value":{"entity-type":"item","numeric-id":2778963,"id":"Q2778963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949940$5C81F926-0032-4CBB-B6A7-5AB6E89D2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbfb0420b8eab9aa643818415a21d9d381de122b","datavalue":{"value":{"entity-type":"item","numeric-id":3038592,"id":"Q3038592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3949940$8E81111A-9D95-4891-A179-A6CF58A121D5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3949940$EB3ED5E6-A5D1-41BE-9C9A-B8E1F4F2C93E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949940$DF11F0E9-C747-43E8-A009-09734BBFB2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949940$37F48423-33E0-4FCF-B3BF-F2A3802F6C64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd6b51fd4e8f877c171b85863fa64a0aa2a596d8","datavalue":{"value":"3768939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3949940$FE9C1A75-06B5-4B20-9907-1130CB0D6371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ec093c4c8e0f91ddcf55d13a79597e7572d477b","datavalue":{"value":"proof of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$1309CA43-5536-4002-B617-EAEDDE40F33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b02c012fd395a16a9c97781e1d1f8ce010fbca","datavalue":{"value":"conceptual integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$60533C32-FE19-4CBC-933C-0EC1850D0A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57d15e541f462bb72d3306828f0c4c6e377cc390","datavalue":{"value":"design validation by top-down development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$8BCC2273-9834-4B25-8282-3EA6803BDE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"171b65a7cb854c9ef61376c3217a3602a3fcb270","datavalue":{"value":"software reliability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$F1FFEA75-EB9B-4BB4-B071-94C5614C2768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20dbf66af2e5ee75ab37f140d7504cfa9e5fe0ad","datavalue":{"value":"outer syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$BB00902D-252D-449E-942E-28B2516A2CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8d409549f0f9598a6ed04ad6d31077ac9271c","datavalue":{"value":"control structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$9E653DE2-4934-43D4-9A42-5EA6D4DE4587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c25bc710e4a99b4ad5c06b7d722ebbdb9259ca1e","datavalue":{"value":"data structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$F881A10C-076E-431A-AD95-773EF360AEA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cefc1243b16f107890657dea863490452e41cc3","datavalue":{"value":"inner syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$2DBC3A96-AB3A-4572-8AD6-DE110A06AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29b1a62b0386d970719cf7c50281f3241f83c47f","datavalue":{"value":"prime programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$0D952F67-F389-4066-A2AD-4E568EAF6005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99a37e095bb509737a8e370a66d9291b0e0443b8","datavalue":{"value":"stepwise abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$574B2ECE-54F7-42AB-8A17-7EC49C982E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c7d842b1b0efdccde934400a634cce51a21ab9c","datavalue":{"value":"correctness of structured programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$F30189E9-DBAE-4B93-98AC-4EFECE11DC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$29FDC650-96F7-4C3C-8939-FEF17A30DDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad3d089470c5cd8e41f05a6bf2d64d7ecb6ff90","datavalue":{"value":"trace tables","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$1D8D510D-5478-4122-860D-2E4B68A5542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5206a2359ec2a279c7084b042456f0e836656036","datavalue":{"value":"verification of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$E829E0F9-C6D5-4732-8867-A30DEF085E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1543cd011ab5ab92ce642a3dccf4a903de325a3e","datavalue":{"value":"scalar data","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$40D651F2-58A6-4668-8E5F-DD7AC481CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ffa8a3ffd881b9444be8af7d6c605286b23aa66","datavalue":{"value":"data array","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$902560AA-D219-4AA6-87A9-FDF3FB13FA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b71af1a42b3b309d777959a1646decb5749d1d7","datavalue":{"value":"loop-free primes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$0A87D14E-E5AD-4DCF-B1DF-3F7746F4977E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3949940$F378AA6E-C1BB-449D-ABAD-039CFD888E68","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":"Q3949940$150AE5B4-48D9-417B-858F-7280BC1A7E4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3949940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3949940"}}}}}