{"entities":{"Q679327":{"pageid":681176,"ns":120,"title":"Item:Q679327","lastrevid":63433092,"modified":"2026-04-11T13:06:55Z","type":"item","id":"Q679327","labels":{"en":{"language":"en","value":"Deriving liveness goals from temporal logic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1002407"}},"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":"Q679327$15058664-287D-4AD9-917E-C890E174F01C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"477d0f9297ee3348aab17b25911d1c1ab87f684a","datavalue":{"value":{"text":"Deriving liveness goals from temporal logic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q679327$2B710F06-26D7-4848-A3A9-B9AC03A73137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"877829b28ecbc8db8c3cab9fdb0bdf3f9eac4fbe","datavalue":{"value":"0976.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$4BB8EA1B-2E43-427E-8938-6F3E1CE9715C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679327$F2C0227C-0E4A-473F-832E-8CB26D5A6D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"386a69d447c148367398c755df6618c97a26ade7","datavalue":{"value":{"time":"+2001-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q679327$46C30943-4B14-4A7E-BE76-F0FFDC49EC33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46088f5804cc50aee4e892465c7b017867221530","datavalue":{"value":"https://semanticscholar.org/paper/39ed5145957ace6a9c0465603d301b6e30a53e84","type":"string"},"datatype":"url"},"type":"statement","id":"Q679327$FB117789-8457-44FF-85C7-3869A1579F66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$56AB4321-C23D-455D-B1A1-6DE9C1660A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$0A0072B3-B513-4661-81F9-E5C76528D701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$6759FCAE-0438-40FB-9CD4-57C116F7C645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$5AE42F6A-7044-4AEC-8FFD-A7A0FFECC997","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff12177f1001e00821a7929f450d6dbb7dee651a","datavalue":{"value":"1002407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$9785B2CB-A491-4884-A456-008EAA74525D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679327$B2A7D190-9101-4963-8BDC-68B86A57AC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95441307dd2071cad596197e9745665efbd13dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1095681,"id":"Q1095681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679327$07E7B9E9-6962-49C6-8FFB-FC978D13DFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q679327$B1F1084B-3F1B-4FBC-A43D-8E80B5F5785D","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":"Q679327$045D44B8-B116-4A33-B683-5DBADF319D37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1f8e155d1f6b3c07c249313cff68ae23be2f1e3a","datavalue":{"value":"W1997414361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$6B8C7671-80D2-4132-8703-45289C03F63A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9b4c69dc0c7c9b31440e04cf37d47b42c0c63ee","datavalue":{"value":"10.1006/JSCO.1996.0065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q679327$C4A0322A-4B44-4E29-AAB8-7298F8A35AB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0e88955d91680e6d765da8c1b8b08c87afc0248","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678c49a7495ef47cfb50b82fbbfd5f6fb5626242","datavalue":{"value":{"amount":"+0.7347108125686646","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":"Q679327$1CB70FA8-02B8-48AE-B35B-E7C6169A4F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3d6fbc4dad5f5a6463f2045e9be8478b611637","datavalue":{"value":{"amount":"+0.7318267226219177","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":"Q679327$A4C9397C-1F23-4AD1-9A53-C2499DE6CF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6dcb26f81f28ca3adc206ce4640d34ec6e1800","datavalue":{"value":{"entity-type":"item","numeric-id":4716201,"id":"Q4716201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"048063943e72296c5b2a2fa5a8b32c00972d427b","datavalue":{"value":{"amount":"+0.7310222387313843","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":"Q679327$25165A0C-5B71-4E68-B4F4-7A0673E128CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950bd244f0d0900c530a7298f4d046a9e4e62f0f","datavalue":{"value":{"entity-type":"item","numeric-id":5429333,"id":"Q5429333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd2695d820763d625860b3730d262b7005a9b35","datavalue":{"value":{"amount":"+0.7306417226791382","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":"Q679327$D41C583D-4C4E-43BE-AAC0-D9B7C0BDA702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f328754d567774aa504ca5e816b43c8082c70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1039845,"id":"Q1039845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"229252709717c29d3fabb81d0bbf59ebd657c053","datavalue":{"value":{"amount":"+0.7277047038078308","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":"Q679327$63C7EC1D-D79B-4F3E-AA52-544C3F746633","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving liveness goals from temporal logic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_liveness_goals_from_temporal_logic_specifications"}}}}}