{"entities":{"Q4041013":{"pageid":6070729,"ns":120,"title":"Item:Q4041013","lastrevid":55260520,"modified":"2026-02-05T10:53:38Z","type":"item","id":"Q4041013","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 194217"}},"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":"Q4041013$BBB36547-86BF-4149-8D46-E3B2560EAAAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7868f5017ecefeeb807a67c3970e480370a44f3a","datavalue":{"value":"0713.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$C116D002-98C5-4D00-BA54-5968B41587AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0bd4628a16de632de0676dc4d3f93d7509a66ecc","datavalue":{"value":{"entity-type":"item","numeric-id":4041011,"id":"Q4041011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$74BBA42D-D748-4D65-A649-714ED0E5F32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c510e7c4a1fdc41ec84ad13fb6b7e628c6e9afb","datavalue":{"value":{"entity-type":"item","numeric-id":2751823,"id":"Q2751823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$60034008-E0C3-4835-ABF9-BB58D192DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dff713a11abb8205d1f72e1a07b7c8a90d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751826,"id":"Q2751826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$4586F0B8-59AC-48CB-AC0D-655DDB03FAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a710784c355cb7195e9e90391beb6dc0cfa1a793","datavalue":{"value":{"entity-type":"item","numeric-id":3216631,"id":"Q3216631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$CE1FA22C-2E32-4985-861E-707565759688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fad1569c8be2255d9bfdffc0138078a0629e2a8","datavalue":{"value":{"entity-type":"item","numeric-id":3801395,"id":"Q3801395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$2E8FE777-E253-4650-B66D-5F7C0CFDFCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$84345B88-6AA4-41B0-8D67-C45B3FF937BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c64c9805f9858d655093e497d6f956b90888963c","datavalue":{"value":{"entity-type":"item","numeric-id":1078166,"id":"Q1078166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$6873170F-884A-4A56-9CA8-215B57D415C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97fbae0059730779e76e97369af36652636da039","datavalue":{"value":{"entity-type":"item","numeric-id":4041012,"id":"Q4041012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$8ADD47C8-763E-4844-8010-C1DA648C3F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e6134ef3778a44d58b4c3860450d381d79c997","datavalue":{"value":{"entity-type":"item","numeric-id":2804037,"id":"Q2804037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4041013$5FF2902A-DCE7-4DF9-8552-46232BDBEE09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28319e3934f5b194abbcd5639e9eae3758e9e43c","datavalue":{"value":{"time":"+1993-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4041013$AF8B5B85-822B-41BB-9A78-D27860183380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$A378AC48-656B-489D-92E6-A1EB2E8823E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$F63879FC-921B-4999-8917-0A6A0C2C3AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$B15BC6B7-0E63-4DCE-8619-552B45F75DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$B090E2FF-8FC7-4A5E-BC0C-07F5616B0026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$DB973C5F-3272-45B1-8992-6A884007C850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$57F8042B-2D4F-4F03-9231-2522ACD61987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$DC207434-9392-4E06-897A-5347BB5AC9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$70F99C35-B8F9-4207-A3B5-ACC655866787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$1075269E-9711-4E63-AD7F-A6E3CA38B330","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"442ca9bddd60fc616fd51130f55714f60a452b93","datavalue":{"value":"194217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4041013$8F377397-4F9C-442D-989F-F84092AB0473","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$6F2B2D14-5D08-4849-8F6F-9E271C9E516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$3B2931CB-FDC9-44B5-9A5E-A99FF616F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bba5e22d7dff8312bc34f306bc40b2d1b9433d9","datavalue":{"value":"sequential calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$65436767-FFCA-4447-846B-B8740C356094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be48d36ca89925844640f3fb5a70629c939265d","datavalue":{"value":"logic of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$41A2AB62-FF69-4E00-BD75-E517D6677A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca9b1033b4524a6757892752b1ae1272e32b02","datavalue":{"value":"partial and total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$EB0B8518-97AA-425A-8816-48C47F4EE577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$102DC6E4-3CE9-49AF-9B8F-8D3CE51CCFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5eaf902aa7bfdb4995ef75334cdd3996a74860c","datavalue":{"value":"autoepistemic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$8B0E5412-5DB7-4776-8773-755BDB745D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"140c78f6d5f53fb6ac5555a3749909614fee1758","datavalue":{"value":"logical inference with bounded resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$B5163F94-ECE1-45F2-8681-AD385A0FD779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c6119e7186c29579a628e010bec9283ea82623e","datavalue":{"value":"probabilistic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4041013$D1584E43-DDCE-4302-AA7D-7DEE66EC9F99","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":"Q4041013$9F271520-4EAF-49BE-A6B6-9EE80CAE2456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d0af3ee186e2a34e65d3bf1eec1eed76467497","datavalue":{"value":{"amount":"+0.8539302945137024","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":"Q4041013$8CC65993-9783-4EE4-A6DE-1FC95EC74B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7393b83bde7ad0ef44856274a241c482aa02c4c0","datavalue":{"value":{"amount":"+0.8157991170883179","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":"Q4041013$BC53ACC9-5D1D-4343-9686-57D9755809CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fefea3d6b6c196ea689df6ee7a0647da1946e4","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579d7363e146087423c7c59d855284307a1fc614","datavalue":{"value":{"amount":"+0.8137922883033752","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":"Q4041013$8572FEB4-D930-49B3-B90C-24F57460978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"579d7363e146087423c7c59d855284307a1fc614","datavalue":{"value":{"amount":"+0.8137922883033752","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":"Q4041013$E0F3D01E-1D88-4A79-A6E3-CDEF9A4C23ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e81f0fd4cb2fa7251abacd206e730ac001bfae9","datavalue":{"value":{"entity-type":"item","numeric-id":4003336,"id":"Q4003336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05675c4ed4c551977a73f3a5303da59b2846d15","datavalue":{"value":{"amount":"+0.8104810118675232","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":"Q4041013$E5E8A426-E867-4D96-8C62-27327038316F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4041013","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4041013"}}}}}