{"entities":{"Q2973445":{"pageid":2984170,"ns":120,"title":"Item:Q2973445","lastrevid":79789718,"modified":"2026-05-06T14:42:56Z","type":"item","id":"Q2973445","labels":{"en":{"language":"en","value":"Proof theories for superpositions of adaptive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699755"}},"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":"Q2973445$A78B6C87-426C-43BE-92E3-7F6EA483D01A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"feaa214704df02284f7ef9c0318fbed76bded3c6","datavalue":{"value":"1373.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$4A7783A2-BEA3-4421-B50F-A482119E1F09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45c874a05f6b3779dae4893dde39a56b0ac3ef68","datavalue":{"value":"10.2143/LEA.230.0.3141812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$8003CFDB-25A9-463F-A65E-EE145A920250","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"218130659cf675c6c09cfab13bda2304e895e29a","datavalue":{"value":{"entity-type":"item","numeric-id":332073,"id":"Q332073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973445$C6841411-E116-4606-8272-20ECB1110420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eef4cfc7e643db0ff62c7422eafa31d1f687271c","datavalue":{"value":{"entity-type":"item","numeric-id":301344,"id":"Q301344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973445$C995B34E-6354-4D6C-A167-BE3F7A4DA4A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2973445$1F962D20-DC34-432D-8647-9420C02FC546","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$9FB21A57-05DF-4D7B-81DF-DB422035647A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$01DD9CEA-6767-4115-8D39-7B2C97705919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$6D739CAB-A64F-4F9B-B7F9-CEAB02244426","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a4a89940102f4ceb785d7f664db7519df6a716","datavalue":{"value":"6699755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973445$548C9D34-980E-438F-BEA7-05815E9C363A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d155a5b06ccbf6e6c31a48a38a915afedeb1afe","datavalue":{"value":"adaptive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973445$29102F95-AF86-4677-B948-D3EAA49C85DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa61af1ba4a6f6569d3fedcb4e13c79f8557cea","datavalue":{"value":"superpositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973445$44334348-6C6D-4E21-A27C-F4E4B13CCEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45af6ea7606e7f001dd92c0f7f61996b5626ec1a","datavalue":{"value":"marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2973445$9F9E6D51-43B1-4DC9-A665-8C2C35ECB8A5","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":"Q2973445$54DEE1FA-3A36-4576-8E95-93CDF3001F0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba197c20fa3284092fa0542490208bcd28e654f5","datavalue":{"value":{"entity-type":"item","numeric-id":2517310,"id":"Q2517310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fab24160cd6bd50c0a2ee77f25778c8efa150442","datavalue":{"value":{"amount":"+0.8149158954620361","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":"Q2973445$E8164DA6-DE9C-4E66-BC8D-0A4B50E4AA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c24dd8860646f1f3b53da6351af3f02a01118f","datavalue":{"value":{"entity-type":"item","numeric-id":4925163,"id":"Q4925163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a74b1d4ef5647dc1ec970271984b4a82b122da81","datavalue":{"value":{"amount":"+0.8084025382995605","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":"Q2973445$75FE3CEB-399E-4EB3-8973-ED783644CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221d19cc7cf158b608a28e1e09dfbed333a2bceb","datavalue":{"value":{"entity-type":"item","numeric-id":3305674,"id":"Q3305674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2d1a17cddbf01148f2c270adaf6b17f48404bf","datavalue":{"value":{"amount":"+0.770042359828949","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":"Q2973445$D2256869-FB67-430C-B552-6DF82A723ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2b17fdc80607f9ac3a7b5f3bb466be6c647ca73","datavalue":{"value":{"entity-type":"item","numeric-id":383560,"id":"Q383560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d8f680a5abfc769d282ea2a84e153bb18523594","datavalue":{"value":{"amount":"+0.7697077989578247","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":"Q2973445$0867CB23-5094-44C8-8EEE-4DDB529B50D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0b0ce52cd837a8b3843fa6af6454ed6392078f","datavalue":{"value":{"entity-type":"item","numeric-id":2903750,"id":"Q2903750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538dc514eb62f1e30033481065a21301e0b1784f","datavalue":{"value":{"amount":"+0.7623411417007446","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":"Q2973445$F1C1816C-7138-45CA-8C16-5826CA804C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theories for superpositions of adaptive logics","badges":[]}}}}}