{"entities":{"Q5213754":{"pageid":7243324,"ns":120,"title":"Item:Q5213754","lastrevid":53655269,"modified":"2026-01-25T12:23:28Z","type":"item","id":"Q5213754","labels":{"en":{"language":"en","value":"Adaptive proofs for networks of partial structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7162696"}},"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":"Q5213754$48A27529-D23A-400C-BA77-B828EE6BC5D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27aeacd42acf1edc5f6e9814cd7cfb873af4412b","datavalue":{"value":{"text":"Adaptive Proofs for Networks of Partial Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5213754$FF45D537-2700-4A6A-9088-C552D48CD025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae28132c0872b7e25ac3c953b57bbde3007094ec","datavalue":{"value":"1429.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213754$04F6AA96-9243-4037-B406-4B12D1786CB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ed01e4efe7eb7e8024b0d1060b479f891835bf","datavalue":{"value":"10.1007/978-3-319-40220-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213754$81784971-A06F-49EF-9A48-8F1F24AD6438","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ae1683922f07ae24d95e30c924c96f85fa40541","datavalue":{"value":{"entity-type":"item","numeric-id":383571,"id":"Q383571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$DC5010EF-6423-40EB-8CBF-40D2EE8526F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0be1e92c37e45bee89521c460eed481fa2fc7d7","datavalue":{"value":{"entity-type":"item","numeric-id":300554,"id":"Q300554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$C499277A-C194-4ABC-B62B-6661EF5044F0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5abeaf46134c34fae70da1aed14fbe0b121cd10b","datavalue":{"value":{"entity-type":"item","numeric-id":5213753,"id":"Q5213753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$48E4135F-55EB-442F-A023-6180AE671D01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad921148bded2cab24e82d2f35423071b09a7f35","datavalue":{"value":{"time":"+2020-02-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":"Q5213754$193A8EB0-D7D3-4077-A3DF-92A5F68E353B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213754$FF92AA44-B017-4CF8-9F3A-E9CE4EBC8753","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35a674a02674c2267fcc208fa051184acb49deac","datavalue":{"value":"7162696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213754$B6667B6A-4C69-4970-B954-2B9966AD6E71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d155a5b06ccbf6e6c31a48a38a915afedeb1afe","datavalue":{"value":"adaptive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213754$828D3BAA-0181-4DAC-9DE7-A176B80A796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4c62633b9b32077c4f013d757a5716db768d88","datavalue":{"value":"preferred models semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213754$8A594B7F-9533-4E02-A7CD-258EC0695D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d92020af4ae81a90574a34cfbfbf9804bc1c3bb","datavalue":{"value":"paraconsistent reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213754$A8BCA66F-3560-4B84-BB48-F14058069E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ae59530def89494697496ff4c4b0cdaa5a4a30d","datavalue":{"value":"structuralist approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q5213754$C8B20C4B-3439-43CB-87C2-5BFF69AA7D92","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":"Q5213754$91780AB1-A1A2-4B31-B969-3E75A6291865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ffae5d57d156c40c09ce53fd31b51b1d5c370b18","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40220-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5213754$7A5924A4-75C8-491C-ABC5-5C6E29C2D19E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b8cd36c3ca739bb437c65981cb4219dd86b113c","datavalue":{"value":"W2558790062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5213754$B50CF89A-20D9-4461-ACC7-9ACBDABC62FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a67805c3ab4c29004904055cf306561407a3f6ab","datavalue":{"value":{"entity-type":"item","numeric-id":5213754,"id":"Q5213754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$751789AB-8CCD-4A6F-871C-6A7D3D3C25A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c4c970498076339c0d43c6f53b3b29bee44ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1105580,"id":"Q1105580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$8035C921-C4B7-47F9-B7F9-32A55B8828F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645b5fc276a5cf7e95e16ababc50eab501d32574","datavalue":{"value":{"entity-type":"item","numeric-id":874757,"id":"Q874757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$A1BEAEE9-6A44-4278-A322-E110C3DCEF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990630ab3e46a12e1c42d28a2fb237947c7cb21a","datavalue":{"value":{"entity-type":"item","numeric-id":677077,"id":"Q677077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$3B1D0AB9-136C-4375-9249-E8E02BFF2F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959918d086a1839ffd4bc321d527a6d8e658acbd","datavalue":{"value":{"entity-type":"item","numeric-id":4260401,"id":"Q4260401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$0B7EB52F-5AE5-49C2-A3B6-48B9FE6BE0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018016ba75f094389ddbe8cd6d592b09e33487a2","datavalue":{"value":{"entity-type":"item","numeric-id":1771201,"id":"Q1771201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$11B9375D-6222-4C57-97C1-18D11BE6C831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$0CF43804-2000-4419-8498-EE8A2A0576F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6afd98104d250e8b263d6c8890f1ce8f19074b45","datavalue":{"value":{"entity-type":"item","numeric-id":1174512,"id":"Q1174512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$BD3E5256-F508-4923-9504-14DA80C75A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc58e5f44c09a88924201df355c4d1d739a34a87","datavalue":{"value":{"entity-type":"item","numeric-id":2804333,"id":"Q2804333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$BE0F1788-120D-4785-9483-653636201A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c289188516d4fb92862f20643ee137a64ff5528","datavalue":{"value":{"entity-type":"item","numeric-id":4925872,"id":"Q4925872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$CEF57FFF-66EF-4C92-B90B-93E9E8C76FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6dcc84e03f2a151ea8571a73318c92a0b1b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":2544606,"id":"Q2544606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$42383314-A2ED-4626-9D95-93A8F53E4209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3a32e30548a967c45d23fd37a58917a833b9be","datavalue":{"value":{"entity-type":"item","numeric-id":1135832,"id":"Q1135832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$0E60D698-6038-4498-9CD8-EC46B8C76DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d951611f6f64969cfedf30866173233cac358d5","datavalue":{"value":{"entity-type":"item","numeric-id":2517310,"id":"Q2517310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5213754$D415FBCF-B1C8-4944-B880-573789DE52DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b866c7c979a963731935c33d2bcbe2cbdb860f39","datavalue":{"value":{"entity-type":"item","numeric-id":1633217,"id":"Q1633217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f36830f50540b1a9d32af6691219680b537c35","datavalue":{"value":{"amount":"+0.7809571623802185","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":"Q5213754$B986F10C-F353-4E94-B890-4D5BC47FB8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ee79a67b74e1648d107c0320e2c70687105f7c","datavalue":{"value":{"entity-type":"item","numeric-id":4678451,"id":"Q4678451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc9db034c5093cedb58250151382ce9098dd26e9","datavalue":{"value":{"amount":"+0.7617389559745789","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":"Q5213754$21AF5D15-4720-40E4-8E90-B1B34A2422C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d34f4d650bf977c5df0306a20f562c654510792","datavalue":{"value":{"entity-type":"item","numeric-id":4329282,"id":"Q4329282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b5edef76694830df6b785334ab357b5db1298c","datavalue":{"value":{"amount":"+0.7480191588401794","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":"Q5213754$FDDA48A7-86CB-4C48-8CB8-4E40D33680B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"790a3ad71280b315184e6431fb3f33b71d20a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":2719629,"id":"Q2719629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0a9720f98ea5cddfca3d4bba86b5a05d9da80e8","datavalue":{"value":{"amount":"+0.7460315823554993","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":"Q5213754$274EE8D4-9F3D-4551-8C9F-B9F8F8137B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc2fcb6768cd2215c88b6ae3a35d403a4430eb7","datavalue":{"value":{"entity-type":"item","numeric-id":813092,"id":"Q813092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df2bf4f442c40dd7270c0fe5eee23ca8bc5a9ad","datavalue":{"value":{"amount":"+0.7408634424209595","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":"Q5213754$9D7486E4-3E4C-414D-B74D-05283738F8A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5213754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5213754"}}}}}