{"entities":{"Q3358711":{"pageid":3369416,"ns":120,"title":"Item:Q3358711","lastrevid":49527694,"modified":"2026-01-07T12:24:42Z","type":"item","id":"Q3358711","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210108"}},"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":"Q3358711$3F77BF5B-F9D4-4731-B8D2-4C04FC796DAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0355a87b4e11a468d301aa06437ab5044097365","datavalue":{"value":"0732.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358711$BCAFE09A-7440-4BA4-9B47-6F7B8720E513","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3358711$0900AAD3-B97C-475B-8F36-ECB3C0698EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358711$24FBA323-E83C-4D5E-BC91-8231C0B85BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358711$F1505402-D28C-464D-A8A8-387EBFFB7AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358711$B7875F7B-6E49-4904-BE4D-D9537ACE1CC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f23896c2337fb9ac7339eb04876c8cab269fb1df","datavalue":{"value":"4210108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358711$13D15899-B316-4A12-8CF5-7ABF9AC59350","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66c028a372bfd60e3264fc6be5de3855b0574b3a","datavalue":{"value":"infinitary calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$553E2B63-BC42-42B1-AD25-49123B2A9D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$2FC49904-0935-402A-92B5-DA7B876C2C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bba5e22d7dff8312bc34f306bc40b2d1b9433d9","datavalue":{"value":"sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$B43B991F-A77C-403E-AEE0-8D40EBC244A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$96D637D1-0FB0-4D5D-B7BF-0CEF8E669632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$E4592464-0677-49B9-B8D7-DB18481BC212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358711$FEDCC89B-64ED-45EF-A850-64C15C7E4C58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358711$2045FCEB-9E5D-4AA9-8BF2-453DACC73E76","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":"Q3358711$CF61D4EF-94DB-4920-B5F7-D5E8DCF974CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7805cbad3e8832b483950a12b7f07254d94f1b21","datavalue":{"value":{"entity-type":"item","numeric-id":4560364,"id":"Q4560364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d923b8957b5ecf121b3af3af11c48be6ec2f0ad5","datavalue":{"value":{"amount":"+0.8989526033401489","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":"Q3358711$BF43F427-4F40-4273-87BC-A3B7BFF6B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bcaba2fd98080425a3be2b11d79740e6e6b7f60","datavalue":{"value":{"entity-type":"item","numeric-id":2757835,"id":"Q2757835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173a761c867f536e058c0d96b73c7d991c2c4160","datavalue":{"value":{"amount":"+0.8741635084152222","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":"Q3358711$65B3A88B-BE5B-4916-8D64-FF8D3F7CC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4d93c4d76a7ba344882e3131065a19fde672a6","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d30f517453996820e319cfd94d8bda959d08679","datavalue":{"value":{"amount":"+0.8685827851295471","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":"Q3358711$552044AE-5003-471E-9D26-9B017BCC36F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edaffa804b74d87e038d748335f23a598307087","datavalue":{"value":{"entity-type":"item","numeric-id":1589838,"id":"Q1589838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828e3a1d85ab9deb330f7f20a08a3a31a28ac65b","datavalue":{"value":{"amount":"+0.8638115525245667","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":"Q3358711$506DBA40-B1FA-43B8-A397-C6BA0FDC5C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f79eb5dfec092432cf602434e44477be294c9dc","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114624236d846620bcae7bc5679a92d04da50373","datavalue":{"value":{"amount":"+0.8569705486297607","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":"Q3358711$1A9CDB14-118E-46A8-A375-2636BA6CFA1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358711"}}}}}