{"entities":{"Q2096470":{"pageid":2107213,"ns":120,"title":"Item:Q2096470","lastrevid":43513167,"modified":"2025-07-30T11:23:31Z","type":"item","id":"Q2096470","labels":{"en":{"language":"en","value":"Formalizing a Seligman-style tableau system for hybrid logic (short paper)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614529"}},"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":"Q2096470$1AAD84FB-8D4F-48FF-83A1-7B99D1041D40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7081e89b0b5ec037b683e8845c5d3d5707e4a6c","datavalue":{"value":{"text":"Formalizing a Seligman-style tableau system for hybrid logic (short paper)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096470$033EC5E8-215C-46A9-94B1-5FC863636F0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"92d8e088c16a135349b04fc5042d70b2f9eab0c2","datavalue":{"value":"10.1007/978-3-030-51074-9_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096470$ACFB1BC6-9769-432F-B8CB-F86DECD77C7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b28ef1f69804175267e0c47b9aca79300dfa007","datavalue":{"value":{"entity-type":"item","numeric-id":2096469,"id":"Q2096469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$E51E1212-837A-4594-8915-42421E337DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$C9F908F7-FB6A-474D-A218-5DC1F6D3338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b3705dab3e613fed020a57376646104168a833","datavalue":{"value":{"entity-type":"item","numeric-id":766279,"id":"Q766279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$A871BA62-170B-4DBD-84D8-EC681BE86ECC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096470$EE2A0ADE-46AE-4D88-8D5E-88A4DDD35652","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096470$6222DD7B-9E7A-409C-8F73-2C8CB30374BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a11b1366b5e86022b2d3980f61d271d219b7bb7","datavalue":{"value":"7614529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096470$2AD9020D-81D2-41FC-AC18-86635B214B40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096470$0B949576-EDFC-483C-A254-EE7A43DD6728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096470$5677963D-1A01-4495-A88D-53CB28FCF4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096470$9A2CE468-6E45-4726-BC1F-46CDE2A3B3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2096470$AE519387-07DC-431F-928A-7A398FF8E9AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$DBC6FCA7-9F95-4D82-B092-FF74647DB81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$3C436CC5-A306-4A43-9E68-0B86962DA5D8","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":"Q2096470$81D38363-8EA5-4D43-A548-12B090C65AE6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74a5e0ecbd0576a5c255691c02f5bb93d3b2c477","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096470$2A9AC68F-3C68-49A3-BBC3-D16D18DA4668","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8fdd9bd52cc1a967605fe7f963594bfbed890670","datavalue":{"value":"W3013165824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096470$264208BC-FA1A-4E73-9A7C-3E9D816ABA2A","rank":"normal"}],"P223":[{"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":"Q2096470$C017DBAC-E851-4511-B52E-41A6FEE19599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$9D8D0991-36EB-4B48-BF26-0E7085F48D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e81984f53b21287a47632110938d97e7939068","datavalue":{"value":{"entity-type":"item","numeric-id":2987043,"id":"Q2987043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$4BF6763F-3584-47C5-81BC-6FBA16B79A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac39b9a75827004294f51289a3c3e79253c87a2","datavalue":{"value":{"entity-type":"item","numeric-id":2362498,"id":"Q2362498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$9E983329-0975-47B6-81AA-DB896B80CD36","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":"Q2096470$D3A03268-AECE-47D9-959F-7BB25A46523A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0045e5b94ed384b2626905e61efa9c3bff30967a","datavalue":{"value":{"entity-type":"item","numeric-id":5961845,"id":"Q5961845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$88C63BDC-F9B3-4367-8035-93ACC671C67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdaf961df4d3d066725fe43c5a0c7dab7906698c","datavalue":{"value":{"entity-type":"item","numeric-id":3100197,"id":"Q3100197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$82EB3903-4630-47DC-9A38-94448FCF4982","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":"Q2096470$3BFF9B18-FD25-4286-A313-1946F4AA49FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e487fed55c8dd683b79911554cf93904552936","datavalue":{"value":{"entity-type":"item","numeric-id":2867944,"id":"Q2867944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$3B183C9C-30B1-4A2C-AD41-BCFB8385CC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9181c5ad98f1f32158c19f6cbdf88fb9e0cbb661","datavalue":{"value":{"entity-type":"item","numeric-id":4636041,"id":"Q4636041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$01191310-6CFB-414C-AB33-C6249AFC599E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbff59925d294314982345f733d0e34d52b05dd2","datavalue":{"value":{"entity-type":"item","numeric-id":5892109,"id":"Q5892109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$16830C35-3402-4492-9060-A710A271C6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$E424F478-67D1-4992-8B46-273183DF0C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"203d48d7253d124888377b269b6bdabd88ab4d55","datavalue":{"value":{"entity-type":"item","numeric-id":2829269,"id":"Q2829269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$02181205-5079-42AE-B6E1-76DE98972CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a399fb721cf3282f89efb64e756344649295a060","datavalue":{"value":{"entity-type":"item","numeric-id":4394920,"id":"Q4394920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$0868A4D6-5A21-4E1F-819F-C13D7C8234A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d509c8c5854a3cec0f25f692d7266ee625cce0","datavalue":{"value":{"entity-type":"item","numeric-id":2772880,"id":"Q2772880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$A5526646-CD1D-4FB6-A889-704B1C164B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096470$F96AB340-1AD9-4E78-9580-E6070C630909","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096470"}}}}}