{"entities":{"Q5276108":{"pageid":7305683,"ns":120,"title":"Item:Q5276108","lastrevid":52853801,"modified":"2026-01-23T15:49:18Z","type":"item","id":"Q5276108","labels":{"en":{"language":"en","value":"Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6745825"}},"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":"Q5276108$EDFA86E3-0F86-41A3-A73F-632B1FF14D93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8248d743effa3b15b199825b7be1995f0004c259","datavalue":{"value":{"text":"Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5276108$B8A138B3-C3AE-408F-B2B6-E54B8F35200B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d00f93da25ab269211f5e8c3fdd72b47567544f6","datavalue":{"value":"1369.68298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$42A5D978-50D7-4A72-A88D-1ABB2F9603CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3495421d05dfa98ee858e5c87cbc12bcf807a349","datavalue":{"value":"10.1145/2460239.2460243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$EEC13E7D-A165-416A-A6E7-14924E73A624","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7afe43cfa2c061b3b7d8a7e16151088777e5d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":391102,"id":"Q391102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276108$AFC0D5DA-8B39-427C-A7FE-53EBF0DAA625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a21d3a078e1e32753d33c5e83c2b2e691529f30","datavalue":{"value":{"entity-type":"item","numeric-id":1425272,"id":"Q1425272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276108$D084F13B-D440-4FD5-BCB3-FB7FD780E029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276108$A3BCC518-5769-44A8-B1DC-353C2DDED5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b52490d761edd15e00cf98c724981f5c44f2e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1602493,"id":"Q1602493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276108$2B8B3CF5-E7DD-4FBC-B975-681560F8FBE9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c140b4e78a18f1d75a675ad1b552bead114c6ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5276105,"id":"Q5276105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5276108$970CB5BB-A313-46BC-83E9-24DA900AE1A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e17da29f5e1bcb78c64e7bb3fa49945fe60982e","datavalue":{"value":{"time":"+2017-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5276108$24875D89-6D8F-4DB8-A086-71B10DBF99D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$C509351D-E204-45A2-B938-BD56B32994CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$6E5DCD9D-69AA-484D-9BDC-64FA98E95AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f180476aacacc0952b2209f458581df72896a0b3","datavalue":{"value":"90C29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$03DBA197-749A-4DBB-A214-028657F88E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$71509269-AEDC-4F05-A828-041B066140A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754a5f364d34f383d318a1cb35773650a0f2eb84","datavalue":{"value":"6745825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$AE33487C-40D3-472D-B06E-2FCF8E9E797D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4895020ac6165be16ea61f818ca2e9f8f88c2f","datavalue":{"value":"evolutionary algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276108$40C31056-8061-4E09-95CC-56F3DA7FF6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276108$2CFCF73D-598F-4C51-9E18-7DB1E608EEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276108$8EFFCD7C-877D-4410-84CA-8FAA6BC6AC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5276108$2A6AAC59-2AB2-44C3-9A0F-36546981FD54","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":"Q5276108$67F042AC-748A-4AB8-87A3-4790318EDE7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba82637c238a61fa587bbedd4216d0750584dade","datavalue":{"value":"https://doi.org/10.1145/2460239.2460243","type":"string"},"datatype":"url"},"type":"statement","id":"Q5276108$B33ADD80-3CFE-4076-97AF-1EEBEC6EE75D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c98292320c8e5eae5b1052c37b0522d296d6883d","datavalue":{"value":"W2010904962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$E84C6269-B67B-4208-84C4-A3E7F4D7683F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5862bd038372ec2ceedff3754fc640f96546e1f","datavalue":{"value":"Q130878634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5276108$0A433A39-8812-4A7B-93CD-737C53477E4A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"731be2cd5e0f4dffbe8162759806a9938a17d73d","datavalue":{"value":{"entity-type":"item","numeric-id":4963143,"id":"Q4963143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c998e4a6459284d3867564f9fe0a4140a1e889de","datavalue":{"value":{"amount":"+0.9471665620803832","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":"Q5276108$74770F49-9C63-473C-B29F-9EC403564ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b2b0efec64b0781a2bd4cf7fb518bd2cb3cc05","datavalue":{"value":{"entity-type":"item","numeric-id":877892,"id":"Q877892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7938941af5e7452a516cadd3ddca472b4a0f7a9f","datavalue":{"value":{"amount":"+0.771088182926178","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":"Q5276108$567E5FFA-26C9-46BB-AA2C-BB30D5AC0236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffa0c1695152fb80308812bee24bac8d0e6d291","datavalue":{"value":{"entity-type":"item","numeric-id":3192206,"id":"Q3192206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa96a5626113f17e27edbadcd37853a3a552bf6a","datavalue":{"value":{"amount":"+0.7625443339347839","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":"Q5276108$A784018B-7ADF-4368-BD7F-EEF383EFB7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd21b5c067f7c4f20b7325bf62fd2eb12c8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":391115,"id":"Q391115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65521c1e56386fcc745f36c7a782f57639e02789","datavalue":{"value":{"amount":"+0.7586567401885986","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":"Q5276108$10B6FF7F-9D93-4B0A-8257-A46FBFA21C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb68e5eff965b5af68d0f1ec4f79da0d3750ba","datavalue":{"value":{"entity-type":"item","numeric-id":3457215,"id":"Q3457215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db7d07733810e721b9fbd0b8233a3ae40ed8dadf","datavalue":{"value":{"amount":"+0.7569838166236877","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":"Q5276108$13F500C6-F67D-467B-9AC6-0AB2E591F6CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5276108","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5276108"}}}}}