{"entities":{"Q4963143":{"pageid":6992724,"ns":120,"title":"Item:Q4963143","lastrevid":98442095,"modified":"2026-06-05T17:32:42Z","type":"item","id":"Q4963143","labels":{"en":{"language":"en","value":"Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6973807"}},"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":"Q4963143$A4C1638A-E547-49A4-B865-79F5619A85E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f09d930f98dc3a516039a7134208e22f6bce59ac","datavalue":{"value":"1400.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$5A73AF4E-E921-4BEE-8750-ADDC99C1EA88","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":"Q4963143$891CB654-00F0-4961-9CCE-EF03ADE8E5D2","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":"Q4963143$2C464A3E-7DB1-490D-9D73-554624EB8A84","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":"Q4963143$FF8D99A2-DDDF-4B49-892D-3EE8CA4A664E","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":"Q4963143$FAD3FDF5-DF83-4FC3-9838-3E4738295474","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7f9ec5f57fe5a70ebcd816971bee5bc3157d605","datavalue":{"value":{"time":"+2018-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4963143$65E43537-4FC1-4454-A0EC-DBB149F905A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5fb1ccbf371d4f89469d6135103445e3d148e4a8","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-28-number-2-3-2017/mvlsc-28-2-3-p-217-249/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4963143$6A7F78EE-A01E-4E7F-B384-B2870528D782","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$0AD7E18D-DF28-41AE-9890-FE9CAC0634D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$FE38D6ED-817B-43CB-8088-9DE710C6424D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f180476aacacc0952b2209f458581df72896a0b3","datavalue":{"value":"90C29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$695B4C7F-AFA3-4323-8250-DAEFCBDD595E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d42ae7884b9335550c4d21f090798ce9c56a9bf","datavalue":{"value":"90C59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$04173348-0502-4101-ADE5-17F105B13AB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84c0a188a02051b57dc266c540de704b6ffc1588","datavalue":{"value":"6973807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4963143$683348D5-B3C0-4B33-AD13-747BBDEA3CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba9deeff06d338e3a2f6fdcce18b186039fdd35","datavalue":{"value":"interval logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963143$7746F366-2B0C-4396-AB4D-F58BF5F9B13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963143$FD930476-BA02-4BAA-BED4-D649E50D3D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94c6d9adcf604dcae84ec3baf1711b8f20c0bda8","datavalue":{"value":"metaheuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963143$6C023869-EC8E-43A8-A814-F50734CE4541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52740cffd9c256ce1192cec611dbca9894e21e8b","datavalue":{"value":"multi-objective evolutionary algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4963143$877CAA37-6C83-4F07-B4E2-5C4278FFAD9D","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":"Q4963143$C52C2CDC-160B-49E8-B45F-1ECAE4334174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bc3bcc44f08f483b03880a1b5fa40374c1df6f8","datavalue":{"value":{"entity-type":"item","numeric-id":5276108,"id":"Q5276108"},"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":"Q4963143$4084B203-94B8-44BF-B657-8636F3A85F49","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":"2757d7240479bac65d462b6b9c389e2b2febe130","datavalue":{"value":{"amount":"+0.7810009717941284","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":"Q4963143$C2E8F0D3-A45C-4051-8848-C93CAD5BB2C7","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":"2cc3c3de02905dca6b5e189843aebc03740d083f","datavalue":{"value":{"amount":"+0.7646443247795105","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":"Q4963143$A05997E7-1F0B-4F74-81C0-D38CD271F695","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":"923a34f0c9208bd5ce9526acec24b04803fbd309","datavalue":{"value":{"amount":"+0.7495759725570679","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":"Q4963143$C01ED3F9-90C6-4BEC-8C57-6F410413F8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df07cdeb834ec5f510a143d6dcf63ddc08e0fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4904145,"id":"Q4904145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae61ffa3f94aa66563d52098c968bcccea148a7","datavalue":{"value":{"amount":"+0.7386777400970459","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":"Q4963143$3E93C480-A8F7-418B-9C39-B48B77CCF80B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite satisfiability of interval temporal logic formulas with multi-objective metaheuristics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_satisfiability_of_interval_temporal_logic_formulas_with_multi-objective_metaheuristics"}}}}}