{"entities":{"Q2901189":{"pageid":2911914,"ns":120,"title":"Item:Q2901189","lastrevid":84922907,"modified":"2026-06-03T05:11:19Z","type":"item","id":"Q2901189","labels":{"en":{"language":"en","value":"An efficient approach to nominal equalities in hybrid logic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058044"}},"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":"Q2901189$B89D7AD5-0692-4637-AB37-0F59B56F0227","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f76d45d4443aa84102df7b9db7258b5b959ee1c6","datavalue":{"value":{"text":"An efficient approach to nominal equalities in hybrid logic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901189$A20D4A42-EE1F-4078-A90E-03C0773CACE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f684742fc43491f5d394950f225aec7b21ed51e","datavalue":{"value":"1242.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$7B2F795F-C53E-46DD-9C0B-EA4964A2A6F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$8DAD15C2-D8B0-420B-8D03-C34DF2A2269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$36B4C75B-2655-4D1E-864F-F7B27D4CF28A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$3C13C572-652F-431E-9A0B-984B623844C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901189$2CCB3845-8633-498C-8B59-0BD08DC7DD2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$CC0A8C7B-5A41-424D-9366-A0D8638E6FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$A4255DA6-11FE-45CD-B65C-4F657BD5A3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$E0AA7694-57E0-442C-A253-837065E2D840","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0628a97c2d3c1d8966532224704d069db29745fd","datavalue":{"value":"6058044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$69D7D6E4-A432-477B-9BB3-1ECA01571898","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901189$4B5132F4-BFCF-4662-9BA8-D3D34E5A87E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901189$DF0281C7-0E4A-4C51-B510-51C2A12C2D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2901189$E30E3C1A-962A-4722-92F5-93735A17359F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40102b9e91b9a896c1a6f2ecec0d1a95cc763196","datavalue":{"value":{"entity-type":"item","numeric-id":23929,"id":"Q23929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$0C2E68DA-4D13-4553-87FA-4CB2137F245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bedc9e38f5a9bde827aa2981f96848a429af0b87","datavalue":{"value":{"entity-type":"item","numeric-id":24354,"id":"Q24354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$AC060A6C-4B8C-48A6-B34A-A065825EE3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$9DADB4E6-E6AD-45AB-8A32-3DCFA3EFF876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8aa5e3607f194cc9e2a2385bcc561c907f66374","datavalue":{"value":{"entity-type":"item","numeric-id":24355,"id":"Q24355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$1D213552-0FA6-468B-A72F-85CC2E3D2534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"395e4892cfa767e7f1592afaab820b01ee7c3c54","datavalue":{"value":{"entity-type":"item","numeric-id":25576,"id":"Q25576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$A3645566-A9C0-4316-BB34-B4A2F03C75B5","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":"Q2901189$D6C67802-8DBE-432A-87CD-FD6422E8D3C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f877a98afcb4161a79ae968e2f5a4f677939dab7","datavalue":{"value":"https://doi.org/10.3166/jancl.20.39-61","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901189$618D37AE-A4F4-4125-AD2F-EDC4EE5F2C37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9574ca2002ccada71625db1199bca61158e9b0f4","datavalue":{"value":"W2073398076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$08DE9CB5-712B-422A-9E05-81D0C8091C80","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fef1c73e6fe26b9a2ddcd98c8be8aecf117a9","datavalue":{"value":{"entity-type":"item","numeric-id":4812322,"id":"Q4812322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$233932E6-7A6D-46E3-894A-880F8BA0E4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$354CB7C5-EDB1-4C99-A937-33B095BFC16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705e9c4672a37f242664e1a5d1c0779d2d5632b4","datavalue":{"value":{"entity-type":"item","numeric-id":2772883,"id":"Q2772883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$8E4925C6-48DB-4209-AD9C-E9B117EB3B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7672984695ebd8205b2327d3a9eb3180fc9209","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$EEE12292-4C99-4787-9648-91D6E68D01EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e33f2ba68cf579a64ec9052f36b74382f20bb1e","datavalue":{"value":{"entity-type":"item","numeric-id":3647216,"id":"Q3647216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$36EFA455-35CC-43BC-B230-B7DEB80CCE0A","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":"Q2901189$E68E0AE4-5CF3-44C9-BD84-6CA960665052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a434d8d83635d48a94c51e468983008bba00fd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5431611,"id":"Q5431611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$6B8C66B2-B6F2-48C7-8CB3-6BE3B587506D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5a7cec9b821e2e4c8ea02adb846615582ed2171","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$FC00E5DA-8083-4E4E-BB49-1C9A38D2E96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b696b21e9499f989300a49908e9fc7a459a1b9","datavalue":{"value":{"entity-type":"item","numeric-id":4820470,"id":"Q4820470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$F8FC8E23-9FFA-4D55-8325-1B8B73A8DA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb4f3b0f47edc5aa6a3340867407f17ade91400c","datavalue":{"value":{"entity-type":"item","numeric-id":5747765,"id":"Q5747765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$4437B47B-0DE7-4F39-9A22-6BCB368F2302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"054e1fee51a47209d6acee4d481805a6f1cdac89","datavalue":{"value":{"entity-type":"item","numeric-id":4260087,"id":"Q4260087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$31DF4978-1C41-4CF1-A409-3F9C5D9D71F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9066cd4aa2727fcf2939d8d889a4ccf4e4246bef","datavalue":{"value":{"entity-type":"item","numeric-id":2462647,"id":"Q2462647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$F79999C3-5823-4F8E-8076-C5B840ADD7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901189$6DCC9CB3-AA31-4CB8-9F17-89FD4276076C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8fd00e9bfd72d2b1a240566a50bcd1e38f81f9f","datavalue":{"value":"10.3166/JANCL.20.39-61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901189$D6E180C5-13EF-4458-B051-EA15ECC47CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0701f0222d934c4ba2274344feeec9b8272d652","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7efebfd8513b1b4ea7aa6bccd0955fc50985d7","datavalue":{"value":{"amount":"+0.89635485","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":"Q2901189$1BB0F050-1474-4049-B039-D16C5A6EC7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d5539556ac7372003ea0e5e8e64e437a780730","datavalue":{"value":{"entity-type":"item","numeric-id":4263021,"id":"Q4263021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49812f6d36bf39528697b3ff3be4f7d0e8b9595","datavalue":{"value":{"amount":"+0.88894796","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":"Q2901189$130E4738-AD5F-49FF-A991-D5825D96CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417bed6147d49f9d2af38be109b51ac4b393ec02","datavalue":{"value":{"entity-type":"item","numeric-id":1047797,"id":"Q1047797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82ec6468976a6fca218f35abb3ff7ed5c20b304","datavalue":{"value":{"amount":"+0.88626647","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":"Q2901189$CD401C45-8100-4AF4-A56E-3967ADDFA037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15290e81669e7236286187ecb0f9a898a988caab","datavalue":{"value":{"entity-type":"item","numeric-id":2817942,"id":"Q2817942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963efdd5f56761af772c3fca3e2201b117cc66a9","datavalue":{"value":{"amount":"+0.8846987","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":"Q2901189$01913E6E-4686-4A36-90E9-A82EBEB47260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e918199699023d9742a5264383087e7d4616e4d1","datavalue":{"value":{"entity-type":"item","numeric-id":408538,"id":"Q408538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ea8471707d5cbb2657ab4f73953428c7a7a2a6","datavalue":{"value":{"amount":"+0.8687498","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":"Q2901189$20FFA998-C273-4210-A719-A15C942F77BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae02a2f413ef457f5c2594dfdfcdb3900b7abba","datavalue":{"value":{"entity-type":"item","numeric-id":3605536,"id":"Q3605536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c10171c37f23b88bd52575c773dba70a404f09a","datavalue":{"value":{"amount":"+0.8678027","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":"Q2901189$AFD7D7BD-1282-4C17-A80D-E6AB23912B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1879fd9138001b632cd5609e61e2d2f7dfb37d90","datavalue":{"value":{"entity-type":"item","numeric-id":2096470,"id":"Q2096470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4ee39fe51ba0d59131edcb6455c72afc49b9d4","datavalue":{"value":{"amount":"+0.8639351","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":"Q2901189$B8032D8D-5D09-45DA-9275-2C45666B92D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b704e7b4321944ed6fa6b08979ea207748c7b44","datavalue":{"value":{"entity-type":"item","numeric-id":3431972,"id":"Q3431972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd04a510ec733f58677212bb72470e074e78eea","datavalue":{"value":{"amount":"+0.8635013","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":"Q2901189$6E0129C0-029E-4316-A842-38A71973056B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565c4e542ed6f31e7609ec92e60069a064db637e","datavalue":{"value":{"entity-type":"item","numeric-id":2255232,"id":"Q2255232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5959afecfb1e1bdd329828fe5b57b66306e8c4b1","datavalue":{"value":{"amount":"+0.8626833","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":"Q2901189$A2CAD029-6186-44A4-BBE0-FB630388C3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c9a6e5455a6bfb19136894762a784b379e733b","datavalue":{"value":{"entity-type":"item","numeric-id":4982111,"id":"Q4982111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2083861be528ebe1c32b6136a18376f872ee672c","datavalue":{"value":{"amount":"+0.8621183","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":"Q2901189$8C85E443-FC09-4799-947E-951B0A070769","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient approach to nominal equalities in hybrid logic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_approach_to_nominal_equalities_in_hybrid_logic_tableaux"}}}}}