{"entities":{"Q3749040":{"pageid":5778946,"ns":120,"title":"Item:Q3749040","lastrevid":51015896,"modified":"2026-01-16T05:35:38Z","type":"item","id":"Q3749040","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3985193"}},"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":"Q3749040$6AAB07E3-6B1C-4BF2-8574-2F6B60FEF93B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1bf515834d2140975623f306fc62e4e7d7537fdd","datavalue":{"value":"0609.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$97EC1C62-6539-4F15-B58B-858701AE1A97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"29295b78062d89208beb4b3a7a6a8caf799d0531","datavalue":{"value":{"entity-type":"item","numeric-id":915717,"id":"Q915717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749040$1D5ED527-3083-4200-AE3A-9B36F9FE6DBA","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":"Q3749040$B4653B1D-74DA-411F-914E-40AFF4CE0679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$98C2CAC9-973C-49A7-AC30-4A192A8B8B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$46D8BFF6-D05A-4947-B7DD-4E8C3802805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$A300E36A-3328-48F1-9E71-A1E708FB12E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$DBC6BDCF-03EF-4FA5-8139-DE7493BFC270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$0C5C9743-A2E8-486E-B5DA-4A5763A7E449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$DB600A31-37BE-4B8B-A54F-EB5FDCBF3CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$6F8DCD98-4CFB-4466-8754-CF836DF0A220","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4df872c9e0adb13e32432b4d6c5bfdfd53b6e811","datavalue":{"value":"3985193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749040$F748079F-36F1-4899-BDE6-D0C048667662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c1705f81ad6f99472490363a622637d5ef42d81","datavalue":{"value":"invariance property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749040$D511A270-5650-442E-9DF5-F19655A38B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e489fe0df55edff212fb0ec7075f0927638e18b7","datavalue":{"value":"precedence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749040$3CD2FBE1-998A-44A7-AF90-9A80B91E898C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1191d917e34486c8c0cdabe03718bb4dd0d3ac","datavalue":{"value":"reasoning about the behavior of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749040$77E352F3-76E1-4AC8-B6DC-3656FA3AA271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6707dc1f2beaddb3e8669f56f2f42e65b64c5bbb","datavalue":{"value":"eventuality properties of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749040$0266DBD8-48D6-4792-B975-27F000419F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749040$83177FAB-B5A8-4AD6-BDAC-CD9654D2BB39","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":"Q3749040$E0822EB9-D7DB-45DD-9D5C-A10C216E2C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5baf7f569b1b3f738e86c5412ddfb9e2bedd48","datavalue":{"value":{"amount":"+0.8355286717414856","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":"Q3749040$33F15A86-AB2E-49CB-B3B9-BE50D336CD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592765424e6503741bb123017c96976915414633","datavalue":{"value":{"entity-type":"item","numeric-id":3812208,"id":"Q3812208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfacad59a6f9d8e16a101727f33084bd40495441","datavalue":{"value":{"amount":"+0.8324633836746216","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":"Q3749040$30C63052-8C88-44C6-BB24-3D13C53C30D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a759cf14f3d735c140f079eeb08b1d36c2e5e7","datavalue":{"value":{"entity-type":"item","numeric-id":4860769,"id":"Q4860769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f9c642e84eedb301ec546093ee6de43d84002b","datavalue":{"value":{"amount":"+0.8303828835487366","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":"Q3749040$DAC6A3AA-712D-442C-80BB-0CF3B3059B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c3f07358790dd9567156d71c633c90574867765","datavalue":{"value":{"amount":"+0.8291709423065186","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":"Q3749040$337931EB-C916-41AF-870E-F7FA5BDF1FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902a986642b6518bd3e07925a8b892e2d8f24f8c","datavalue":{"value":{"entity-type":"item","numeric-id":3791122,"id":"Q3791122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ab916a99964716900309d5e943753bb7afa1e8","datavalue":{"value":{"amount":"+0.8232970833778381","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":"Q3749040$E25840FF-05E7-49C2-B5B5-ACFCEE82A892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3749040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3749040"}}}}}