{"entities":{"Q5028481":{"pageid":7058058,"ns":120,"title":"Item:Q5028481","lastrevid":55399630,"modified":"2026-02-17T15:38:00Z","type":"item","id":"Q5028481","labels":{"en":{"language":"en","value":"Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7471713"}},"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":"Q5028481$CD1F98F9-5537-4A20-A8D8-B3C37DD210E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$A9AB1F75-FCF3-49AC-96AC-AC7D81067723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ec1ab06cf3c87d739d2f1f8ed8faec056605f3","datavalue":{"value":{"entity-type":"item","numeric-id":329411,"id":"Q329411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$F93E7F9D-506B-4618-85EC-0DCC91BBD9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$88262F99-E45B-4B8E-9C96-37DC4A5242EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$E6D86402-9E2A-4F02-A170-F697502AFA0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11543eff57f4852055ea208de3fe86ec3134f6d5","datavalue":{"value":{"entity-type":"item","numeric-id":288803,"id":"Q288803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$A37C1BB5-B051-4DB2-A3F8-A2731978E099","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016f5c9439ba374a39d268cbe8a17a8d3cb3913d","datavalue":{"value":{"time":"+2022-02-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":"Q5028481$2BCA47B6-F7A9-46B4-AA00-0D5297687CA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709863b49fa47db1ea842dd86c1966b62710eb4c","datavalue":{"value":"https://arxiv.org/abs/2006.04652","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028481$2A94850E-9ECD-49DB-B4AA-B8FFC2DF908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"00d2f1c309f1cb2cf542cbd6d9f0021530d868bf","datavalue":{"value":"https://lmcs.episciences.org/9028","type":"string"},"datatype":"url"},"type":"statement","id":"Q5028481$2B76F319-45EA-4C10-86BC-4E7E6AE010B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028481$0E0C813A-B912-41ED-9776-6EF804393050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028481$2CAC3729-A1B3-4503-AFF9-736277D2C6F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb1fca42941f32b66efffed78f924b0701e622f7","datavalue":{"value":"7471713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5028481$8A867510-AD44-472F-BBFA-FEB822DCBA37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"749a916b37df4f158e0dcfd3316e33b1f7ce6f9b","datavalue":{"value":"interval temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028481$53B54F6A-6944-43A1-8E45-9CE154B216B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028481$3DB92D3B-CFFF-406D-9DFE-CC0D781BA235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5028481$1F770B0A-A694-4C0B-8548-489D2D12EF0F","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":"Q5028481$CDF93B67-A63A-4929-A4D6-A845DFF19A6F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$567C6CB2-7B33-43F1-9846-7917DD0BB3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5460c3122a60e19dfac3629843b1e29e7830029b","datavalue":{"value":{"entity-type":"item","numeric-id":3406687,"id":"Q3406687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$865A4EA6-CF23-4EE7-B90A-DE80DA19711A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917e7018ecb261a410a80f2084120881ca26ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$C6AFF206-FA7E-43BF-AF2E-1FFE3345CDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c322e1b94ba990492bcff2bf59434a5d321a701d","datavalue":{"value":{"entity-type":"item","numeric-id":4003357,"id":"Q4003357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$2CAA23B9-FF97-48EF-BE32-AA323E00878B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$CE311DF8-02BA-43B0-9A90-B16C67F6340D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3050a3587c03dd44d90e4a116fc946fdc7846c45","datavalue":{"value":{"entity-type":"item","numeric-id":5283018,"id":"Q5283018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$8CE5309F-EAAD-4513-9A86-F771CD51D57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b309fedfd947ea3d26b068ae1c0da40072fff4e","datavalue":{"value":{"entity-type":"item","numeric-id":2766545,"id":"Q2766545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$96946F50-AA48-4EB3-A6F1-04046A51123C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff6fd33d36bffa412395aec8b3a7f99a71188c0","datavalue":{"value":{"entity-type":"item","numeric-id":5415296,"id":"Q5415296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$3B8EB1A3-C902-4112-89DC-CDA2E7B6A35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25dc7343f283fb874751ef1891cb9f6b6a0a8a6f","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$5C0D51CB-C2B6-421C-8137-43FB47678B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$C952310B-9B0C-43DD-98EF-72C2F588724A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270debc58a83d27d2f963b637f5e7485684a1270","datavalue":{"value":{"entity-type":"item","numeric-id":2457655,"id":"Q2457655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$29E528BA-CA7D-48FF-8E7B-0F1DA38DBDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c2c9c255250e4f835c75251934895498ba799f","datavalue":{"value":{"entity-type":"item","numeric-id":5483013,"id":"Q5483013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$6E378B08-8728-461F-9BC9-D489FB42C035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b50d601ad544415e83e83f0e1a3069369d2c597","datavalue":{"value":{"entity-type":"item","numeric-id":5696309,"id":"Q5696309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$916177E8-DCA5-40DB-8590-2DBA91E6D0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa5d319e3e38a53a3050991cfd8f406c5fe78cc","datavalue":{"value":{"entity-type":"item","numeric-id":1177646,"id":"Q1177646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$9E310EEC-46A7-490C-AB1C-331D167E0B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110095a24948547397b24c708d3b2b91734d5a1a","datavalue":{"value":{"entity-type":"item","numeric-id":2277246,"id":"Q2277246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$F33E7FB4-3A01-4D10-80B7-72612C2D138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6b26b0af57155dcaea044679cb317cf5529a987","datavalue":{"value":{"entity-type":"item","numeric-id":3985545,"id":"Q3985545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5028481$36FB6977-4927-4156-9167-4414EF9D9184","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f593070712d93d4d786888db180a1abfb40fb41c","datavalue":{"value":{"entity-type":"item","numeric-id":5111452,"id":"Q5111452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a62233536be990b9d4b78ae84537d8b9e0857d71","datavalue":{"value":{"amount":"+0.924377143383026","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":"Q5028481$7B7544C3-C23E-4D57-9129-A01010DE5BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6946905ec80b2ab86e119296e4b29b4572c5eb","datavalue":{"value":{"entity-type":"item","numeric-id":6080273,"id":"Q6080273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0393258c89ac0d35a4dbf86b2643dde3a133d23b","datavalue":{"value":{"amount":"+0.8329148292541504","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":"Q5028481$0E0F3DA5-2682-492D-B9F8-3145685DC321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea29e49d97ad5e4b0635ed668b116f33eef9c67","datavalue":{"value":{"entity-type":"item","numeric-id":1731517,"id":"Q1731517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbbb670b60efa6eb3368dbb3259c55b0e876df29","datavalue":{"value":{"amount":"+0.8124045133590698","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":"Q5028481$D0616F28-55A1-46C3-97D2-8D4687EB23D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f698ce49aee4dabccce62f10a50f4439e3c76e","datavalue":{"value":{"entity-type":"item","numeric-id":5194653,"id":"Q5194653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74b78e2a20f99b2122d463c82b0417ce64e560b","datavalue":{"value":{"amount":"+0.8050446510314941","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":"Q5028481$32D47BDC-75A0-4C55-9A79-FCC5526D9DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005f834f6fdfac0f5389685d02a9f09dab15d884","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d19e78d2e4e1591805ba72e64b3d79f48b375c85","datavalue":{"value":{"amount":"+0.7997872233390808","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":"Q5028481$3394F48B-BF5E-4F8F-A864-C3B25ABB03D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5028481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5028481"}}}}}