{"entities":{"Q1424966":{"pageid":1435706,"ns":120,"title":"Item:Q1424966","lastrevid":70376490,"modified":"2026-04-13T14:21:49Z","type":"item","id":"Q1424966","labels":{"en":{"language":"en","value":"Two natural deduction systems for hybrid logic: A comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2057601"}},"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":"Q1424966$FB78E99B-46EC-4270-9166-CD6FBC5459E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ef2d9886d7fce58ad169c7a6490bfb9bceb34af","datavalue":{"value":{"text":"Two natural deduction systems for hybrid logic: A comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1424966$EDC1800C-9A61-4C02-85D4-CB1EAAA95CAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"162d49c48c2dbd94d36f2663860dd42184cec687","datavalue":{"value":"1039.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424966$B53493DB-5D77-440A-9E44-70170ECF54DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfe07f57b040ccbdfbb0cf2edd878eee78333da7","datavalue":{"value":"10.1023/A:1026187215321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424966$75ABB0AB-4465-4FFE-BBE1-52EF2A5AE7AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87abbbe5ddeb1a2defb2085fac3663f2b985b91e","datavalue":{"value":{"entity-type":"item","numeric-id":243302,"id":"Q243302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424966$93D6DEE0-2528-42CB-B577-9FDC13D1B056","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1424966$85554111-AB38-4697-85A5-365CD9AC6191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47829e28918d048336111de08a0f0c93aec92d0a","datavalue":{"value":{"time":"+2004-03-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1424966$2B7112C0-6825-4D0E-986C-F5461E414767","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424966$93849D8B-F5B1-4B00-B775-11A2F7B6B669","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb5b01cc4bd010d205e199dfb92f224646bbc05e","datavalue":{"value":"2057601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1424966$5D6F7FC9-EC3F-4686-8EDB-FB7976E16F0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424966$6B75898B-16F0-462A-9531-BE99BAD5636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424966$D0D529F4-C046-433F-B0B8-E90E04D930BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1424966$51A2A4DF-8110-4169-9EFF-6B4C47A8C1C5","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":"Q1424966$624C05D0-9266-465E-8BE0-F491092F0ACD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d313e7f1c26a2551d6fe06601a87d25385c56f0","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a88491f08efd23759c5a304754e92338df6e00af","datavalue":{"value":{"amount":"+0.808953046798706","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":"Q1424966$445A53A5-D926-47B0-BEF1-19F60B7C91C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670e534e0734308496cf4891636d157d96384dc8","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"828bc98c2d94f820f735c6ab2309b63a011f12d8","datavalue":{"value":{"amount":"+0.7843055725097656","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":"Q1424966$6076F7D8-DEB2-42D2-9830-15B0EC9A9462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b994e8d0c268ef50f80de07a97940db98d609a","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804616f671c67458e33374ce80c786acc995d9c7","datavalue":{"value":{"amount":"+0.7805806398391724","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":"Q1424966$8A02B15D-E19D-4AF5-AA93-3890D2BF5769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"849ca33231c4feda7d3112ba6036c47e5d9eba02","datavalue":{"value":{"entity-type":"item","numeric-id":1813231,"id":"Q1813231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f5a2b950d09ff02b164386d9582a4967f8fd612","datavalue":{"value":{"amount":"+0.7618357539176941","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":"Q1424966$13A6B278-E3BD-4CC2-A658-F19FEA59D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43fa46cd8b690e52191e898df43b3d8cc0f278","datavalue":{"value":{"entity-type":"item","numeric-id":4635835,"id":"Q4635835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733e22ee8197edb4238c477b11ca9126eea202c0","datavalue":{"value":{"amount":"+0.758148193359375","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":"Q1424966$33E46B43-A532-4843-90B2-3D4F8548D1F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two natural deduction systems for hybrid logic: A comparison","badges":[]}}}}}