{"entities":{"Q2265800":{"pageid":2276543,"ns":120,"title":"Item:Q2265800","lastrevid":43789878,"modified":"2025-11-14T06:44:36Z","type":"item","id":"Q2265800","labels":{"en":{"language":"en","value":"A language of specified programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892569"}},"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":"Q2265800$E9DB174C-BAEF-4A9C-87F5-F86DE96F0625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c14d388ec9d3044bcca7025e9ff6ba8b9d321e15","datavalue":{"value":{"text":"A language of specified programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265800$726DE6D7-4A6E-4CB5-985C-D7C75CF6E56E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e14ab454e166964e717c20b6ee9f9b99ac891f0","datavalue":{"value":"0559.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265800$6519F83B-2AE2-489F-BA83-97EC142A356B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44533f00fd32828faf507192d8e5523a0404a8b1","datavalue":{"value":"10.1016/0167-6423(85)90004-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265800$DE84051F-00A8-47AB-AA3D-501B625862D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265800$9A4920AF-F1C1-4B2F-9A83-613D187AB2F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265800$2F0FCE67-C7F9-4399-833A-28B5EB62BC21","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":"Q2265800$63769EBA-FD15-4D97-82CD-CF56A779DD67","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ff964af6ab2c656bc8836d94aefb0b9a01507843","datavalue":{"value":"We describe a language of specified programs devised to form a basis for a system for the development of provably-correct programs. A specified program, as introduced by Blikle and then developed in this paper, consists of statements and declarations (in our language these are standard sequential, conditional and loop statements, blocks with local variables and possibly recursive procedures and functions) interleaved with local assertions sufficient to prove the global correctness of the program. This requirement forces us to adopt the philosophy that all the properties of program objects we use in our programs must be explicitly stated in specifications.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265800$F607A958-B440-44BC-897C-457B3690BF74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265800$99138B83-5B91-4F75-B3C4-DAFC024CADBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e2c2e1c64584659cc7bc877ac829a68eb000aa7","datavalue":{"value":"3892569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265800$D3E2240A-B1E5-4EB9-BE37-7FD7189234AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"684b5eabbfae4ec6de12f1ac8c6f0e7242096964","datavalue":{"value":"specified programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265800$3074A413-E752-40C7-BFC6-E4305C702D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265800$BFEF6937-C8D0-4EF2-BF53-7709B1EC85DE","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":"Q2265800$1E4C2F62-30AB-49F6-85D5-8D3FB4E4D932","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5470251cb1acb37f4749e3eec9ed3225e642efd8","datavalue":{"value":"https://doi.org/10.1016/0167-6423(85)90004-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2265800$19D70D9A-BB0D-4966-BC0A-6D14F7683DAB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"63464aea38f00ee754a2e5ce7bc26e6a13a9079f","datavalue":{"value":"W2005958325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265800$0FE7F10D-2B62-4CF8-B98A-D5F23E4876FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b8a85d1967f3a2d1c94e7b914c0c71d336ba88","datavalue":{"value":{"entity-type":"item","numeric-id":3284160,"id":"Q3284160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5000a4cdcc367df06601f684911b3cf1429cecad","datavalue":{"value":{"amount":"+0.91409826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$F3BCB3FB-09D6-430E-9675-DCEA9122022A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5743f6cb52c95902da386cbb18b36432329740c","datavalue":{"value":{"entity-type":"item","numeric-id":4761673,"id":"Q4761673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649dee5e973bdd8f8ef1e897c1dbe7f107d4139f","datavalue":{"value":{"amount":"+0.8927435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$673CD648-FA02-4109-BE51-22093C302969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71603c52f804ddef742dc38e12d4e192d14f4553","datavalue":{"value":{"entity-type":"item","numeric-id":4287719,"id":"Q4287719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90beccd7620c28991aa74ca1842c419a9ee3d369","datavalue":{"value":{"amount":"+0.8697922","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$56B9D99B-B8E2-4D16-A830-497E90A02412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdbe9086761b4e0f8874dc96176d4f352f27e282","datavalue":{"value":{"entity-type":"item","numeric-id":4694111,"id":"Q4694111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314bf9f17618e575e6432416dd3848657e6c464b","datavalue":{"value":{"amount":"+0.86027384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$60EE5C5D-C879-46C5-9B20-04080116C153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb559275bae1fbdff7a1db7ba4730776f0408bc","datavalue":{"value":{"entity-type":"item","numeric-id":4281579,"id":"Q4281579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbfa3202217f831f81fdb585b36964b5d7d13c8","datavalue":{"value":{"amount":"+0.85744476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$2E5136F4-166B-46DB-BDD7-CF548D18E35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6050ea3f6d7c2d90cff65bbd5ed6ec750b3882","datavalue":{"value":{"entity-type":"item","numeric-id":4453224,"id":"Q4453224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"706452808c2198b4bde62d64343aa4b8ea23a1fd","datavalue":{"value":{"amount":"+0.85635376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$9F476024-15D5-46F4-A79B-397E5EE01A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e8d2dc2c81865036efe15e0614a88bfde32528","datavalue":{"value":{"entity-type":"item","numeric-id":3690242,"id":"Q3690242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40dab729395e368b47112d4604e7875c33add990","datavalue":{"value":{"amount":"+0.85412145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2265800$244E0BA7-F2A1-4812-BB91-9009935F0CA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265800","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265800"}}}}}