{"entities":{"Q877892":{"pageid":879740,"ns":120,"title":"Item:Q877892","lastrevid":50087425,"modified":"2026-01-12T22:05:21Z","type":"item","id":"Q877892","labels":{"en":{"language":"en","value":"An optimal decision procedure for right propositional neighborhood logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149285"}},"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":"Q877892$B44CA6AD-46A1-49DE-A492-C87078FEE0F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2bc890cce71885b3f0f7185063184985c635f1d8","datavalue":{"value":{"text":"An optimal decision procedure for right propositional neighborhood logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877892$39BBBEDC-8DF7-40CF-A766-FC7006D3C207","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae2d19b5034de1c07d2c8396e50abfd8ab55be85","datavalue":{"value":"1121.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$681C1729-BE79-4DAB-AF89-944932FD9EC1","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":"Q877892$AB417E38-7E27-47C4-A73D-DA0DB1C9E3EF","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":"Q877892$1A2F457B-7B4E-46B0-8FC1-404A42F41252","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":"Q877892$6F83B8CE-1C62-4449-9C38-4F4DC4D3D8A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$45525027-0503-43CA-8562-31ED26D8FFFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877892$C5C4D45D-72EC-46E9-A1AF-6D4CF9EAE3C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$7E4DF6F7-0797-48CB-BF00-D645686255AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$FE0924BE-84E0-40A4-80D5-B676EFFA4696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$B440DFDD-48DB-4A69-9640-FABB694FBDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$8B20D4B7-C17B-4622-8D39-17B3BCA3473B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4ad4699df55ee4314fab05ab24958fe68efaae","datavalue":{"value":"5149285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$7C3B95C3-6B98-4727-8FF7-274C8AA54609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q877892$3B8992A7-5035-472C-8126-36AED0A54C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a42484a77784e68b93eed2c911a003c2b906b9b9","datavalue":{"value":"tableaux-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q877892$A97F6E07-DF21-4975-9094-F32D7A7F9B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39fc13ecafe4e1124695bd870f0b9e8f6962d95a","datavalue":{"value":"right propositional neighborhood logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q877892$680DEF4E-D95D-4C29-B2AD-2703EB505005","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":"Q877892$BEE5B152-C076-4778-B4E0-8B6A069E6688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d2444add968beb59e9e697bcc1fb3f63906e8fa","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9051-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q877892$82A91B0A-2622-417D-A10D-7A54DC6BB34A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8677b2f4742744125724c58e716f6d1e049feb02","datavalue":{"value":"W1991802248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$A33996F7-C3ED-430D-9A0E-99760560B7BC","rank":"normal"}],"P223":[{"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":"Q877892$040C5501-7F28-4F70-BFC7-7D388492F5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1955d74129c167908ab9fa526742ca5d8b32f0","datavalue":{"value":{"entity-type":"item","numeric-id":5479269,"id":"Q5479269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$4CC076BB-B102-46D1-AFC6-F5A0882E1FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$211635AB-D7DE-41B4-8656-3398CC1C3946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7e9b51624f25e880af792c7f9d74c82f45335","datavalue":{"value":{"entity-type":"item","numeric-id":3722471,"id":"Q3722471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$079AD7EC-4A80-476C-9DF4-327AD10D1EF4","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":"Q877892$05D4A1DD-3AFE-4E1A-AE61-62891F6614E8","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":"Q877892$DCCF2168-1131-4594-B9BE-742ABB796E82","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":"Q877892$2175E4DE-84F1-4209-B440-77DE0F966CE1","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":"Q877892$9C362C9C-FB26-4E9F-83A0-A0FC1A9989E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$68548829-1F44-434C-A513-BD80F390D68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b14633ba3fa0002359814da6dadca23069044c8","datavalue":{"value":{"entity-type":"item","numeric-id":4708923,"id":"Q4708923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$8081EDC1-BBF8-4F53-9281-19FEE3E37AC5","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":"Q877892$79A648E5-55ED-4D7E-8909-BD589567849E","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":"Q877892$058C5D11-CDD2-45D5-8742-AAD633E95CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877892$7581CDE0-8FA0-406E-964F-A10152E34D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e523c1bb33598860ebaa1acff3cc600eb2589999","datavalue":{"value":"10.1007/S10817-006-9051-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877892$AA450826-A7EF-437F-A0BB-E7EB58BA928A","rank":"normal"}],"P1643":[{"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":"4b39ffcdc05f7397bb50f4284dfaddb67f2d7baa","datavalue":{"value":{"amount":"+0.930342435836792","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":"Q877892$B279BC97-538D-47CE-B5F6-BA596985F3F0","rank":"normal"},{"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":"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":"Q877892$096B7284-F7AB-4AE5-8263-70FC4D4394CC","rank":"normal"},{"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":"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":"Q877892$2D3D56DD-2A4E-4847-A27B-3F6248BEFDDF","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":"dc8243ebd700cc318f3fca55934796d09f69be71","datavalue":{"value":{"amount":"+0.8533226847648621","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":"Q877892$FBFE6841-35D7-4632-BF3A-B88698917655","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":"a7eed1b780620c27323fc1973909af85882fbbe9","datavalue":{"value":{"amount":"+0.8502238988876343","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":"Q877892$26E8E433-85E7-4DD0-8063-2FB841AAF9E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:877892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:877892"}}}}}