{"entities":{"Q3590963":{"pageid":5620867,"ns":120,"title":"Item:Q3590963","lastrevid":50156360,"modified":"2026-01-13T07:15:05Z","type":"item","id":"Q3590963","labels":{"en":{"language":"en","value":"An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186539"}},"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":"Q3590963$BF2D211B-8658-4D0F-B0D1-BB3CF6FE2FFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a52774e8e792ed0c138f9e98d014bbfa8e07594b","datavalue":{"value":{"text":"An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3590963$EB943AE3-85E2-4F3F-B997-0646C26D339C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a746b26a47a7c8391a9b572e03a9a41e4bca12a","datavalue":{"value":"1141.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$48847F4D-45CD-4F5C-A960-4FA614F89D53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f399e15f79fb7103053e8c2a23b37f507913cb13","datavalue":{"value":"10.1007/978-3-540-70918-3_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$09F7C6F0-931F-487C-A7E9-C4CF64FC741A","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":"Q3590963$58EF4C71-016B-463C-AD83-31D42CCAF8D3","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":"Q3590963$9FCD38B3-7A47-41BF-879C-3FC316A56C9F","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":"Q3590963$9A7CA599-6E3F-4E0E-A851-862630A07152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"334565905e7ca1f85bae0282d055ef576b4d641e","datavalue":{"value":{"entity-type":"item","numeric-id":3590917,"id":"Q3590917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590963$635700F1-828E-4748-BD4F-AD4736C1A240","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3590963$34D5C9F6-0A47-4B1B-A58E-0BB12EA06CD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$7D1703A1-87DB-4355-A723-BAE3F8F60D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$D3C2384C-3A27-4A77-8B12-DF1085E3D753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$4C5F208A-0E76-4DCB-97B3-9EBEAC8AA4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$F9696FDE-7A2C-4B4E-ACBD-ADD577C397FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$FD598E41-2FBF-4AE3-85F6-1CBC58190053","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd3beeb2ba7b396077cd2e0b0b55b64e279e2422","datavalue":{"value":"5186539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$1647ACAD-CB02-4E41-B939-C7BE0A667823","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":"Q3590963$D139F195-4C5D-421F-B6FB-51AF5E744340","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfbe3d322795e19a254fb265c112f80eb1c89b64","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70918-3_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q3590963$0394F0C9-00C4-417A-BB19-0BBA5813EDC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf833d0fdeafc099a62a3649dccaf77d3fcd1bfd","datavalue":{"value":"W32421893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590963$E7799FFC-E760-410D-921F-82A08258DCDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a00ccdf9d9d93f8df832ec09bd05cb030a1a4a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3010361,"id":"Q3010361"},"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":"Q3590963$F235FB9F-0898-4780-B2BF-04CAA58E8B02","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":"4d11297aa006d6ee819a2d726a8ac7c179665889","datavalue":{"value":{"amount":"+0.8980162143707275","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":"Q3590963$93EB37E6-E6AC-44BA-93D3-FD91C08115F3","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":"363c90f372b9897b6e23156367c045d6f33c20c3","datavalue":{"value":{"amount":"+0.8597832322120667","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":"Q3590963$1E24E7AD-BF81-4AD7-9930-B936513C919B","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":"85ed1fcccdb5e083e28e11aa6378b5b11cc162fc","datavalue":{"value":{"amount":"+0.8312208652496338","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":"Q3590963$3B914E16-BA38-42A6-9540-065893BC680F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797bb01ee608567e35432105416866c77f35c511","datavalue":{"value":{"entity-type":"item","numeric-id":5434500,"id":"Q5434500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c79e0ade87ae054a6887fb78ffeee0d6ab664c7a","datavalue":{"value":{"amount":"+0.8299508094787598","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":"Q3590963$22D77A6D-3FAC-4BA6-A24F-B884EE3877C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3590963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3590963"}}}}}