{"entities":{"Q4003356":{"pageid":6033180,"ns":120,"title":"Item:Q4003356","lastrevid":55153312,"modified":"2026-02-04T04:48:38Z","type":"item","id":"Q4003356","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 53100"}},"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":"Q4003356$6921D4DA-1E39-4DF1-A411-8B5BB543E9BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62d9b570b8128967183ef41e20783aef34c9885e","datavalue":{"value":"0820.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003356$921FAB3A-22C6-4689-8FD4-24566FBC6205","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003356$856AED68-5300-4694-ACA5-1139947DEEA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4003356$11CC2ADD-59D6-49E1-B74C-B03ADEB3AA67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003356$6A72ABF2-B38E-44C1-AB93-34D906A9884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003356$739CF5F2-9D8C-4F53-BA63-1D267DF8379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003356$9EF734C4-164E-4DAF-ACB3-9AD0DDFF3E6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24db0d12645e4864be5b8ffde1f72c2000973628","datavalue":{"value":"53100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003356$1CEBE3D0-7A38-466F-B5B5-37D40CB6D6A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$7FEEBC93-1F5F-4E1C-8636-76511654F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$8BC587A4-883E-46DE-BA5E-C1A3F949ACD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"354ba832724c75a503981a016b68192097d50f5d","datavalue":{"value":"Hoare-style logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$E94F9C9E-E2B4-47F9-AF2F-17376139F861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8469432c7e2e4cd59d964f83e69cb11b07596610","datavalue":{"value":"imperative programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$8DA49477-A204-44D9-A1C0-35F9C0FDE45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$EA1DBEE1-F94F-491D-9BCB-9F81F6A6EECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$37F834CE-EFAE-4594-9719-479628FCCE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37afdc244f3ee576aabe4e3d22063cdec8dd8872","datavalue":{"value":"sequential programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$555D17FE-D05F-4893-9047-DEE028117B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003356$464C2888-0E1E-498F-80C0-0CFFE2FCC7D0","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":"Q4003356$580A3A16-2353-471C-9F01-E70B212B1A7D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021d19a1bd4d71e233196f9112016a11dec0f86b","datavalue":{"value":{"entity-type":"item","numeric-id":2756738,"id":"Q2756738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8c0377913fdc57570ee56fbdd297a742d3295c7","datavalue":{"value":{"amount":"+0.9395883","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":"Q4003356$BFEFAE5A-04D2-4889-A2F6-51D3BA25331B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160207da55ae8f810cad60fa2006de894b3b5f83","datavalue":{"value":{"amount":"+0.93053997","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":"Q4003356$1A44A9FA-4434-4AA2-95FD-B67C61BCC17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf782005bff7e563f45498cc946d95bcc9f03fe","datavalue":{"value":{"entity-type":"item","numeric-id":2799160,"id":"Q2799160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"085103f105878f4e30896de9ac6b07ad20131626","datavalue":{"value":{"amount":"+0.8986946","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":"Q4003356$9737C973-D0DD-4613-98B5-22A32BF77022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5ed0e52b5d82a647f7ba2a77d50bf2d7fc5b7d","datavalue":{"value":{"entity-type":"item","numeric-id":4286789,"id":"Q4286789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84a96c36b61ffff7ab56cb9a5d4a1caab0e2dd9","datavalue":{"value":{"amount":"+0.88642555","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":"Q4003356$86A56D26-BDA5-4BEE-98C8-65CE67173AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c3649155df03c63772f009e5eabc162c1bdd32","datavalue":{"value":{"entity-type":"item","numeric-id":3557668,"id":"Q3557668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0be5b84918c0a028af9269c58f1addff2904553","datavalue":{"value":{"amount":"+0.87964123","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":"Q4003356$456E5363-503E-4B91-A22C-84C7ADF0806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b98ae5b90138066d60d4f09aceea7fae0605e7","datavalue":{"value":{"entity-type":"item","numeric-id":1082069,"id":"Q1082069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6497cb52c778a4bf9a4e8078664ddb5226d29c7","datavalue":{"value":{"amount":"+0.87036616","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":"Q4003356$CFFD1995-E2C7-41F3-AD2F-0F2E40FF9BD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4003356","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4003356"}}}}}