{"entities":{"Q6151756":{"pageid":13286063,"ns":120,"title":"Item:Q6151756","lastrevid":57213819,"modified":"2026-03-27T12:07:47Z","type":"item","id":"Q6151756","labels":{"en":{"language":"en","value":"Enhancing active model learning with equivalence checking using simulation relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7815088"}},"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":"Q6151756$764F15D1-1923-4AC0-9F40-D0CC90E50A24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bea6e108c1186e711f30336545c5382af3ca235","datavalue":{"value":{"text":"Enhancing active model learning with equivalence checking using simulation relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6151756$D7CDCEDB-7B75-4CDE-A05F-685E361BFA8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9c5687940ee911b3697b983485d9cdc01228175","datavalue":{"value":{"entity-type":"item","numeric-id":6151755,"id":"Q6151755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$4B76F0B3-3346-4FCF-8D17-0994931A205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2cc370034ec8bce9df6b6d7f74a57927fbdd1b1","datavalue":{"value":{"entity-type":"item","numeric-id":207986,"id":"Q207986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$7F1FE778-B225-4FF7-A369-461BA8327D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$5BA1A3A7-784B-436D-92B5-C9ED957BC7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$7AB48A47-95BE-4CA8-877B-79EE19ABCDF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"012ca77457e4fcb067f81b39e263aa01ef27144d","datavalue":{"value":{"time":"+2024-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6151756$D34B9ADF-178D-43E4-94E8-1C76F9B5CAD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151756$53664F84-6B23-4CFE-9CE6-388DB9E39BDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd963dab7908997143ec7e3fd9558ca25557dae","datavalue":{"value":"7815088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151756$46B4889E-6128-44F5-9E16-5C97743B6FFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab9c84d5c7f53efd90b99fdbb7e195fd9a61ec40","datavalue":{"value":"active model learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$0F418DA7-1C48-4407-94BB-1DC21FEEED8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074ebed0ec912fea71961b112bae4799894d50ba","datavalue":{"value":"execution traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$D9A9FE3A-BC4E-46B2-85C7-7E4E719D925D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"545f2094e736866b9d8e62fc9bcf307cdbd57a54","datavalue":{"value":"system abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$2F3EAA4F-6E81-4D39-916C-FE3A0B3D92AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a460cf012fa9356569b14e64b0464838067e30","datavalue":{"value":"equivalence checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$10F266A0-432A-4C24-83F8-2B2F6931BAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$017944E6-095F-466D-92C3-70E843550604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548fb38e0e5082d1d0202592e69ac8e93ecf206b","datavalue":{"value":"simulation relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6151756$A0C33AE2-DA6E-434A-A5C1-01056ED16249","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":"Q6151756$9DED826E-7062-4CAD-8549-93BBA71931DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33acaee0140fd1cdbfc189d97b0e8b82ca3c7967","datavalue":{"value":"https://doi.org/10.1007/s10703-023-00433-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q6151756$77CCDDBA-6357-4C3E-B8F2-65433378A42F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"497bccc0989444baeb6340429792c3c02f338c28","datavalue":{"value":"W4385611645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151756$2E69DC39-C59E-4746-AF09-FDB40ACBD558","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9604999120e15338a542b71e0ced61b4e9c3f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4647827,"id":"Q4647827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$D09CB38B-871C-4F12-ADB7-2BF68338C022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$EA3A82D5-33A2-433A-ACD3-F62CF86A06AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7071b994624b473f568a8aa717c45ae2e5f62ba3","datavalue":{"value":{"entity-type":"item","numeric-id":6045017,"id":"Q6045017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$C276402C-912B-468D-922E-1F65B8119A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb2f4eda96055e862b502671e4efbfeac491c818","datavalue":{"value":{"entity-type":"item","numeric-id":5655299,"id":"Q5655299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$56DDC92B-B692-4F3B-89B4-488C24D94AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8236702a8ecbd3cba76eaed5333132c12f3fbb50","datavalue":{"value":{"entity-type":"item","numeric-id":2931821,"id":"Q2931821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$3BAF1F9D-2D1B-48F6-8F5A-CA6692026EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d7cc8dc2b549d2347f941a80a02493e33b15275","datavalue":{"value":{"entity-type":"item","numeric-id":736459,"id":"Q736459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$9EFB9A76-83E2-4E28-95B8-03DEF14F2E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7b409cea6c208ce1792eeb3ef602ab9d06b86aa","datavalue":{"value":{"entity-type":"item","numeric-id":5109907,"id":"Q5109907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$71F147E3-BD03-4584-8A91-5D860DB140C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$466DC897-D5C9-46EC-AB52-A52972944680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$1E2A2A9F-B8CC-4C81-8CD9-FCEB72CC2F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d0a070d0f7d9c2ee9ba945ab464eb9f958ba26e","datavalue":{"value":{"entity-type":"item","numeric-id":1014418,"id":"Q1014418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$123F5B34-856B-4E72-BEFA-2C8158AF3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da806593bdb0fbc36cd2e4133dd8542e05bd422b","datavalue":{"value":{"entity-type":"item","numeric-id":1601176,"id":"Q1601176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$62FC2738-7F44-4385-95E6-C8D332D6F740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff9251a1b15b9fdcdc46878fd7f45ac3b5ea667","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$F8D47FF0-4BAB-4BFA-BA45-1F68B55F3331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933dab23b208a01ce2a8fcaa827c3b86326879c7","datavalue":{"value":{"entity-type":"item","numeric-id":3075487,"id":"Q3075487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$7A98AB47-054D-460A-83C5-282A9B78AC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212c36989035a7b62a8e8fafba109a61eb085ba7","datavalue":{"value":{"entity-type":"item","numeric-id":2075785,"id":"Q2075785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$9B1E20B9-A47D-4136-8A67-6FF8CF1B97C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$65E5D92F-2F72-4D3E-A71F-DDF08E2CC90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a032326ebba120a5698bbc1436ae1179382879ec","datavalue":{"value":{"entity-type":"item","numeric-id":3196344,"id":"Q3196344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$96400381-55DE-421B-A135-0CB437B64C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$F0C64F74-EDD6-4393-8DAC-56914BEAE5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd85271c66521dcfca1826214de4024b6500ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4807832,"id":"Q4807832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$841D60CB-C313-4267-B704-FFCC52CF73BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aed76715e58219f507cc12525443fb7df3a822c","datavalue":{"value":{"entity-type":"item","numeric-id":2232274,"id":"Q2232274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$964B639D-021B-4D2F-9DCE-8C7A80E08E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1c9812ee1bd602fce252f49b889002a5ca7a62b","datavalue":{"value":{"entity-type":"item","numeric-id":6487924,"id":"Q6487924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$45B5995A-7325-4380-8639-D6FC777F59CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8093ee21cec400082244fd6e74a7c470acaa3462","datavalue":{"value":"10.1007/S10703-023-00433-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6151756$EE773DF4-6F0F-4910-9B90-2B2799DBF703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b843e9a65e168ffb5723cc45f81c92fab43633a6","datavalue":{"value":{"entity-type":"item","numeric-id":1647700,"id":"Q1647700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e389da16b0df0e1da11a349d0c436cb34c4fd7d","datavalue":{"value":{"amount":"+0.7005370855331421","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":"Q6151756$CBA23A58-7828-4929-837E-54E1FB22EF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0762c8e0fb65e0b1c61a8c60096ad4bcf629fceb","datavalue":{"value":{"entity-type":"item","numeric-id":4647827,"id":"Q4647827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb473680b4f24bfb86b6b2ee3dbf1cc13f3beb74","datavalue":{"value":{"amount":"+0.6957862377166748","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":"Q6151756$5B34DDA8-4866-40F3-A0E6-DC19D625E0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41edbe98ff78b968507b5c3b6f1f8f27108a844","datavalue":{"value":{"entity-type":"item","numeric-id":6045066,"id":"Q6045066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e6da2fb4041e2fa9ec03dd8b30f569da192c12","datavalue":{"value":{"amount":"+0.6845693588256836","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":"Q6151756$8A6363CA-B72F-4C7C-8251-486D5BFA0EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a37903e6500bb7f191bc98d8241491dfd490340","datavalue":{"value":{"entity-type":"item","numeric-id":2452756,"id":"Q2452756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f559668d425c5f1252c01d0b630051c8428ca9","datavalue":{"value":{"amount":"+0.6845617890357971","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":"Q6151756$373BEAAF-C924-448F-85F9-C193BD6588C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c52f644e47a413c8db0fdc5aaebd27ea4a4228","datavalue":{"value":{"entity-type":"item","numeric-id":1982638,"id":"Q1982638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec498cec4cc96f5a0a13000e8ce3c2087c5276c","datavalue":{"value":{"amount":"+0.6825848817825317","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":"Q6151756$D874EB31-C6E4-4BF6-B2A2-42368308115A","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6151756$4FDA5399-0E9D-483F-9B91-F5EC3CABAF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6151756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6151756"}}}}}