{"entities":{"Q4858037":{"pageid":6887617,"ns":120,"title":"Item:Q4858037","lastrevid":47374975,"modified":"2026-01-01T13:37:36Z","type":"item","id":"Q4858037","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824735"}},"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":"Q4858037$BDCCF271-94C7-4599-80EB-88352AC047BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f3613054a4d7f1edc9a05d4c380fd62db116210","datavalue":{"value":"0868.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$4100839A-AB55-491C-9121-819DA936C301","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858037$198BFB5B-9666-4292-B3A1-B88616D620D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4858037$17D80CCA-BF83-4E99-A9AA-873418350CE1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57214d04ae05943a5137d82d5301ca8fec913bba","datavalue":{"value":{"time":"+1995-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4858037$59A567E7-B69C-4669-B1C9-3E50CD7FD4C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$5BB94F96-5C60-4494-95DD-69DB5CA2E37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$01551864-1FCE-4CC3-A5F9-3E1D8577EF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$C6450995-6B33-4083-968B-3E9CDBE69510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$495CBBEA-C2A0-4FA3-AEF5-11B7002C8D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$925E0507-FCE3-417D-98E6-4A064552A750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20aa1f2dce46bc60743805e499faff87772bb93b","datavalue":{"value":"824735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4858037$9C60897B-585E-4838-90FA-11E5685C1F7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59a2f976b8e52bff04fa9f0dfbc6ef2dd6da37e0","datavalue":{"value":"default reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$C3968BF3-D7D6-4916-8D8E-1687816ABA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$69B78B09-06CC-4CDE-ABEC-2756F63B6E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b255b3f7f779539c5118a049f2680d4f791b91","datavalue":{"value":"epistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$6F61B7ED-BEBF-4CD1-AF78-A43FC39F8B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$35516930-94AD-4CFD-B460-C6534107EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720ad2603becd284daf2e9c45e20cd0a497e5f48","datavalue":{"value":"protocol verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$993FF5C9-E89E-494B-A3F8-6FD77B5761FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ead3fb3f8c867b83027c9d5a5d8cf2de3a9b0f9","datavalue":{"value":"knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$43208257-A8F1-46EC-BCD1-F80D3FD1CE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6f546723443d5b126386a19433554e73cd6ad7a","datavalue":{"value":"belief","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$FFFD33F1-EAC8-4ED9-B436-651F501FE4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cb306d64a27fe24e658c6f12a47062d134b4093","datavalue":{"value":"logical omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$3D1C389F-45B0-4848-B066-05168A395CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$F5D1E360-C9D5-4549-A618-FC50D6C48ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a31457a4571280805daaeba64a43b222d06157","datavalue":{"value":"preferential entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$C9553338-8D46-4E9F-A30F-C3A5090DC31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc913dc049d8fe32d243e3587c27898ea3ba624","datavalue":{"value":"autoepistemic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$68E14C31-537E-4808-8CC1-D12AB1128F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c92323c1a4474afbc319478f76dfa20403d76a","datavalue":{"value":"counterfactual reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4858037$E236D4C1-69FB-4126-A852-1542E348E948","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":"Q4858037$338597CA-C960-4D9E-948B-115B30A34ADC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cc897bb6a2b48eb8faec0f336183d4a4f4f15f4","datavalue":{"value":{"entity-type":"item","numeric-id":4713374,"id":"Q4713374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21ad1245008365635746997767b790973779784b","datavalue":{"value":{"amount":"+0.8812681436538696","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":"Q4858037$7DE31F02-C008-404E-A618-5BFE345A0231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22d3e71b13b196172347a9f3fea86fc81a624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4332468,"id":"Q4332468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cd197c7552ec90b1ff457e161fe50d2bdb056f","datavalue":{"value":{"amount":"+0.8809094429016113","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":"Q4858037$1BB09288-A6E8-45AE-9CD1-420838AF2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba469c55df0f82983760d2ebb19e39063e046481","datavalue":{"value":{"entity-type":"item","numeric-id":5695989,"id":"Q5695989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5d57f4b4868e62d45aa810e421d310d283528f","datavalue":{"value":{"amount":"+0.8479277491569519","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":"Q4858037$7666C0BA-704B-49B9-AFF6-7CBA1C97D962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e968a39ef97b0e38ba1d296bc8d69ee46c4887f","datavalue":{"value":{"entity-type":"item","numeric-id":4005185,"id":"Q4005185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414cdc69fa907305f978032cfda1777812059100","datavalue":{"value":{"amount":"+0.8280210494995117","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":"Q4858037$3BDA45DE-8113-4EA0-8191-82DFDECDDE7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3373586c7e8464cb83179f35fa51741e3f6910","datavalue":{"value":{"entity-type":"item","numeric-id":4295869,"id":"Q4295869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"414cdc69fa907305f978032cfda1777812059100","datavalue":{"value":{"amount":"+0.8280210494995117","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":"Q4858037$5AED294F-0ABD-4145-96A0-B8A8311A81DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4858037","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4858037"}}}}}