{"entities":{"Q2867945":{"pageid":2878665,"ns":120,"title":"Item:Q2867945","lastrevid":42334189,"modified":"2025-06-11T14:09:36Z","type":"item","id":"Q2867945","labels":{"en":{"language":"en","value":"Higher-order syntax and saturation algorithms for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241766"}},"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":"Q2867945$68E254B5-1A00-49FA-A885-5C17EFFCAF11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e64150b3619278279f3657ead57e49ea0a6d6dee","datavalue":{"value":"1278.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$72F7E2D0-B9EC-4FF4-AF53-5F729298AEB9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c9f0ca3134b0df80e496c10955242e974a25f36","datavalue":{"value":{"entity-type":"item","numeric-id":976068,"id":"Q976068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$175B4455-ED42-45FA-8B99-CFBB02591327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$F345C381-3BDA-4431-8A00-CB5FD2D3223D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$39B06CE0-2746-42A9-96D5-34EC4F342E82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867945$8041B65F-11C1-4628-AD0B-66C36EAEA03A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$C47E5916-49D0-4E58-B141-989A27F475AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$96AAA2EB-CB67-4D52-8467-573D53FFB590","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"325ead25b642a69e2dadc5b04fc9e6452baa0409","datavalue":{"value":"6241766","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$C5A67A8E-96AA-4C97-A1E6-29872BA79A1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867945$D32DDCF6-011F-4D7E-AFF6-DD4FC7792743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867945$98ECF166-EED9-42B5-A72D-3A373651F319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867945$8FDE060E-D3D9-41C5-9533-8D9B2C9AA03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867945$B1E66729-4509-4619-848C-647189DAB11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867945$3C3FA514-E794-41B4-9645-BCD6DB382D2F","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":"Q2867945$2A07D82B-BDE3-456D-9724-87B75A5EECB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65d8fa5db8cf40f6e8bdeaed85d4e9fbbfe433f6","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867945$BDF840B0-429E-4B22-8CFC-99AE7179DFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7d94af0039ceeffa38fe2693cb47b7f85763e24","datavalue":{"value":"W2025670570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$31FEB4A8-B7E2-459C-A519-EB35B5AB3546","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b7a24cb858348231a677fafe8ef0c5a37418cf","datavalue":{"value":{"entity-type":"item","numeric-id":4945233,"id":"Q4945233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$9371FACF-B9A6-4832-B9B7-66C938362663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3fbe5dc19781d8cc61fa707bddca7c6943cc26","datavalue":{"value":{"entity-type":"item","numeric-id":4952029,"id":"Q4952029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$879E7DF0-F01A-4EF5-9CC2-411DEED677AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$5880CC18-981B-463A-A6E2-8EA9DE26D91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$796ED663-375C-467A-91BA-4E2E643F6467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$3BBC1736-CAEA-47DD-9099-84DCB7D56673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0139a2125f66ab0d2da6e349e329014017940ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4503900,"id":"Q4503900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$E7068E15-35D2-4711-97E6-E9D4E5AFD6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$087260FD-7CD8-40C3-89EE-BB514EB1817C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$14BFE70E-4433-4E55-B8E4-9CAFA50B2891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$0606C6BE-9DA9-4712-A79E-18DBB6D570EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fa3d224f560d4a51f961663e90eb3a3b75c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867945$85B1E316-14E7-4B4A-9F39-F37B7ADE1808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e497253427a499cc73d67c17fc53ee4cd19e123","datavalue":{"value":"10.1016/J.ENTCS.2006.11.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867945$0F996A40-76F3-4126-B032-9F1BDA8D475E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"779aa4f2e95d3d3e046cbe92464281ba0bd157d8","datavalue":{"value":{"entity-type":"item","numeric-id":2767046,"id":"Q2767046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"944bf6c300d7705eabe6fcf25b1c87b9c726b6cb","datavalue":{"value":{"amount":"+0.89710724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$0466584C-E91A-447B-9055-1CFF7C10CB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d990ba2f3311bd28ff181a325e0382e363e8d27","datavalue":{"value":{"entity-type":"item","numeric-id":3298278,"id":"Q3298278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e593366df4edfcbcf475e3f0e0f1e4bfd0cfcd","datavalue":{"value":{"amount":"+0.8890182","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$D700CF04-D389-4A80-B127-C11A2395198E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01cbb8867661bd9b972deef99da8a79a25f2d06f","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c61c1a6629747b672ab5cee0445146a0846544b0","datavalue":{"value":{"amount":"+0.8827256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$83F2A327-873C-467E-ADB7-DD0DAB317325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4c99657146f6c8caa1831cde1de9d4b29b90ad","datavalue":{"value":{"entity-type":"item","numeric-id":5236552,"id":"Q5236552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"926ec56b288d88397bf50abcc70a2b009d610069","datavalue":{"value":{"amount":"+0.87900424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$6CC7A0CE-CA10-4B17-A7B3-DE4BB6654382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055dc719e4d037845f4b18d4cde0262627a53672","datavalue":{"value":{"entity-type":"item","numeric-id":4707736,"id":"Q4707736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5a187c4d4a671b1ce832fca87336e06de1c46a","datavalue":{"value":{"amount":"+0.8782227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$C880C09D-FA94-4156-A907-04DD59E08288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520410756b7e08aea48b537287901f21987511a7","datavalue":{"value":{"amount":"+0.8771943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$9884D2C9-0B42-48DC-A8EC-86E23BB3FFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6a135635f7275fe5e771199f0e483ff792ab36","datavalue":{"value":{"amount":"+0.8758473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$FBD853E9-BDDA-4614-8BC0-2EC646F42D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e18215e6aaab067da7d24ea47c533fd8badc44","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd928ad66591101ec1370f3bc35ef2586bec3ad8","datavalue":{"value":{"amount":"+0.87542796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$2CEEBCCE-BAED-4DF8-8D94-242B8648E750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9189da144acaeda7dee843f03de24bc3a4a9fab4","datavalue":{"value":{"entity-type":"item","numeric-id":4639914,"id":"Q4639914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f12e93f804b5607655708ca6ff8776aa247b3e","datavalue":{"value":{"amount":"+0.8748331","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$CC0BE333-CF85-423E-AEE0-7764C75AA9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"278f70e0efa85f7d20acd9bce998d5b5447502d6","datavalue":{"value":{"entity-type":"item","numeric-id":5459188,"id":"Q5459188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a66d5ab5b300fdb998de2c2f7768688a1cd925","datavalue":{"value":{"amount":"+0.87473655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2867945$9F9E8066-E462-46B9-80F6-DA0B55D58487","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01350881540f4f72fd6a5afca7279c4513b32c30","datavalue":{"value":{"text":"Higher-order syntax and saturation algorithms for hybrid logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867945$DEF005B7-FCC0-4220-B08C-A1DB7F1E6A13","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2867945","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2867945"}}}}}