{"entities":{"Q5756739":{"pageid":7786290,"ns":120,"title":"Item:Q5756739","lastrevid":41875902,"modified":"2025-05-09T07:47:07Z","type":"item","id":"Q5756739","labels":{"en":{"language":"en","value":"Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187401"}},"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":"Q5756739$F10A170A-297E-4EDB-8A71-67C193B504D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90f0555318300f25364ecbf0c953267b3d61b5ca","datavalue":{"value":{"text":"Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756739$ACD01722-8149-431E-801A-DF5354C4C731","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5a3e061715882c0d58c8d538fc821313f891f29","datavalue":{"value":"1188.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756739$F777B990-ACE5-4101-87A3-CA1F549AF7BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b639a5e76e301c43cc1a5cbd6a6f7d1288be678f","datavalue":{"value":"10.1007/11817963_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756739$15AFE37E-0D79-4313-AAF3-5C46A7295D3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"568b0ad64491cafeebacdd612b177850f7ecb220","datavalue":{"value":{"entity-type":"item","numeric-id":2848681,"id":"Q2848681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756739$9D572373-2120-4899-BDC5-94499747876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756739$71CF3C56-DE6C-4FC7-B86A-77E8FCA26150","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756739$ECCEB3E4-2A90-488F-97DE-32C9D0475B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-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":"Q5756739$4F6DEA13-E2AC-454E-91DE-6D315B8DF923","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756739$8EE7A70C-0EE8-47D9-9DF6-C533EFE8D83C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2276dfae5ab31c0d6cd411d489b512a2282fcc7","datavalue":{"value":"5187401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756739$0C85D440-8D49-486E-AF37-A1CB9BEF557B","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":"Q5756739$983E3D66-4C50-4EC3-80D7-3DFFF40D36BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94c82ca7775234e875b2889812b6ba1a100d87c7","datavalue":{"value":"https://doi.org/10.1007/11817963_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756739$114E4E9C-FCBD-498A-886C-9445FFB8452C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"80b5c20b0ec6c57ddff11fa05fb9fce41a15b565","datavalue":{"value":"W1569576087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756739$4E23F5A7-2325-4F34-B502-4F4502B4690A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bc6b3dd88d6814e016b52bb5866ce00d8ef26c","datavalue":{"value":{"entity-type":"item","numeric-id":453494,"id":"Q453494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e7dde0f7cd7cdeb104e7fc825004905e47eeedd","datavalue":{"value":{"amount":"+0.898705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$8AD0F857-855C-481C-968F-C9D3A9679991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189ff5573dd4149b828fb3b5995d59e4193ac727","datavalue":{"value":{"entity-type":"item","numeric-id":5466577,"id":"Q5466577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc972cbe9844698c7ad5f7a93882ebd052cc1c8b","datavalue":{"value":{"amount":"+0.89228874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$974F7309-27D4-4393-99E9-A38C735B6FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"784b6cb64628b67d076bbdbd822813ca03d1b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":5899153,"id":"Q5899153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edbb3989da2d63231a0f72a737873d4d3b96e0f","datavalue":{"value":{"amount":"+0.8854106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$286A9CBE-1E2E-4F9C-985B-3D75765CE300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c06c91ccc34184c97e64bdd0a94d2a8fce943aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4427896,"id":"Q4427896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3141d6a4340e8df5bffc487204e973ae18ad19ae","datavalue":{"value":{"amount":"+0.88050854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$49857D9B-8CDB-4EEB-9547-113084AB564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4407264dcf973a7a6165955b28c3e3cb06763b","datavalue":{"value":{"entity-type":"item","numeric-id":3176383,"id":"Q3176383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05e43b7fb7283e6f36720b9c1d47804cebdf58c3","datavalue":{"value":{"amount":"+0.87316203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$C548A7D7-72D6-4BA1-B2C8-6B2D31AB1AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3167cd4cfd397a2a8e68118a29816a1a96753ed5","datavalue":{"value":{"entity-type":"item","numeric-id":3434722,"id":"Q3434722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0cabcf584657690bb1193953bb958801ca4b1e","datavalue":{"value":{"amount":"+0.86947477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$421E598D-1509-43DF-BA02-5CE47896E662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"124f67889e8bbd9aa673433a181b944c636f9cf3","datavalue":{"value":{"entity-type":"item","numeric-id":3636800,"id":"Q3636800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4921101cd14f5873e638aa87e07a890aa71103","datavalue":{"value":{"amount":"+0.8647757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$C08895CE-73B4-474D-A387-6498F3968143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e829a9cb3ac79d1e0677ff881a4ef71fb2d5269","datavalue":{"value":{"entity-type":"item","numeric-id":4817544,"id":"Q4817544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a552916ab37282c907ab2f57337e6c049eee8744","datavalue":{"value":{"amount":"+0.86354816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$0C618259-ADE3-44BA-BA61-F23D0FB38C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bfaf9604a8d52455e9df2a6388ea0816a18e6d9","datavalue":{"value":{"entity-type":"item","numeric-id":5493230,"id":"Q5493230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8f3af41d1aca04090c52d56e4e79ddb7b139d6","datavalue":{"value":{"amount":"+0.86249316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5756739$D86A6A2A-906E-4EBF-AFCA-D3A5E9E9EBE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756739","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756739"}}}}}