{"entities":{"Q3607559":{"pageid":5637465,"ns":120,"title":"Item:Q3607559","lastrevid":50587127,"modified":"2026-01-14T11:53:32Z","type":"item","id":"Q3607559","labels":{"en":{"language":"en","value":"Sequent calculus for hybrid logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5521793"}},"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":"Q3607559$2A062946-EC3D-4F1A-B2E8-11D50A9675B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58974d4fbbe29d311dabdcc7f3437b5c3068aa3e","datavalue":{"value":"1163.03313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607559$1E1CAAC5-D8C5-4345-8774-1680BA7B2C1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b462153e284a0c95148d07f6f4f30cf1779eb2f2","datavalue":{"value":{"entity-type":"item","numeric-id":2811587,"id":"Q2811587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3607559$D40E56B4-E1FA-40DF-8A09-50D9121D8F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3369c263739de31c51d49d3702a248d0190f2b04","datavalue":{"value":{"entity-type":"item","numeric-id":3607558,"id":"Q3607558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3607559$FFCCC06A-258E-41D3-90D0-E3852DC99355","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5283b5da341717bddcc5514d88caea6acf73b725","datavalue":{"value":{"time":"+2009-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3607559$8E5CD9EC-5D78-4DF2-A67C-508524902274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607559$1B673FAF-AA19-4F18-9123-4222D6835F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607559$EEEB320D-E00F-4C74-9B95-39DA72C2EAEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12b744689ae58e7c50ad0d395024ba39257bffab","datavalue":{"value":"5521793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3607559$E44AFB39-834B-4801-82C3-8CCFC7749CB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a90050a8ccc7ced7b5a6bf252888222508d10e1","datavalue":{"value":"pure hybrid logic formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607559$1EBCED56-5CA2-46A7-A31E-8CCE28C5575C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3607559$B3A588C1-FD32-4D99-97F9-DEDD7CB67243","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":"Q3607559$AE3A0541-B2DE-40FD-9645-E79D16F94E27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c4e326fd57c709cca8ed84a192bba94362e599","datavalue":{"value":{"entity-type":"item","numeric-id":2987759,"id":"Q2987759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"369d231459618aa505ea5eb6137ddc75c33a1b95","datavalue":{"value":{"amount":"+0.791321873664856","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":"Q3607559$90254630-3A84-4CFA-9649-2E975DF8EB79","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":"eebf43227d8e897a4c73fbfa844b34af73f5a938","datavalue":{"value":{"amount":"+0.7580745220184326","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":"Q3607559$0F552616-F122-4559-A7FE-F255430F9DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef373fc5f463e56073ebff023e0d00e9eb5b1392","datavalue":{"value":{"entity-type":"item","numeric-id":5446314,"id":"Q5446314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16d9909c97f7731832fff8b42ebe11983b2375b","datavalue":{"value":{"amount":"+0.7385269403457642","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":"Q3607559$620E0B15-C219-4AC8-AC63-D9AD77A747C9","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":"442b3176f4aa862fe0495f36626fe86824a20965","datavalue":{"value":{"amount":"+0.7362045645713806","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":"Q3607559$3F0DDFBB-6435-4C4D-8256-A4DBE692824F","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":"5544972a4d207c2b8694b13a6b0acea46e3120fb","datavalue":{"value":{"amount":"+0.7257856726646423","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":"Q3607559$3FB62C7F-42FB-48D9-8AD5-613FD279994D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3607559","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3607559"}}}}}