{"entities":{"Q3923569":{"pageid":5953474,"ns":120,"title":"Item:Q3923569","lastrevid":87819437,"modified":"2026-06-04T12:55:11Z","type":"item","id":"Q3923569","labels":{"en":{"language":"en","value":"On the Development of Correct Specified Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3736988"}},"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":"Q3923569$6733BD71-EF08-4785-BE7A-4E19505DF093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1caa1a2ee8a2f53b5ce548f683262abbdc424340","datavalue":{"value":{"text":"On the Development of Correct Specified Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3923569$D1FBDBAE-9B98-43CD-B898-ACA29E20EFAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521a9f004c0526f0df88e90cc6ca065de0c0fc54","datavalue":{"value":"0469.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3923569$8FA6C0E4-5589-40DB-91F6-F92F8D83BA00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ca8f14a5c5780c3359e09365d4777bd5081c243","datavalue":{"value":"10.1109/TSE.1981.231114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3923569$E03CC0F8-6E7D-4E21-8DB1-49B5A8241FD8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52c3405d17a3159f7638d707f5a87560ed81c9c3","datavalue":{"value":{"entity-type":"item","numeric-id":811130,"id":"Q811130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3923569$1E09A8EA-D45E-4A0C-A284-F280AF7713F6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3923569$004A0890-ACDC-4CFF-9EA2-53EDA8218649","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3923569$5C990202-B4AF-4636-95C5-582D95C09CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3923569$A04975B8-13BD-4015-B231-4C21C3D6E306","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13e9198eccad5f961479214ac602e6fdd0ae590b","datavalue":{"value":"3736988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3923569$7EF9ED6E-9172-44D7-85BA-0DC1E3864CD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2edd069b862515d66fc9f2bc68b6723d8765be1b","datavalue":{"value":"three-valued predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$F02F3633-04EE-443B-B35C-099FCDFD09DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14789b58b783ebab6a981e45df1eb56834c952be","datavalue":{"value":"assertion-specified programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$D86CFC6B-4E3D-43A5-BDFE-587F66A56244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2976fa42a4c18ef87b6fa7440b5de18b0779e5bf","datavalue":{"value":"bubblesort procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$03119482-4CF2-4E66-B780-12BCB3F787D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$A4B3FB4C-30CC-412F-A01B-D156DD7FFADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8199d3c167bb7194c1f4325dd8abc9ea993e9d4d","datavalue":{"value":"program development","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$CFBD8CB1-E505-4E0B-87FE-CFB9F6EABDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5426c5b8e7ea05beefa93174410d1edb74f133e","datavalue":{"value":"PROMET-1","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$89F7C4DC-4301-476C-9D5C-1C95F7A9DEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f11a697ca4320b2c5e334107aae45a37f7f8f8b","datavalue":{"value":"sorting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3923569$8C2B34FF-3CA2-4C1F-B559-53649844926E","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":"Q3923569$80727ADA-4325-4B08-9C27-B45A466F0C13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b9ab92e6eccd1caef340ab874f995ec86f33ad7","datavalue":{"value":"https://doi.org/10.1109/tse.1981.231114","type":"string"},"datatype":"url"},"type":"statement","id":"Q3923569$C8AF70CE-9491-4A40-870D-0CC49E52BFAF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5bdb7bcc010aaed105584365e2fd4198bb0e2b02","datavalue":{"value":"W1986996553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3923569$77D72A93-89E5-47A0-99E3-7D047FFD6ACE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the Development of Correct Specified Programs","badges":[]}}}}}