{"entities":{"Q3010361":{"pageid":3021085,"ns":120,"title":"Item:Q3010361","lastrevid":85714172,"modified":"2026-06-03T11:15:52Z","type":"item","id":"Q3010361","labels":{"en":{"language":"en","value":"Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916705"}},"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":"Q3010361$D3152C9C-DE1A-4D01-AFB2-2D3A9CB65BAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7296344b7f111ad1ea8dde6d23a3446a98a7185","datavalue":{"value":{"text":"Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010361$E040ACC1-630B-4049-A9BF-8E60411E50A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d27c6500faa48e92628e3b8ede3146d5dae0b88","datavalue":{"value":"1333.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$007F4E50-1D74-4CBE-B57B-10ED37F3932D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07735724e2410afe6e72ab6c49d8afd045c2455a","datavalue":{"value":"10.1007/978-3-642-22119-4_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$5F389319-0774-4C4A-B0A5-2C5DA1C9F6AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$6EF68DA1-1159-4F0B-A312-6E0CEAC090B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$4F6A819D-2A84-4973-A8AF-08E91A409385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$4A17352C-6606-489B-B6C8-E6B7D0D17F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$B7722862-1C43-43DD-887A-A1A8992A7889","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$D86C4EC4-76A1-43FB-8D8E-CDD34784C579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010361$0F6721BD-F5E5-4B7A-87D1-7255097A3140","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$BA6EE372-E535-4B3C-A164-AF33DEE7BED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$40782112-7099-431D-95C0-7A480D8D94DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$3E21C693-3C46-4E48-9F0E-30A49FB21D3B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3549dc3e938724cb41a1c11ee49177d031509f0","datavalue":{"value":"5916705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$F35D1F1D-FB3B-4B60-A5F0-85DD19F3E6EE","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":"Q3010361$1D6FA726-DA72-4913-A77F-32FDDF75CDC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"479341787c3c092e6c557bc0b0271695a6d36571","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22119-4_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010361$2726C33C-1E3E-4887-8840-BED0BF89DFED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a475ba00973512a21d9601b5faf0b6327850ac7e","datavalue":{"value":"W19621713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010361$563FFFCF-9A2F-4DC8-800F-07B2F918CAF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$2363419B-4393-44F0-9CD6-F7BABFF64414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd49db1567d5c7404554c9f73e67949de7b65f92","datavalue":{"value":{"entity-type":"item","numeric-id":4461930,"id":"Q4461930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$86BD4255-C2E1-4760-8559-7BBB7C5BE953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$316CE8F2-0AB7-488E-9D54-023676716845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb9dcd375531af369ae4cc5063a5b38f6a61238","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$6A64E05E-0801-4420-9596-4D3FE4B21078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b3eea3c9db8701da6077c13cd2e63d12aacf43","datavalue":{"value":{"entity-type":"item","numeric-id":3532458,"id":"Q3532458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$A85DF43B-7B36-46FC-A746-BB7D04C41A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46960c0454b7c9de4e13a2a08bceb69750cd111","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$A2C1A689-1444-4C82-894F-F3B2EA43C335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249a894dab2a39153d08ac7e25364e55c580150","datavalue":{"value":{"entity-type":"item","numeric-id":5187862,"id":"Q5187862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$1AC5A1B9-920E-4677-8851-B2782CFA1D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d31304e152c67cc63dd3eba6611dad012b377fbc","datavalue":{"value":{"entity-type":"item","numeric-id":5902190,"id":"Q5902190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$8FB649C1-5712-4006-8CAE-1C4F22FD5723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6116352a25eecccad3b9af02c59f1ea6b1cb1d7","datavalue":{"value":{"entity-type":"item","numeric-id":2506829,"id":"Q2506829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$B9A0714A-6322-4160-A4E2-464C4C70E26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$65115629-B2FD-4725-9A97-D8F96147CA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca749ed2185099fe6ff93252e3360a1034c63f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$B83CFCA3-2250-4965-B64C-DEB1EE972EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$AD8772D8-12D8-4622-AE1A-E185AB92F963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$43939C36-692A-488B-9A92-95A7DC482DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010361$0D5C6EC5-6829-46D0-AB75-DF658D961F99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0261ab9417961fd735dc8c4d11e7cf58fde1932c","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"649d6e1008f8e32c70d08f1e3f04f066b98bd650","datavalue":{"value":{"amount":"+0.926651418209076","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":"Q3010361$5E439DB9-8DB3-4179-99D8-373EEF7B0779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b2b0efec64b0781a2bd4cf7fb518bd2cb3cc05","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24b1e533cd9fbbd7d32eb8e59774a5434673cf63","datavalue":{"value":{"amount":"+0.8533549904823303","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":"Q3010361$8D3CB6FF-45FA-49C1-8043-087A58B6D9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33be8ebf37af7f59f0dc91658415cda551ea12ae","datavalue":{"value":{"entity-type":"item","numeric-id":3532458,"id":"Q3532458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfc7acea3d00d971ee2df54921c564e1332fa4ab","datavalue":{"value":{"amount":"+0.8501971960067749","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":"Q3010361$1F71EAA9-8AFB-4DDF-B7E7-A9A6EB4D6D99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1586e33dbc673a5888198a6a6f0cdf1830d23ec","datavalue":{"value":{"entity-type":"item","numeric-id":2851934,"id":"Q2851934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6dd3e84192834080eacbfc4dd77b8cf3bd1a1a","datavalue":{"value":{"amount":"+0.8470030426979065","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":"Q3010361$E5300734-8FBF-40D2-BBFE-5FF3E3DCD79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f791aa5c94de6f1d8d8de094ff105869a43814","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2de2b581b68f52ab041f81ab66e2f5caa5ae46","datavalue":{"value":{"amount":"+0.8205059766769409","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":"Q3010361$9ADEBEA4-28EB-46BD-8A9F-260B356B5437","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimal tableau systems for propositional neighborhood logic over all, dense, and discrete linear orders","badges":[]}}}}}