{"entities":{"Q5483005":{"pageid":7512565,"ns":120,"title":"Item:Q5483005","lastrevid":49894735,"modified":"2026-01-11T18:23:18Z","type":"item","id":"Q5483005","labels":{"en":{"language":"en","value":"A lower complexity bound for propositional dynamic logic with intersection"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5046359"}},"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":"Q5483005$C6197F0C-AF47-469C-97A6-E0F906CE226D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a58f22f06b3bf7d4faa602828a4f75d3e01deac4","datavalue":{"value":"1102.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483005$6F1FEFAA-D27B-4148-9B14-ADC4BC2C5326","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5483005$A098A9D7-ED7E-4F3D-9FB2-F7C670CD91E7","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":"Q5483005$106314F3-FEFC-42D3-B430-5FDAA42017AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483005$E570D693-BE1A-46FC-8827-4FCFEB7B723E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483005$7DEB2F3E-5E97-4E54-95C8-3E71C356A1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483005$A9E0663F-DACF-47FF-B9BD-618FCEF03945","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f329ad9b83fd46ee5ad36d878577a39278f7e708","datavalue":{"value":"5046359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5483005$28C61AB8-EE9C-4E43-BE1C-508864AB4DAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5483005$B06CF2DB-81E2-42EE-8495-74FF5CB81312","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":"Q5483005$6C1DF150-AB3E-4891-A758-F0EDFE4C8FE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a28d2be08eca498030cf56b4de0d6565d8a865","datavalue":{"value":{"entity-type":"item","numeric-id":5486241,"id":"Q5486241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6045a36f392c2bc2c85d142121a988aa1f45c6f","datavalue":{"value":{"amount":"+0.8474478125572205","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":"Q5483005$32478E8A-BE86-4FD3-96E9-C879820C4B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09712c8d5cedb6e37e12b333b22688a3373ac6bd","datavalue":{"value":{"entity-type":"item","numeric-id":5758037,"id":"Q5758037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b493ab807422a3491d872291512dde4a5df50f20","datavalue":{"value":{"amount":"+0.8116089105606079","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":"Q5483005$D005D306-EADE-4AB2-89C4-59CE582C20D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd5beab0987041c66a7f2684bc40f9577dcd299","datavalue":{"value":{"amount":"+0.7744647860527039","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":"Q5483005$29DC06B9-19A1-413B-A3CE-71A82CC253D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ddbe805ffc8a376016efeae68ecabab86a4488","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1752b3693558da16fcd8a6ada2a1de470d1c0815","datavalue":{"value":{"amount":"+0.7681615948677063","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":"Q5483005$D0BFFFFE-0BC5-4FF0-9F16-1577A07707FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc39648c0720644eb6e6114f108d4195331903d","datavalue":{"value":{"entity-type":"item","numeric-id":1351943,"id":"Q1351943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510b12c253e5cfd5d42d1a87c74c0872447e4fbf","datavalue":{"value":{"amount":"+0.7526236176490784","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":"Q5483005$3DD94E7B-34C9-4196-A921-43ACC0B53667","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5483005","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5483005"}}}}}