{"entities":{"Q3799624":{"pageid":5829530,"ns":120,"title":"Item:Q3799624","lastrevid":53130335,"modified":"2026-01-24T06:51:26Z","type":"item","id":"Q3799624","labels":{"en":{"language":"en","value":"Corrigenda: laws of programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066296"}},"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":"Q3799624$56EF884E-F4AB-4ABB-A825-B0B32A693C9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da5eea5e49e1da8ce22be69429e0604984459121","datavalue":{"value":{"text":"Corrigenda: laws of programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3799624$AB1BBD5C-C0CA-45A2-BC84-330D3200A68A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00d709620becbdffcdefb4d379d82fa3a26295bc","datavalue":{"value":"0653.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3799624$61200D24-7AB8-4952-87B0-4718D16F3449","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b45af560668624f16c8f5a165874a7504eff37eb","datavalue":{"value":"10.1145/30401.30407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3799624$247D646C-6488-42DE-AF6E-63E01E6B81A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$D61FE2D6-5383-45E7-BE8B-EE2D3BAD792F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$BC550618-A6C2-4500-94E8-06AF1AD64ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$0DEBEF28-8BD9-4FF0-B3FD-47251B19F5CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a618a2e1aa0e1fbb72598261937fc3037250495b","datavalue":{"value":{"entity-type":"item","numeric-id":3766808,"id":"Q3766808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$C06B1F67-16B2-4622-849A-BD649EFA999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4050ea968024eab7ab8a6cf4d034e84b52171c02","datavalue":{"value":{"entity-type":"item","numeric-id":1898814,"id":"Q1898814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$F2A6CA76-29A3-491D-A118-FF561E7A703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"584e2d8ceb1ef655e84dcd8475c6ea0f981d8e24","datavalue":{"value":{"entity-type":"item","numeric-id":3766809,"id":"Q3766809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$2F7A4772-7372-45EA-8033-22C004AFB6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$B669DABA-4753-4AE2-9F4F-9AFC682216C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$65E2AF2C-C7DB-447E-A47E-34A44D949C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4592f758caa5c13c92d413adcd5ccd6bee0651d0","datavalue":{"value":{"entity-type":"item","numeric-id":652157,"id":"Q652157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$90FA0596-1023-4729-8E16-FD9D6D6D30BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3799624$41D19A0D-584F-4E2F-BDC7-E6226D22B48D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3799624$5A81829D-6082-4ECD-B4A6-55C642BDCD33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cffc1b8803b0db9606ffb5c084cac26877a51405","datavalue":{"value":"4066296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3799624$D95BECAE-31DC-4834-9DAD-29320105F6FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10822d3d4543d02d746891411282cb7ea30c003e","datavalue":{"value":"Dijkstra's nondeterministic sequential programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3799624$08FB42A6-523D-48B1-BBAC-5DFE6ED92D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2ed613231d82303db6e9fbe2bcd73c060c1a037","datavalue":{"value":"Scott's domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3799624$319EF047-27E1-4680-AC76-2FC99F242BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3799624$C1F547ED-3907-48C9-A3A8-81395AA96502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3799624$C4B420BF-0BBC-489F-920B-49ACD6059AA9","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":"Q3799624$2CD57524-14FD-4F2F-ACFF-40794ECDFE79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c3c9652d0baee0479e59aae46499b5f75dc44c7","datavalue":{"value":"https://doi.org/10.1145/30401.30407","type":"string"},"datatype":"url"},"type":"statement","id":"Q3799624$FDCDB4BE-C966-448E-A56B-1FF3163090B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b6b683447b3d0043de8212371d4e36523c129fa0","datavalue":{"value":"W1985690151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3799624$6F1F8BCF-20F4-4E34-9EDB-08F8EE8B392C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3799624$5F18E505-AFAE-410F-891A-6FB180472168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3799624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3799624"}}}}}