{"entities":{"Q4002147":{"pageid":6031972,"ns":120,"title":"Item:Q4002147","lastrevid":55152886,"modified":"2026-02-04T04:41:28Z","type":"item","id":"Q4002147","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 51768"}},"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":"Q4002147$23AA8BFA-AED5-42FE-8B02-3A39962E459D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a3cee632b51b4629a5f514728100670daa09ced","datavalue":{"value":"0799.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$A9FDD101-C164-401F-B6C2-67BA95EFF68F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2096f407889a4c47596dd337682d535243e6aef","datavalue":{"value":{"entity-type":"item","numeric-id":1161270,"id":"Q1161270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4002147$2041704F-1906-4476-B4A1-D9E96B99CED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d147d3a2f1d78f6f0ac3adfd6d7ae9c05cec469f","datavalue":{"value":{"entity-type":"item","numeric-id":1161271,"id":"Q1161271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4002147$46761593-DF07-4C08-9AC8-302807925447","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":"Q4002147$4DDBC99D-210E-4024-BF3F-0E96259BE482","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$14F10439-BF44-4D80-B163-0A7D098B0250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$317B1F0F-B35B-4D70-B8EF-4A4693D6FD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$3F04978B-A602-41CA-84A9-29C85F22318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$56A500F7-9F9E-4099-B5F6-2E5C93AB1DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$BEA38FF8-01CE-4258-AE5B-52F3682C140A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$317F9BD8-E22F-4187-90B7-353BE67E2869","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ee81bbd8857ccae45772872b006de67d2d724a","datavalue":{"value":"51768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4002147$84018116-3AE0-4104-A83B-5BBC6DA57D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3e8e349d61118ee118ac0469d6daff1c84dcc96","datavalue":{"value":"many-sorted first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$86312CA5-26F6-4809-8116-6D307F38AA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5cb5b54a3a08e256bbb0215c92de493a4b5803e","datavalue":{"value":"program schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$7AF784A0-3008-45B4-BCF8-E6208D404BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90ca88756b848702e213793588c4812d6f2cabd4","datavalue":{"value":"stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$3444C523-B157-43C2-B47B-B2F5736631B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$B04EED08-5604-4FBE-8DB7-11E78102B9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$2DB8CA63-3618-4539-9804-8544075DD7FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db31eb10ea266efb73e7a5434e29744f2accba34","datavalue":{"value":"continuous denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$C5BC3DB3-9010-4E1C-A59C-B9606E493B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$DEDC6B02-C4B5-4F55-82ED-DC76E8DCA028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bbc771347c0a0fa5d1136d32ed64647dd7c77e7","datavalue":{"value":"time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$3EAC8367-32F9-49E4-86CD-4B2EE0975EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$D1994A9E-CBCC-47C7-A615-CCD1035FC4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b66181cc57e4d47ee955c2f4c4b281eb96cd5669","datavalue":{"value":"programming verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$81527868-EEE0-4017-8395-5820F712F93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8da17f16857404353f1da934959cb0947e40a418","datavalue":{"value":"theory of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$41E7F260-98F9-4103-8E81-F69683AB1299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f3d3097a8713c6441474d2de7b5a406c9300f96","datavalue":{"value":"programming theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$A5956BC5-B36C-4969-B160-F95467C83443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188830a2fb413c4a119cf1bfc2d2ccbb15db194a","datavalue":{"value":"reasoning about computer programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$A20D415F-FF54-46BB-B3D3-5F2611DFA355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$1D25E88B-3BEE-4B38-B075-CCD6CA269E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$786E899F-FA74-40DF-B645-35B668672BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"591ea82ff7f9276031623a4d30aeeac49835c681","datavalue":{"value":"programming language design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$FA26EBF0-7B3D-45D1-84D2-C31BFEF6C31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6efcbfbe86b85ffd4ced23972771b8438ff975","datavalue":{"value":"classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4002147$BE70AE04-00FD-42DB-8AC1-7CB2C0E1E2C5","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":"Q4002147$6AABB08E-EC5C-426A-8935-8F709592AE1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d582558383118de9d65b0211933a9afadc6cadfa","datavalue":{"value":{"entity-type":"item","numeric-id":4357064,"id":"Q4357064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d80eb918d4a86dfdcc16a975d05b6344e3c1027","datavalue":{"value":{"amount":"+0.88320374","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":"Q4002147$AA72DAA0-675D-417C-A43A-886AAC0E5DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a80cfbcfb092e1c48409ae3e33a7805acc025e","datavalue":{"value":{"entity-type":"item","numeric-id":4339019,"id":"Q4339019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a910a5e6cafd286c2a1a6e4e1ded09e5a8a9ada","datavalue":{"value":{"amount":"+0.8820014","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":"Q4002147$3EDA9669-5F6D-4549-B4CD-02E99498140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7b62b9cb289eac45bdc74ac8d981b031a40026","datavalue":{"value":{"entity-type":"item","numeric-id":4428289,"id":"Q4428289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f6e221fc7c7287dec124f493c6d8fb445ea9cd","datavalue":{"value":{"amount":"+0.8787005","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":"Q4002147$B3E615F2-4B18-487A-8E72-B085EEB9B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1414ea05eca67b4e8370a2c68ffbf1f2efbfefe0","datavalue":{"value":{"entity-type":"item","numeric-id":3631317,"id":"Q3631317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d909d5c38e3acaa7e7c06a21aaef85bf23ce8b3b","datavalue":{"value":{"amount":"+0.87432015","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":"Q4002147$CC28C123-CC16-4FE2-96A8-8C9B0928A144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d4f01e815cb09b5fb8a5fb7514d4962b182eea","datavalue":{"value":{"entity-type":"item","numeric-id":2719126,"id":"Q2719126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b46f1505adf0ad7f3d8f99f739743780f589e4e","datavalue":{"value":{"amount":"+0.8738767","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":"Q4002147$42195648-BF1F-4E06-AD78-ED933DD7BEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ece930aaa53f8302e32badf5ec77e1e979cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":1592005,"id":"Q1592005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b04bf26fd67c73eae9da4296515b9ca4f147f25","datavalue":{"value":{"amount":"+0.8732008","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":"Q4002147$A7B6012B-F8F4-4D4C-BE42-20CB32EF17AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ae227d712e41d6079dbd47a9f1cb3514d8f063","datavalue":{"value":{"entity-type":"item","numeric-id":3476792,"id":"Q3476792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5477535893f58d502c14e60a8f32d309d8a5887","datavalue":{"value":{"amount":"+0.87109876","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":"Q4002147$0A45900C-449D-467E-85B8-CE377ED2367B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aec913a592f58f176a735193ea6449ad1ff895a8","datavalue":{"value":{"entity-type":"item","numeric-id":908686,"id":"Q908686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d50c07f0cab7a92ab2a9dec05d4063bcaa71df","datavalue":{"value":{"amount":"+0.8676888","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":"Q4002147$21854B3B-4907-4E75-B0CE-F0AC84F4969B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4002147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4002147"}}}}}