{"entities":{"Q4603427":{"pageid":6633010,"ns":120,"title":"Item:Q4603427","lastrevid":58301307,"modified":"2026-04-04T15:29:12Z","type":"item","id":"Q4603427","labels":{"en":{"language":"en","value":"Logic + control: on program construction and verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6841146"}},"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":"Q4603427$5B9D116C-FFC9-4748-9ED9-669524C38439","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0704e975bc378de1423fd542c8174c0001337f04","datavalue":{"value":{"text":"Logic + control: On program construction and verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4603427$945F9745-0FCA-4DB2-B633-C22C7FBA7386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1168157ccb5609a2c2ea60a23c91f9ad8d4db2d","datavalue":{"value":"1425.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$6F318BF7-BCE9-4CB1-B6DF-1D1B24641B44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae09b9a7102e992dd55108330bf93af2a468ae83","datavalue":{"value":"10.1017/S1471068417000047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$4A84EB2B-04D4-4C87-8A22-C811B508F7A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aca37643c25c4f7a18b2bf47f8e6a1980c00131e","datavalue":{"value":{"entity-type":"item","numeric-id":511026,"id":"Q511026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$CEF13BA1-84CB-42D1-9BD9-07F2CFD4BF31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$49845CB7-CC69-4807-8490-08DD9BB2E20B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89e9697ececd3e3495e15862459be636d773c40","datavalue":{"value":{"time":"+2018-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4603427$DE8AA004-4A94-4D9B-8101-0BC5DDAA9095","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ea357d317c9b23368369c111fa13057b693e943d","datavalue":{"value":"https://arxiv.org/abs/1110.4978","type":"string"},"datatype":"url"},"type":"statement","id":"Q4603427$9A365CFF-A083-42F8-B440-E5011A9F0270","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$9B095EB7-3B5B-44D1-81E7-1F039FE75CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$BB604D23-3D32-4A28-9F8A-80EB522FE7CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aed3962dce4d7f238e88803784ee3604e1e64d38","datavalue":{"value":"6841146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$E00219FB-A6B8-4F32-8CA4-D8FD55BB5659","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$C21C4EEB-F1B7-4F8B-8735-C4A9A4346D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8532a0b621b8fce8b4d34a6d1df537336ed6e4","datavalue":{"value":"declarative programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$CC260674-C243-41C0-9DAC-8D4413AF7B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d43f729f6f3364a4fe7aafeb4a1e84220e941ba","datavalue":{"value":"program completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$97FCD6EF-FB5A-4425-AF25-27EE9FDFAFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$278E3BF3-C5B5-4A07-BC41-4A5A7619197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$BE1A05AA-9EF0-41DF-AC43-90ECEA94BD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$5779DD08-1231-430D-AB4F-AB876E6B0559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bb09111c4ff84c76ef4af2d74444f5f7016f789","datavalue":{"value":"floundering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$2C895069-8DAA-475C-B444-A3BEAE73CE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a1ae5e85a4f7b2b80869ca9861c4b02c42e5a5","datavalue":{"value":"occur-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q4603427$C8A8DD2D-9EE1-4C2B-BD48-6961774E9B0E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$596D129D-E6B4-4E3E-8555-BCD2D4103D78","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":"Q4603427$ADDEC88C-86D7-4AE0-B1AA-9885ED4F3B2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"360880f7f75b61c7a1190c5fabd6917fb4a54d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1894637,"id":"Q1894637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$6BB9EAEC-B97A-48BB-85FF-139AFCE65837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea05446166fe1b070fea7f2a42017bcc4179b3e2","datavalue":{"value":{"entity-type":"item","numeric-id":1308986,"id":"Q1308986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$73772936-8627-4741-83F2-107978DCC07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f8353d47948af0a7e75ba237a7378c5bfed617","datavalue":{"value":{"entity-type":"item","numeric-id":4036282,"id":"Q4036282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$FEC17AFA-F894-4554-8EDF-304DD495DFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e3cfd04262c00887eab4670d84d186029a8a082","datavalue":{"value":{"entity-type":"item","numeric-id":2893089,"id":"Q2893089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$6E69B13E-C9DA-4FBA-8195-45D8AA068868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$7199477B-6DF4-474F-B39E-CF0EE540B210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9513c154891a7800ea46a331f726d49b960a5a","datavalue":{"value":{"entity-type":"item","numeric-id":685395,"id":"Q685395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$1CC9D039-E85A-450F-9ED6-1C4E41FBC4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0db4b7623e484d401f72696443649dd0b4416f58","datavalue":{"value":{"entity-type":"item","numeric-id":4875865,"id":"Q4875865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$C2C32A99-16B2-487F-A274-DEC6DF9AA7EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7940e8fe3cc72731edc08763ba7a5b61dd52be5","datavalue":{"value":{"entity-type":"item","numeric-id":5398068,"id":"Q5398068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$8D71BDB2-DA8B-4E27-96F6-F1F5B881A14A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0678fc8c1f2ed5a27b558c1d8db9d3d1e59c2e1","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$FF23F761-98F5-4BA5-A8F4-6797C5799B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26126f876d4c6d7688c2d6c268f25eb029e7a268","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$59FFA038-2DFB-43C9-994F-F942297893C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45540783df911c2622f08da2e8d70f1ad2d600b4","datavalue":{"value":{"entity-type":"item","numeric-id":4593038,"id":"Q4593038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$B8E1850F-492A-4478-9600-C60C5253A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaba473d522985700ed4b41d0213074487261f6b","datavalue":{"value":{"entity-type":"item","numeric-id":511027,"id":"Q511027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$F6D495EC-ACBF-4FA7-94BB-D68AE8EBBACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07031ee71c40306176d9882eb83a4e5adafbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":5715449,"id":"Q5715449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$2806E3BB-0CAF-4862-A18A-13B863F1B917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e8bacd876cccd16cf21744ff17fffdcd1755ea2","datavalue":{"value":{"entity-type":"item","numeric-id":5277806,"id":"Q5277806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$B0B8391E-0775-45ED-B341-8974A3FF1565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"addfd2d4d91721262cb9c3ed3d5a17c3b109d33c","datavalue":{"value":{"entity-type":"item","numeric-id":428887,"id":"Q428887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$A0AE580F-AF4F-4F89-8F92-B16677772960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5617fdd69c618e263e8fa2bd0476fbd6e5cae4ab","datavalue":{"value":{"entity-type":"item","numeric-id":4190095,"id":"Q4190095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$A438417E-09A9-41A9-A0B7-04316C5EF2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6145ffc82ea65df5ba274fc78a24812b87b1c2b8","datavalue":{"value":{"entity-type":"item","numeric-id":3087808,"id":"Q3087808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$D745111D-A43F-40D7-A351-65955CF7B253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1381cc986ff31afaae0ad26643808031718586e","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$E5E236F6-F9C1-4B85-9AE2-5F5974A3B1BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f79ecd22e16d79d91c4b5ff9df0e51214bc658","datavalue":{"value":{"entity-type":"item","numeric-id":4452620,"id":"Q4452620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$2341809B-6A6C-4FCB-BA3C-776BE25262A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a960ab653cb2a00806cf89a4543ab937145cab","datavalue":{"value":{"entity-type":"item","numeric-id":980844,"id":"Q980844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4603427$86B6665E-2449-4DEF-A7CA-5B22E22F667F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fdf83a16b0f4057729fdfa17f88d5c9d6cad00b","datavalue":{"value":"W2963114687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4603427$7EEEDCCA-791D-48C9-AB04-2BE05F154E78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"535af615ad5bf605dca3fda0c9eabaf6f7d8b0e7","datavalue":{"value":{"entity-type":"item","numeric-id":5398068,"id":"Q5398068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f3eede68a8bac747dd15d49b8e5d9d590ade88","datavalue":{"value":{"amount":"+0.9247961640357972","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":"Q4603427$22F84ECE-1520-4E20-99EB-94B737E9E437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6c67195ab2aee559db356233df7628afb1a7ad","datavalue":{"value":{"amount":"+0.8015251159667969","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":"Q4603427$24D2A12F-FFB0-4230-A609-7F6527DC0C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5be94989e95a5b692ec27555420d25bc46d4ca","datavalue":{"value":{"entity-type":"item","numeric-id":2949713,"id":"Q2949713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56db10da6fa7a6989cdc236860b1ea059d5c0b84","datavalue":{"value":{"amount":"+0.7927076816558838","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":"Q4603427$FD073B0B-4F84-4B50-80C7-5B62BA1F0FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266049be941bc0222c8f6779e3e47fe746a492ab","datavalue":{"value":{"amount":"+0.7913330793380737","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":"Q4603427$1F2A9751-E1BD-4430-B9CE-6658B27246A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbe97e60a09680e90042ce8c1cb74f1d71495ab2","datavalue":{"value":{"amount":"+0.7865662574768066","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":"Q4603427$BAFFD181-634B-4981-802F-7BAFC94971A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4603427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4603427"}}}}}