{"entities":{"Q4501575":{"pageid":6531168,"ns":120,"title":"Item:Q4501575","lastrevid":41267336,"modified":"2025-04-26T18:41:19Z","type":"item","id":"Q4501575","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500556"}},"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":"Q4501575$3776E85B-D60B-4409-8998-1CDACDFBCEAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4cfca1f56af6a6850fc90c18add9fd8736a8e7e0","datavalue":{"value":"0959.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501575$8962BC48-4410-46CC-B19C-F458DC14D75A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24c5c5cceb777d2d5d5c94a9c58cfc4129afdd4","datavalue":{"value":{"entity-type":"item","numeric-id":2517835,"id":"Q2517835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501575$F9413F26-4B2E-46D5-8525-77ACDFEB3DBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501575$6978BB96-61E0-4F29-9694-C1D2BFE54620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501575$25CDC974-B541-4128-94EA-BF2B730D7578","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be2b8af0329e826d30df12a8acb115f5ec42d04c","datavalue":{"value":"1500556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501575$BFFB6A1E-68FC-477A-8550-A0ED3DA3E831","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501575$1B023947-C146-4A59-8011-8497ECD5CA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501575$4304767A-E9B2-4414-B2F9-6FB12BF107A8","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":"Q4501575$0D54D83E-8DDD-4A56-B4DC-3FF3150498ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"069e430bb430cd217bb003a396d40fed1851271a","datavalue":{"value":{"entity-type":"item","numeric-id":3021957,"id":"Q3021957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$5B7557D3-1553-47BB-A99B-B4E30CB430E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9c2f2a7fc8474c0133780afda7d6c98adfa044d","datavalue":{"value":{"entity-type":"item","numeric-id":3316558,"id":"Q3316558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8521d82cd261017ef7e35b9d23cc05ba377ee7da","datavalue":{"value":{"amount":"+0.94875264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$88D9FB38-8975-4FCA-87C5-DF1A1E5CAE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68762eb4d0ade5d59d0e2ff7deb1512c1b85bdb2","datavalue":{"value":{"entity-type":"item","numeric-id":2323970,"id":"Q2323970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"265eba14fe1580a93c6c4abaefd3e358fea37285","datavalue":{"value":{"amount":"+0.94529635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$2B4556A6-45A1-4044-9817-AFD439DFDB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f4034399829c7be670eedad7e312c427b8bd41","datavalue":{"value":{"entity-type":"item","numeric-id":5465856,"id":"Q5465856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c95386f4d5242a62df1870e6844a152e25cdce5","datavalue":{"value":{"amount":"+0.9432027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$E97F7BEB-AC06-49EF-BC6F-D4034FAE0FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772e7a59808604549504f21df021d922057b3e59","datavalue":{"value":{"entity-type":"item","numeric-id":5325836,"id":"Q5325836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5979b4c1708529374cac035c837a2dbf8b86b744","datavalue":{"value":{"amount":"+0.94212806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$B72F9F58-4A86-49CC-AD53-30AB2E046BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"195341238ec884fef4c1d57e3b631063fc7b6ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3189808,"id":"Q3189808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9910e42fb4f3ad02f32ac99dd7e0f1d2c08e457d","datavalue":{"value":{"amount":"+0.9254383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$18CE4800-8862-4BDC-ACE9-1D7D1D6437D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dc6185729e487d5eddef1dfe3d84e5d8e1e00","datavalue":{"value":{"entity-type":"item","numeric-id":1977920,"id":"Q1977920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c83fe5233e58c5ebf378366415efb82e0bdf1f","datavalue":{"value":{"amount":"+0.92460626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$CAEE727C-FE4D-4C42-9577-31487761D880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1a6e0ccb57a35247b372319860e2afcf63f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5971408,"id":"Q5971408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9731371ea6951bcc83eb290dad0e5577caa8258","datavalue":{"value":{"amount":"+0.92387843","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$C85333A7-B197-408D-B6CA-4877D79B348F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e762e37cd06209be4295de301f467d7cd1e5ccd3","datavalue":{"value":{"entity-type":"item","numeric-id":2163157,"id":"Q2163157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148adcc5d373379eb08cd90004b60ad5ec2d1019","datavalue":{"value":{"amount":"+0.9219638","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4501575$DC4FC448-0965-4D41-8459-1E686F975674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501575"}}}}}