{"entities":{"Q2817939":{"pageid":2828677,"ns":120,"title":"Item:Q2817939","lastrevid":79745762,"modified":"2026-05-06T14:37:05Z","type":"item","id":"Q2817939","labels":{"en":{"language":"en","value":"Interval temporal logic model checking: the border between good and bad HS fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623275"}},"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":"Q2817939$2C4F482C-F3AB-42AB-817C-6463BBAEDF0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1502d4a3a8cd2a53ba5190044c236f686862024","datavalue":{"value":{"text":"Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2817939$FA7AEB02-3C95-4469-9887-67F8B7904275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d14580feca0f21fad2c16dd9c710d50bd7bf3d79","datavalue":{"value":"1475.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$FC62188F-5E40-4ACE-BEF4-392FF4E88E6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a968cc0600dc8970a320646d790bbfacd9b3504","datavalue":{"value":"10.1007/978-3-319-40229-1_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$2F090EDE-9932-4CB9-9B32-21770E0094C9","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":"Q2817939$D0E2BCF8-9F8D-4288-A0CA-E395BB6B1987","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":"Q2817939$7762CAAD-9586-4378-99ED-4371454D04E8","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":"Q2817939$1EF361A7-C30E-4BFE-AE3D-07A9DF2D1B80","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":"Q2817939$F00AE17B-9392-4469-BBEA-E6BEB11493A2","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":"Q2817939$3CC358F3-4D73-4114-8FF9-8CDC7345A2FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$C5FB0DE9-3A32-464E-9856-E5A24F58305F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2817939$DCEEC652-4410-4F99-B0A9-E8F1CEBEBA1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$F4260B4E-C4BC-4E25-8232-29DE843882B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$1A1A01E0-8AC3-4343-BC2A-2B82FE387784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$F7C475F9-DF84-4B57-976D-B2E64DAA7C6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"287c8a2a1811475baaeccbf6d92b30287aaa79f2","datavalue":{"value":"6623275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$036EB824-A194-47DE-9C51-9BFED5D6468B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$C99CD8F3-0786-479D-BB80-0C115723C348","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":"Q2817939$AD6B5EC3-CA9D-4988-AC05-A33293591424","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b9c36ffecb9ffd8ea53df028f4cc65da121b5b2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40229-1_27","type":"string"},"datatype":"url"},"type":"statement","id":"Q2817939$80903E79-463D-4BF1-ACC4-AAF5BA01CFEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef14b9d5a75f1e16a9f6efc308ac520967725e2d","datavalue":{"value":"W2496700262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2817939$6D857972-4B02-418A-85B5-5EC23D2CF194","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$86583DA2-DF18-4B3C-8D29-1B690AD7B36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef97f1b93808d420e9e1a0538f96468d2b59a73","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$80E8668E-773C-47FE-A5A8-5B11A8A33907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc07634c7d450ca123bf8a16f27c1326c37690","datavalue":{"value":{"entity-type":"item","numeric-id":2251125,"id":"Q2251125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$598A8CA9-3B64-444E-8B4D-35D2348EC423","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":"Q2817939$4D4C8254-870A-4492-8BD9-EC791EDE7064","rank":"normal"},{"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":"Q2817939$3E0FA31B-C3B4-4977-B897-4C9D3DEE82BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$CCCA40A5-29B2-4328-A979-CCF762B9D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432bfb1d9ec3da5b6ef41d6c5c69282741f875f1","datavalue":{"value":{"entity-type":"item","numeric-id":4369870,"id":"Q4369870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$65DDE648-258C-4A97-AAC6-FC50368A747A","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":"Q2817939$1D0A2FD9-8F5C-439D-8CF3-F924E73E0EAA","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":"Q2817939$8BEAC2A8-2F3D-4AC8-976E-48E663F67BE9","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":"Q2817939$11B1F4CF-F02E-46E0-963A-9EB81639A7B1","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":"Q2817939$D9647B42-0B35-4E64-B982-3F2237B57398","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":"Q2817939$EC3343EF-80C8-4018-B8FF-8EEFD9083048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc656128e1ac390210af1a2fb3c2796ba53b67a1","datavalue":{"value":{"entity-type":"item","numeric-id":329413,"id":"Q329413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$73A55D82-0678-42A5-AED3-F6289E690950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb56387b666553d42e5e3be28b2a246f5cc680e","datavalue":{"value":{"entity-type":"item","numeric-id":5351958,"id":"Q5351958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$443F40B4-AFC8-480E-A014-106F61C80AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd289996724945ac225222590845e90f04b25895","datavalue":{"value":{"entity-type":"item","numeric-id":2817939,"id":"Q2817939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$D258E958-CD5D-47ED-B714-6A7DF1CFF9C8","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":"Q2817939$1B42606E-0042-4533-85BD-DDD446E1486B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2817939$6E70AF00-6FD6-4DFD-B3B0-91BD9E7E637C","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":"Q2817939$BC9C48B2-C268-41C0-B618-B75B3519EF92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b73e54052f31c72bd22927b8e8d974dc841f4e","datavalue":{"value":{"entity-type":"item","numeric-id":1784961,"id":"Q1784961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a298b7ef5dc85c11312c88e71126c0083ab164ba","datavalue":{"value":{"amount":"+0.915771186351776","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":"Q2817939$4D76E218-0792-404C-A4B3-480053841133","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":"6ec40c7878a705a8600ce40df2e479ba52554c20","datavalue":{"value":{"amount":"+0.8927315473556519","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":"Q2817939$18DD2266-13B9-4489-BEAF-2676BAFF9F5E","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":"36f7fa4b984c1979212b20ed0e605b7386bccf0a","datavalue":{"value":{"amount":"+0.891616702079773","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":"Q2817939$86B370E1-ECAB-470A-9E0E-D7DC24D0672D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc80cc4ba0748e9146adc17b4b6d0f5819c47ad","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a27d4eac555cd2c06a2d494b4da5195c56c99d","datavalue":{"value":{"amount":"+0.8589152693748474","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":"Q2817939$10ADE905-1D86-4453-9DAA-661E631109C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02c0a5863625dc970677b7344e517885fcfe94b","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6eb1add86106cb770c2139abaeb7140eb0e826","datavalue":{"value":{"amount":"+0.8565699458122253","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":"Q2817939$89D7EAAB-7F5D-4520-9E3F-B7BC98931C80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interval temporal logic model checking: the border between good and bad HS fragments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interval_temporal_logic_model_checking:_the_border_between_good_and_bad_HS_fragments"}}}}}