{"entities":{"Q2229136":{"pageid":2239879,"ns":120,"title":"Item:Q2229136","lastrevid":53940146,"modified":"2026-01-25T23:25:07Z","type":"item","id":"Q2229136","labels":{"en":{"language":"en","value":"Toward model selection by formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7313957"}},"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":"Q2229136$02470D71-A571-46FD-AAE0-78898049034D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a959e38b3adbeacc95c7af6b0027690448a92f0b","datavalue":{"value":{"text":"Toward model selection by formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2229136$625258D2-FB34-4356-8B0E-ABCC12F17C58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"970ef8f2a81c722394c2a1689f70cb8fbe7b7804","datavalue":{"value":"1458.92035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$51297062-9F60-4728-8267-A79BD28861A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e6ce2efd9d8fdf5eef55ce27ef2a4a840bcb8bf","datavalue":{"value":{"entity-type":"item","numeric-id":2229135,"id":"Q2229135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$CF56361B-BE9A-4E74-A5C5-1F6F524ECB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab7785e5c27e59a61a01e5cd31f701b7740f2c10","datavalue":{"value":{"entity-type":"item","numeric-id":832199,"id":"Q832199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$3DFBF71C-E2B6-4BB9-B92A-02986DAAE22B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0749869f595759ee793dee0f3189be235834d4","datavalue":{"value":{"time":"+2021-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2229136$D14FC8D0-CF26-4083-BFE2-1DFDE1C48097","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$82B0E515-FF24-4298-AA21-22354C84AF9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356826b68e4f4d825395d496080a6e1d998d76cb","datavalue":{"value":"7313957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$C975DB44-5903-4FDA-9F82-38C797479BAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229136$DBF1161A-B0C6-45EF-BAFF-8952009B31CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68fcceb571b26a4c9b75f5c240617195525207bb","datavalue":{"value":"parameter synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229136$4E59CF05-45D4-48E9-8224-181E21404ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46144d181639b9063b7f4586f50bbb1b1798bb8","datavalue":{"value":"model selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229136$D83081E4-5C71-4460-B015-FA1571798608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74a6efd006d654b1ba5023dae7b09ecac1f6a77b","datavalue":{"value":"FFL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2229136$A3349158-3A0F-4B49-A3AB-90561816FEE0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31c7acaebd7d37907b9a7d3c9becad2584927103","datavalue":{"value":{"entity-type":"item","numeric-id":1353664,"id":"Q1353664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$63B8B875-F0B9-4AB3-B51C-DAD9F6F6FBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$5EB7FA37-3EB7-4EFF-9254-B2A3767E570F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7d300e0536785756def2899c29e86f51ddcb272a","datavalue":{"value":"Q113317326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$30C22712-EF55-4A1D-90F4-521C563E718D","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":"Q2229136$D3FBF13B-2326-435A-B10B-E4DA7964E49B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af01a64660d5633163a9ef3aedce9e13a320704","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2020.06.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2229136$941A2F8D-D87E-408F-9AAE-6BB4531DB2E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"685992e0871c56e529b2332988f8445383e264b8","datavalue":{"value":"W2940027948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$6F439B91-FCFA-45BC-BC29-BE35F5634B3A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc912275054fa90233556340aaaf2f4063aabba9","datavalue":{"value":{"entity-type":"item","numeric-id":5474959,"id":"Q5474959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$4C0E0161-B6C2-4BE5-A30C-3255C5893D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4e5a94deb94554e70ca2577ef9284771dc068d","datavalue":{"value":{"entity-type":"item","numeric-id":5376901,"id":"Q5376901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$EBB08913-9F38-4A10-8E1C-FF5CC9D52124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$3BBA6488-AE22-40E7-B2BF-12A33E2B4FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$30C4AD69-05C0-4BE5-91BB-7FA9340CD375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$5DC420E0-15C1-450A-82E1-A29559E14785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$8F13ADD5-1463-481B-A2FA-99A59749B8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2229136$CA661BF8-9146-41E5-BF5C-1AEE36DF112E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdedf4a3bb13da98535a3cb3990eb906a50f1f57","datavalue":{"value":"10.1016/J.ENTCS.2020.06.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2229136$DA285BB1-391E-427B-9EB2-D22DBE4EAD83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f523d4641a2b8ad4c4e0a3650f536e0338972bf","datavalue":{"value":{"entity-type":"item","numeric-id":3427141,"id":"Q3427141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361a3ca24f44f66740ddf3ca233449f57f4fbae4","datavalue":{"value":{"amount":"+0.7209562063217163","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":"Q2229136$6D46FB65-28C6-44BB-9FC5-5F10B3EA9A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c216d0b2946b16d7516063ea9de3e32963143dc","datavalue":{"value":{"entity-type":"item","numeric-id":4849957,"id":"Q4849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c644992583069d8ea6500e312b974841591fd3","datavalue":{"value":{"amount":"+0.7126306891441345","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":"Q2229136$6A26A2EB-EE9F-46C4-A110-FBCB969B93AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe15c63eb2a9d5a407fb6b2be5f3e8320a8e8cf","datavalue":{"value":{"entity-type":"item","numeric-id":4644829,"id":"Q4644829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3be08346d8bfcff5db88e6338034601ffc3b0e","datavalue":{"value":{"amount":"+0.7072404026985168","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":"Q2229136$0EFB4F47-48B5-44B0-B4AB-6061F1CB544F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e8ace11757ceb5cf691661b8852c37fbb4b215","datavalue":{"value":{"entity-type":"item","numeric-id":5300885,"id":"Q5300885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b742a90dd6b00f5c756129c9d994b8f8da466f7","datavalue":{"value":{"amount":"+0.7007747292518616","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":"Q2229136$7D333C9E-20F9-475C-81E5-02E2048B9DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1ddfe07c61e63b74e48b2984748d271147560b0","datavalue":{"value":{"entity-type":"item","numeric-id":5944256,"id":"Q5944256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d8ffa690ad9dc9a09db37ec7e7fd45964f99b2c","datavalue":{"value":{"amount":"+0.6947782039642334","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":"Q2229136$F4B98908-E301-4A1F-8850-B320193101D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2229136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2229136"}}}}}