{"entities":{"Q973050":{"pageid":974898,"ns":120,"title":"Item:Q973050","lastrevid":65849457,"modified":"2026-04-12T05:47:53Z","type":"item","id":"Q973050","labels":{"en":{"language":"en","value":"Deriving non-Zeno behaviour models from goal models using ILP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5713417"}},"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":"Q973050$02A10E94-98C3-43F5-BF2C-C117687E7A32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"697d207e8cb3a625efda3ed0ded6ae5c4d5edb7c","datavalue":{"value":{"text":"Deriving non-zeno behaviour models from goal models using ILP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q973050$1F052117-980B-458B-90BF-71331281931B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0b7c71fb626e7fc1dd02833bc34aba4866014db","datavalue":{"value":"1213.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973050$860E6BB8-4838-4725-8C16-BC01DB4DCF64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19338ce6b3f850d72f9b1fc8b48422c06968a030","datavalue":{"value":{"entity-type":"item","numeric-id":229320,"id":"Q229320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$61B3489B-D5EF-4702-B233-BAED02D4FB85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ee58e4b5c9bca3432c7c49a60c88449b158681f","datavalue":{"value":{"entity-type":"item","numeric-id":1996424,"id":"Q1996424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$5333A77F-D948-4897-9D54-D2B0AF6DE8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eb6b14c79e5698b03eacb9a611e72f98d27bc02","datavalue":{"value":{"entity-type":"item","numeric-id":324688,"id":"Q324688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$FD2B6BB1-7C8A-49AB-9A3A-5CF566312D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa93d6a3544bca54b692e991eafb066870b3b32","datavalue":{"value":{"entity-type":"item","numeric-id":1990513,"id":"Q1990513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$D09389A2-78D8-40A1-85F1-801D4DBB3877","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$7BF34364-1CCF-47E4-9960-A67124384972","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0dd9350793171b1d4c029f4c515e1e2ec3a8f1","datavalue":{"value":{"time":"+2010-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q973050$7B23D132-D1A9-4E7B-9E60-93EBF5F4797B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973050$86C78613-173F-468F-83CF-35FE4C052190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22bb6bb76722f62da7f2e5b08ef44fa2ce272de6","datavalue":{"value":"5713417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973050$505E366C-B47F-42E1-8948-7E6A2A5974BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa167ddc45270c0cfe0cbcd45d065657a27578c","datavalue":{"value":"goal-oriented requirements engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q973050$7CC5D5F9-BFC4-4059-A95B-C78EA17C98BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e345e4d08c23bc5823a4bc85d8f4417a4be580b","datavalue":{"value":"Zeno behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q973050$B6DAC6E1-0AA6-41B2-B65E-F95C9CD15B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26130bcfece786aaee186a88660203183c86c3ba","datavalue":{"value":"operational requirements","type":"string"},"datatype":"string"},"type":"statement","id":"Q973050$B2A9A893-247A-4EE7-9C97-3BA99C05145D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q973050$5764EF9E-40A3-4020-8955-9D78888B0F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dae171b1ded4f4d3a19df2b268ad40f55b29fdc","datavalue":{"value":"inductive learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q973050$B83A9E32-0404-476B-ABEE-B8E1E8F9229B","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":"Q973050$D8AA1878-BC5B-4344-B5A1-51B9921B3DB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e81c1bac400a0bdbc5fd05d9accdca46059c8b0a","datavalue":{"value":"https://doi.org/10.1007/s00165-009-0128-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q973050$6970BB66-212C-488C-ABD0-8220AE23C4E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dc1b67e0a98a8cdab6e7e2dd50b1f1ebb20ae38","datavalue":{"value":"W2083654756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973050$9DA22E68-130D-4E9D-8A2E-B7BE9F1D9015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86bc9f93334ea8f5d693a35f365d5139964e45bf","datavalue":{"value":{"entity-type":"item","numeric-id":973050,"id":"Q973050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$C8D853F4-EC68-4E93-A2B9-DC8D95E71313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bcd4f08b1977259f3fe0f7b7ef1181219636fb","datavalue":{"value":{"entity-type":"item","numeric-id":685620,"id":"Q685620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$8369150E-AEFB-45FC-B5DE-38F5CE1CD1D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba58d351508d11b2f32db5e0e20e8b7a8e133ee1","datavalue":{"value":{"entity-type":"item","numeric-id":595575,"id":"Q595575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$99D068AD-6A09-4AE4-9F3F-F0DBBA3118FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a6f8c676c75552273283518d2daf462d7c08824","datavalue":{"value":{"entity-type":"item","numeric-id":4240122,"id":"Q4240122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$2F090B66-E651-41FB-8BF0-02D164F641EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$2AC06B5B-B4DC-43CE-B7D5-72B4E270898B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d66fac5c753e5ebdc429a6945a0d3af0d7553e76","datavalue":{"value":{"entity-type":"item","numeric-id":4707774,"id":"Q4707774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$48316269-C760-4BC0-9D32-09F3EE53D08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bff7c01ae29a79ae1aaf91edc721d2cf0d7ee79","datavalue":{"value":{"entity-type":"item","numeric-id":833734,"id":"Q833734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$5C1C9EE5-EE36-488D-A12F-5C7F9732751F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e4492f7a3a8d3ba384b667464d357a67628128","datavalue":{"value":{"entity-type":"item","numeric-id":4664020,"id":"Q4664020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q973050$D1E11BD7-523E-4438-A8CC-30A14EC0133A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e873782b0b8b4bc6fe210c177c68cdd0df83463","datavalue":{"value":"10.1007/S00165-009-0128-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q973050$444F07C5-35B0-4991-93FC-F1608A7F2FE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ccb420784cd3e2a028c7418c71c27a9447f91f4","datavalue":{"value":{"entity-type":"item","numeric-id":5426036,"id":"Q5426036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1231a2e0dea456cb7f01f7a0c046c637596ee67e","datavalue":{"value":{"amount":"+0.7286178469657898","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":"Q973050$5C8C3B66-D05C-472A-8555-69C39840E024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a7eba7118657297f7e6208bc36e1aa21525fea7","datavalue":{"value":{"entity-type":"item","numeric-id":833728,"id":"Q833728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"279e5a7099e696cf27e4ec0087a110ab6067c2ef","datavalue":{"value":{"amount":"+0.7044315338134766","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":"Q973050$6CF402BE-4103-478A-8DB2-4AAA2B18608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc862c0f10ee9ebec9c20f5163c92b068759e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":5897293,"id":"Q5897293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937179a848dac77ff43f03cbf746562d08cca6ee","datavalue":{"value":{"amount":"+0.6847766041755676","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":"Q973050$80554916-C0E0-47BA-A2BB-352386868CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cdb422f37a8383c297d85cdd082ae4edb29711","datavalue":{"value":{"entity-type":"item","numeric-id":4414375,"id":"Q4414375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfc83dd07051670b68942afd034bb92b4b598c9","datavalue":{"value":{"amount":"+0.6675605773925781","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":"Q973050$43D6AD30-1154-47D0-BABF-3A385D41360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee8247332091c7fba3e746a8bc24016d7fc0ebb","datavalue":{"value":{"entity-type":"item","numeric-id":685620,"id":"Q685620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063d2a2088d1a8108591b5567741d59fa6107856","datavalue":{"value":{"amount":"+0.6591602563858032","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":"Q973050$F65C599E-62BD-49C7-9640-8E540DEF9EDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deriving non-Zeno behaviour models from goal models using ILP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deriving_non-Zeno_behaviour_models_from_goal_models_using_ILP"}}}}}