{"entities":{"Q4725716":{"pageid":6755293,"ns":120,"title":"Item:Q4725716","lastrevid":49053370,"modified":"2026-01-06T12:59:06Z","type":"item","id":"Q4725716","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3999260"}},"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":"Q4725716$553F44C3-0467-40DD-97CD-B13B0C9A81DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad817f5d11db9bf7443156f3600b167bd92eb34","datavalue":{"value":"0616.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725716$DA26BBDF-247D-487A-A2DD-F66D52B0F88D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4725716$220E68EA-38AF-4B91-BFE5-BA805FC9682A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725716$3C13967A-A52E-4646-B2BD-C2A3DAEE8E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30f000f89c05b5d6c2fc3f4a3150ef0dac5952d4","datavalue":{"value":"18B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725716$F70EA7F5-0EB9-4E90-A55D-F06955365584","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a63d4ac496c1c8562f3e3d8f94e73df3adbf4810","datavalue":{"value":"3999260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4725716$43E76BAC-F552-4134-AE5E-187AE586CA66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3e7815f06b6485c2c7bd27c475b73859c0552f","datavalue":{"value":"liberal pre- and post-conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$38CDDA53-203E-41C8-8EF7-64E0C8A2BDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$0AE3764B-9533-40B2-9A04-79D84A3E4BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$EE090501-9450-4CC0-81DF-1A8D8485EC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b372100788f2f7988d67083edc1543133552ef24","datavalue":{"value":"predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$85016E0A-D66E-4337-8F30-1BDEFBF07C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ec73b58ee02da1220196480fae13d434115431d","datavalue":{"value":"equalizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$78786001-C671-47FC-8ECC-BE81D355BC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728818d2de29d948f096f35c669fa7265b9147f5","datavalue":{"value":"predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$7D435C3E-94A2-408C-8049-8CC601BD0BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12dd67d856907d0f1ca8c851b158ec65a6caebd9","datavalue":{"value":"program constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$D161EAC6-75B0-4ADF-B3A7-A8C9C53F7824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$98335AB6-500D-4CBC-B131-03D9DE0BDFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae2377400284661ec6d82c2d48a16b8df164793","datavalue":{"value":"functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$AD864C3F-7B41-4DF8-B544-0E20961A04FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29f225847bebbbd70d61785ce4ab123db6af3778","datavalue":{"value":"categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$24549610-06D5-45AB-928B-A0C40FD5FB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230b8a7212125c1d59f2fdcf6b5f7895f1a1df9d","datavalue":{"value":"small limits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4725716$98F8196F-41BB-48E2-8CED-5FFFC729F3F4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ebf9d7de436e661fe44c64998a85f0c878859fe","datavalue":{"value":{"entity-type":"item","numeric-id":751296,"id":"Q751296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4725716$3666AFCE-1E0F-42FF-9B3A-232CE5DA41CD","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":"Q4725716$CE5274FE-F144-456D-B03B-93EA7C58F915","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed79a8a3a12b6c6ae0aa4c8480186364a76f503","datavalue":{"value":{"entity-type":"item","numeric-id":1093363,"id":"Q1093363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba6e47f7bee6809e56b9a9160c6da355aad93d0","datavalue":{"value":{"amount":"+0.8647348880767822","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":"Q4725716$C7EB26A5-08FE-4403-BCC5-73612D5F39FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33658560c05ad084657f028c5b27ca0e50a4c08","datavalue":{"value":{"amount":"+0.8471322655677795","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":"Q4725716$EBD397EA-2361-4A5F-B2A8-B1F1DBB7B05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555b29fc6ed05212c1da07dcdfafb6544782870b","datavalue":{"value":{"entity-type":"item","numeric-id":5058365,"id":"Q5058365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eeeff09f09fb2c70c24a8c54f4909178b15c9bb","datavalue":{"value":{"amount":"+0.7966044545173645","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":"Q4725716$5D6065A8-2D2D-4C5D-AF8E-EBFFEE2CE131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfb29dc4dbbe5cc4ecbf3880250c485d2c8385d","datavalue":{"value":{"entity-type":"item","numeric-id":2942773,"id":"Q2942773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cea97559b31340a127d88801cda25c9bcdbf9e2","datavalue":{"value":{"amount":"+0.7792941927909851","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":"Q4725716$2E5F574E-ED6D-4CC9-816E-C558E07EB767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce55a1d848848e0caa5e2473660ded0dee474912","datavalue":{"value":{"entity-type":"item","numeric-id":890376,"id":"Q890376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b5836ce440e7638dd52d858ca278fc0a875cd5","datavalue":{"value":{"amount":"+0.7784073948860168","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":"Q4725716$6EDE269B-8056-4980-B09F-84382C5B1279","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4725716","badges":[]}}}}}