{"entities":{"Q2506830":{"pageid":2517573,"ns":120,"title":"Item:Q2506830","lastrevid":74280456,"modified":"2026-04-14T19:19:43Z","type":"item","id":"Q2506830","labels":{"en":{"language":"en","value":"Deduction chains for common knowledge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5061799"}},"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":"Q2506830$BCF88165-B7AA-4199-AB29-70E25D177E4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"717ebc6d32ec888db8962572ed82e1e7a95fd454","datavalue":{"value":{"text":"Deduction chains for common knowledge","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2506830$757EFE2D-EF98-4736-AB35-84DEB208F721","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5668c01b016336cca6463995b87592da14aea80c","datavalue":{"value":"1104.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506830$0AA96736-B9C6-4EE7-83D3-8D8F5743A2F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c479a9f1686abd486f65026c3c559418daab520c","datavalue":{"value":{"entity-type":"item","numeric-id":941441,"id":"Q941441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$EF339667-4BDC-4F99-A7FB-ED5114BE0551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$21C611E3-26E7-414F-BB8A-8B99810AEC11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$DA6EE923-1A41-4699-BE66-D9D8E28F8F1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17d5dc9e06bd48c78f65617b39b2f452c61f43e4","datavalue":{"value":{"time":"+2006-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2506830$3690D275-B41E-4034-A3B5-84118B86DDBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506830$DA5295B9-6C65-409D-A0CF-4111D32B6988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da5e12485f57253744b4f3778ffe2faccf14860","datavalue":{"value":"5061799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506830$B3CFC262-71F0-482F-AAF6-E181D0D35CC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"568a6748e2ab4c41d15d35c4409c903776f6cba4","datavalue":{"value":"deduction chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506830$0EF35549-6E69-47D2-BF5D-744A55888E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70fd2666cdabf66a76606a7cc03cfbca2d1788c2","datavalue":{"value":"logics of common knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506830$9B0C6748-D532-4875-814C-7EAECD635BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4340ab3a28a709814844d7411df413f8557c4ecc","datavalue":{"value":"Tait-style calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2506830$6BD3F4DD-95D4-4A28-8B73-671E17603508","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":"Q2506830$8A6A27C1-C2E3-4CFD-BC3E-D1F71D03CAC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"558a2612ab5769a676993e47ed5c6ce38f283a13","datavalue":{"value":"https://doi.org/10.1016/j.jal.2005.06.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q2506830$9A1EEC78-0C0E-4163-82B0-2C6F219B83C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"12c4fceb3d2e3e404f84144ab66e5e3bceb64329","datavalue":{"value":"W2092883160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506830$5A8C9FBF-23F6-4FA3-BA21-EA8ABBA400EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2ed56b92ab146c7120d7146ca58937602301ee","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$525E1F03-79E7-4C86-8882-FD53870A6A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$9CEDD9CE-E234-43C4-9C86-61ECD3CFEA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c97a7b6faf562e1c5b09260906a1f00f35a77b0","datavalue":{"value":{"entity-type":"item","numeric-id":3773876,"id":"Q3773876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$083D2F3F-8A48-463A-93DE-DB4458E6A816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07b4a5481d2ba20db96403c8a94b2eeed3801b42","datavalue":{"value":{"entity-type":"item","numeric-id":3477999,"id":"Q3477999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$C8F5EAF3-D9EE-485E-AA79-10AA1306A5E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea9187b8180b23a3a0d8afd378eaa2b49c493b49","datavalue":{"value":{"entity-type":"item","numeric-id":1302306,"id":"Q1302306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$03080094-18D7-4E1E-A563-FE1957138E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$6A8855CA-73B2-4B25-A84D-54EDF95883DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec940eee0477184e354b8959d22d2df44a783c7","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$089D6A6E-89E9-4A25-8F81-E0A583367CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e21aa2c8417444bb3098b83ec743e607734c3bfb","datavalue":{"value":{"entity-type":"item","numeric-id":3285631,"id":"Q3285631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$903B00F5-A96A-42B2-A542-0C5435D767FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$EB931A27-014A-4A04-AEE3-60DBF2168C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$7915019F-A285-4E2E-A923-7333F8A5CEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be85b3951fe2b4ee7f07bf10003c515b5749abc6","datavalue":{"value":{"entity-type":"item","numeric-id":5605873,"id":"Q5605873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$81A36CA9-6DBC-42B9-AFAC-18C5003FABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df112f62a43a9d44047fd2e019422f51de9dc089","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2506830$B55B7DA6-79E5-4667-99FF-6CC2B1C36357","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2efb71b548a0881f30e6ea2b28c8a942f5680194","datavalue":{"value":"10.1016/J.JAL.2005.06.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2506830$BB1A25F7-40B7-44CE-8117-3B92F844EF9D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1394bcee246cb17fd52d68c3038aa36279edb8","datavalue":{"value":{"amount":"+0.7989752292633057","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":"Q2506830$14211B21-8B08-4859-963B-DF5EDF05D318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5298c5a5e72b19443da416c0ed19df9e277f6b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3185764,"id":"Q3185764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a61cf07b4571e765d84b482bb8b83744303dc4","datavalue":{"value":{"amount":"+0.7780923247337341","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":"Q2506830$D07EAA8E-0EAD-4615-AB69-9987752572D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cda7bb88146d79022676266ce860752d2c5119d3","datavalue":{"value":{"entity-type":"item","numeric-id":1772772,"id":"Q1772772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c737aa001966d2106162d80afbae4dcccf2b110","datavalue":{"value":{"amount":"+0.7685562968254089","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":"Q2506830$9748ED42-E776-438B-96D1-A83DE3B150AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c82d7ea3abe638f84dea7f03893272e5e5ac08","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f05dc50920042b6139e08718bb4e4e95006fb02","datavalue":{"value":{"amount":"+0.7579182982444763","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":"Q2506830$BD5C226A-6C07-47CD-87A9-B4EDA0C7F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c00f23ba6f6420028143d5ce2f8dfceb40ce498","datavalue":{"value":{"entity-type":"item","numeric-id":2475436,"id":"Q2475436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc07b916314a118e867d8afb08694ab5a4f79cc6","datavalue":{"value":{"amount":"+0.753955602645874","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":"Q2506830$B545F57E-76FB-4089-B058-081ADDE0A06E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deduction chains for common knowledge","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deduction_chains_for_common_knowledge"}}}}}