{"entities":{"Q3783513":{"pageid":5813419,"ns":120,"title":"Item:Q3783513","lastrevid":52536338,"modified":"2026-01-22T22:00:44Z","type":"item","id":"Q3783513","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047056"}},"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":"Q3783513$39CF4301-C65D-4BD2-9B4B-0E91BD12A990","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7304dd2b30d04a3cf199aa87b0cca09a59d32e2a","datavalue":{"value":"0642.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783513$8E5FCEDF-54A2-4A56-9E38-9E207F22DF83","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":"Q3783513$702B6BD6-0669-406B-85D9-2D89A686DA38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783513$49C02EBB-90BD-4A81-B04F-0E9DA29E3CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783513$CBB87198-2745-418A-8181-9FBB1780808E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783513$42A86336-45FF-47B5-A098-7327551FA139","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a6fc57b75591be694653491852b85e3a96bd0d9","datavalue":{"value":"4047056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3783513$D18F4ADE-0D8F-439F-B2BF-5CD20D29BD96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d958ef02bdf074a60d670471cc677567c94c4a3","datavalue":{"value":"compiler correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783513$1F4D0E51-4693-4B85-8C0E-E6DC85E36C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f382e209fb3f20a3a6f7649cbbcfd8c2bdfc67fc","datavalue":{"value":"goto statements","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783513$4D5841DF-C278-4329-BF2A-349C914D191E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26325b97ca9f91dadc7bc17af7514ea7907cb4fa","datavalue":{"value":"weakest precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783513$D9CD0EE4-08B8-41D0-90FE-732DDCB0BF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8ce56ee8b42110050dbf827609bd4d689ad8ef","datavalue":{"value":"postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783513$98034576-2F58-4DF1-88DD-1774FAD7E046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3783513$08ADCE87-7065-4E17-A2F6-59FCEC0B2EEC","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":"Q3783513$B6943D95-5A81-4DFD-973B-C6AEC9893E19","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61609c5aab92880d5397107649aee40b83ba8207","datavalue":{"value":{"entity-type":"item","numeric-id":3105751,"id":"Q3105751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d55ba0835acbd557145efa73203cd3829057803","datavalue":{"value":{"amount":"+0.7784526348114014","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":"Q3783513$4BF51548-2EBA-4CE0-98D4-4D32A17067F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f3809dc7e9f99f2a9a5eb9878f9edc426e1e773","datavalue":{"value":{"amount":"+0.7739802598953247","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":"Q3783513$E81B037E-12B6-428C-A951-436768FEF55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e729418c484f788f970df01f3f07c7735aff7ac0","datavalue":{"value":{"entity-type":"item","numeric-id":3692832,"id":"Q3692832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c24898dc74e2a10c914315390f5f5a688b61f878","datavalue":{"value":{"amount":"+0.7738297581672668","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":"Q3783513$4E33ACD3-2137-4708-9328-128D5379F019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b88e7fc444b61b2c5fd045c40ec97d8427b63ca8","datavalue":{"value":{"entity-type":"item","numeric-id":3740201,"id":"Q3740201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24e0e490f7214d7a22ac193d69bf83752e1efad1","datavalue":{"value":{"amount":"+0.770682156085968","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":"Q3783513$07B39F8D-E098-4E31-8A84-5316CA89E3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c1b504be1795bcad419cee0368931403c45d98","datavalue":{"value":{"entity-type":"item","numeric-id":293340,"id":"Q293340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3fa9057f5e65dadc7acd624b824713b03d79cd","datavalue":{"value":{"amount":"+0.7486267685890198","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":"Q3783513$4DB11457-4FAA-4540-93F3-6863F06970E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3783513","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3783513"}}}}}