{"entities":{"Q5483002":{"pageid":7512562,"ns":120,"title":"Item:Q5483002","lastrevid":49894729,"modified":"2026-01-11T18:23:18Z","type":"item","id":"Q5483002","labels":{"en":{"language":"en","value":"A two-sorted hybrid logic including guarded jumps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046356"}},"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":"Q5483002$41F807D2-8F47-4D18-9BB2-B887F8C08400","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d0ec0d876812a41391292941afc4e2894c52c0","datavalue":{"value":"1109.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483002$A7FE0510-9098-4AEA-9EE8-8EE68BC0A0D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2e96a8166b825564aa7d3e45e288dcc7e8fe930","datavalue":{"value":{"entity-type":"item","numeric-id":190300,"id":"Q190300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483002$51B985B0-74D8-4C13-8B31-C819F27E21FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cbb3254b31442e822e7981595599f2c0a13db67","datavalue":{"value":{"time":"+2006-08-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":"Q5483002$68DB4BE2-2367-4D0E-943E-BB823A05CBCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483002$811ED862-DD2C-425E-9B82-83456C8470A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483002$CA64F25A-8648-4C2D-9628-FF725FCA8A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483002$7F4DF863-E293-4C9F-B8A2-A0AE8A9E24D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d648e58e2df2feed11b696dc392a997bde3e71ca","datavalue":{"value":"5046356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483002$28573ADD-9939-4A92-A091-9DC4637244B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$C2AD7AA3-7BB0-4D61-B9D1-F7ABA7156F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$0E1F82DB-4F40-4E71-B42E-152F6D1D6FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cf8e92bc8f6660cc5f275cf9c987a819a545b9a","datavalue":{"value":"two-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$296A2EE0-C2BF-47AC-A610-0691C2315A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c698dd5fe9a71f2ef82a2668f8b50d293eab1a55","datavalue":{"value":"reasoning about knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$4C97947F-E36E-4A32-8A88-6F8E3BBED52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3047d3e421d044ddcef038a0a063c84577f945","datavalue":{"value":"topological system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$132357BE-280D-462E-8942-F5842765D22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d852833a6ff9cce0d9de0f45d24e21921fadc4e","datavalue":{"value":"directed spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483002$10669282-29A6-4803-B268-514E7726FB54","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":"Q5483002$84E84413-B6C6-449B-8B16-6DF197D1A660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f98ceca3e6622b29e2b4a4cdeb9baa336995f","datavalue":{"value":{"entity-type":"item","numeric-id":1006488,"id":"Q1006488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07561646c40b31f0dd3a6560f47ce74270ad1e6","datavalue":{"value":{"amount":"+0.8090332746505737","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":"Q5483002$46EC984C-EA73-425E-AA01-001DE5E54CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61aa1c04b92d30cf289036687c3ffa7d1be9b17a","datavalue":{"value":{"entity-type":"item","numeric-id":5312979,"id":"Q5312979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721b105b0263afed0bba3e9489805d5b30f6865b","datavalue":{"value":{"amount":"+0.7985549569129944","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":"Q5483002$5B82AF88-66A3-40A5-8CC9-4703458596FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c018fb86a568ccbce3af6fcf09b5d3111dfdd66","datavalue":{"value":{"entity-type":"item","numeric-id":4250363,"id":"Q4250363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0fe235a259a35617f7eb88c1b0a7ce703e5676","datavalue":{"value":{"amount":"+0.7893922328948975","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":"Q5483002$067B13F4-0DA3-46B5-B0DD-E7068859752B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc358c3df1a85ec73fee85c82d94bba5a05c6493","datavalue":{"value":{"entity-type":"item","numeric-id":4823801,"id":"Q4823801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b23682eae2cadac25bcb09eeb87750809fa40b3","datavalue":{"value":{"amount":"+0.758908212184906","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":"Q5483002$8F48E6DB-62A4-4DB1-8334-18A24930B929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ebc7ee32c678ae4c498c4f7470f1b53d9a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3601810,"id":"Q3601810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f946fa11ffad7213ea85be3eeb1dffb45cd2997","datavalue":{"value":{"amount":"+0.7524998784065247","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":"Q5483002$3F4CD842-3265-44B5-B511-B692CD684CE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483002","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483002"}}}}}