{"entities":{"Q2988957":{"pageid":2999681,"ns":120,"title":"Item:Q2988957","lastrevid":85813070,"modified":"2026-06-03T11:37:31Z","type":"item","id":"Q2988957","labels":{"en":{"language":"en","value":"Directed specifications and assumption mining for monotone dynamical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6721649"}},"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":"Q2988957$B3505FA6-319C-410A-BA5A-E816AAF1A0C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd0afc97d217fc2943dc8d4c28b6915903f491b0","datavalue":{"value":{"text":"Directed Specifications and Assumption Mining for Monotone Dynamical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988957$719CDBA4-2E77-44E3-8F7C-C7F0FC14447A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b318ae82a56b7dd12ed92f88d69d0924dfbd53f","datavalue":{"value":"1366.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988957$DD56A206-1C08-4CC6-9D44-A4EF403224B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f269662475098ad40ff90b2b2ac9d4c2ae84223b","datavalue":{"value":"10.1145/2883817.2883833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988957$A7545308-1DB9-4F1E-A76A-767C2D1B8557","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4652b19575ce7c235da5307ca9efc81068365040","datavalue":{"value":{"entity-type":"item","numeric-id":1679066,"id":"Q1679066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988957$005BC2A1-FFF5-4B13-A7E4-DFDB208EAB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804871355f0ded4f0be5a0fad239a4e43a0bad76","datavalue":{"value":{"entity-type":"item","numeric-id":162589,"id":"Q162589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988957$DDC8B9E5-0FD2-4DA2-838F-B16E566B47F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988957$1212DD43-3C6F-4437-8DBC-8D54508C57C9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"84a0ad62c508a284f139cafb8f4d1fe4b4e06dae","datavalue":{"value":{"entity-type":"item","numeric-id":2988953,"id":"Q2988953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988957$F1BCED08-1D34-44F2-AD55-7C0D4F86B704","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988957$E3E04FE5-714A-4EB2-9920-DF7F86D60D71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988957$D00CF05A-DBDD-4304-AB52-3088FC719B75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4526f1e16d11c23bf5884ab7c9f6927a218a2ace","datavalue":{"value":"6721649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988957$AEC5E0AE-81CF-4DAF-93EA-0124C417C899","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36ad599e15199612f8a505926463ef613651ad3c","datavalue":{"value":"assumption mining","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988957$67B1FE7B-7B3A-4784-862C-308965C16916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7a759ade59be57df8d4249bcdacef7b1e33b672","datavalue":{"value":"monotone dynamical systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988957$10FD010A-3F5A-424F-830F-4EB048100F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedf903784eeba0fa13d8545c010927ac8abaf15","datavalue":{"value":"partially ordered sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988957$AFFC30B5-7E29-42F7-A060-FAB6545DE193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2988957$02260DF5-69F8-4525-9835-873223BEFE92","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":"Q2988957$88D82761-6107-481E-B8A3-E098E127CD66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9303e6740ed8cb718ebb04bde94807ec1c6cee14","datavalue":{"value":"https://doi.org/10.1145/2883817.2883833","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988957$FA9B24BA-B07F-4671-8F20-0C141F5378B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8c08246350092ca842a481ad0871d68f09c368c","datavalue":{"value":"W2341219289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988957$FD6E0361-E113-4231-94F1-EBD26757D844","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b68a2f5bd1a251f296395a5b53e31cd3d5090","datavalue":{"value":{"entity-type":"item","numeric-id":1679067,"id":"Q1679067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453de40446a96e4114494bdf3d3e444828c764e4","datavalue":{"value":{"amount":"+0.7720805406570435","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":"Q2988957$64B96BB0-8213-4D21-BE17-5ABCE7A17542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e5fab7408d5e169fef29ce89cd28a9d21787e38","datavalue":{"value":{"entity-type":"item","numeric-id":2988916,"id":"Q2988916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7241092dbafa3c6a87645dae8df191735d25d877","datavalue":{"value":{"amount":"+0.6662781834602356","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":"Q2988957$F298A234-9EDA-4C27-AD83-18FAB2D1DB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fff497087086557e8f8a32cf92871308839bd9","datavalue":{"value":{"entity-type":"item","numeric-id":2059378,"id":"Q2059378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae76bf205014e3a248ad6ef453ebd167e30d34f4","datavalue":{"value":{"amount":"+0.6655276417732239","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":"Q2988957$4BDEC1CD-67E7-4424-94C4-6E8082999B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e0f2721f8b57664e8c14791e2663949f2630cff","datavalue":{"value":{"entity-type":"item","numeric-id":2374568,"id":"Q2374568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c481f3c80c4afdc4507b02e7f5c72535e4d5b02","datavalue":{"value":{"amount":"+0.6626905798912048","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":"Q2988957$24ADE331-B111-45A0-BE73-7B480661CDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abf02fe096f23fd760725e60b2b7d6458092234a","datavalue":{"value":{"entity-type":"item","numeric-id":3181763,"id":"Q3181763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80fa4c499b700dd96a812f39e66a737f749d5c3f","datavalue":{"value":{"amount":"+0.6441994905471802","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":"Q2988957$31C5583A-8277-4900-B969-673F4CB383C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Directed specifications and assumption mining for monotone dynamical systems","badges":[]}}}}}