{"entities":{"Q833728":{"pageid":835576,"ns":120,"title":"Item:Q833728","lastrevid":64685685,"modified":"2026-04-11T21:33:07Z","type":"item","id":"Q833728","labels":{"en":{"language":"en","value":"Using abduction and induction for operational requirements elaboration"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5595381"}},"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":"Q833728$6AA9DA25-82E5-4E7B-820D-1D62767D50AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50f77715eb10c3d93029cd595ee8a96ade9975ca","datavalue":{"value":{"text":"Using abduction and induction for operational requirements elaboration","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q833728$2CFDC2A5-8A5B-4670-8677-9E549F6CE560","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81c2d3ca2fc79b785e1274dd9151815c2612c5e2","datavalue":{"value":"1176.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$FF1418A9-2D02-4FDF-B716-A77C1A84EA99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$7273DD78-EAFD-47E8-88FA-1B2EDCA3AE5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd4184030f5c2b742962dcf0b0857833f202eac8","datavalue":{"value":{"time":"+2009-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q833728$07CA314E-43F7-4D6E-B205-9B97280965FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$FEF259E2-4260-4940-A168-F84D403C5449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$9815C314-8761-4676-AC77-66EC1A39C953","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"166847feea1c8490dc06062bcfb30261b17afd81","datavalue":{"value":"5595381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$2CED297F-7DDA-49A1-8064-E63EC17E2C5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1812f6185a29beefd2c73ebcdd619e76c6b5fe3c","datavalue":{"value":"inductive logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$7E6FB228-FF66-42A4-9075-3DBCBFC094AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b36357255e9720f5678c2109305854cbf81d87","datavalue":{"value":"abductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$25F73548-EA64-4FF1-9C03-7DB15FDA8C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaa167ddc45270c0cfe0cbcd45d065657a27578c","datavalue":{"value":"goal-oriented requirements engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$4F361AC3-00B3-4AAA-8966-EFBD622BA373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3599bdc420e8720acd01f7773a74a2252d3cfa9","datavalue":{"value":"scenario-based specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$D3F08436-09FE-41C9-BB80-61ED9ED5460A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$4A072F63-6796-4636-881C-EB9402522D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eda21f9216ceb353eba4019db944dca362deb6","datavalue":{"value":"event calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q833728$FD91B47F-EEDA-4B97-8923-F0FAB8586A5D","rank":"normal"}],"P16":[{"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":"Q833728$E8ED7571-A6C3-43B5-AEE0-3C0FDA647840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"913ba8ea85c0e7d6fedf46eb670cc9a3e411b7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2460296,"id":"Q2460296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$100B7AD3-1663-4109-998E-19BDA0041A91","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":"Q833728$CF69B74F-29E8-49CA-A091-6928CBDF1880","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":"Q833728$742D21DA-C81A-4A9D-A2B0-EED254FA0FC8","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":"Q833728$2BF7F3A3-6FC0-415C-9D66-C9AF8FE89E49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f84f954f156255f6557c7a3561fd30f6625e814","datavalue":{"value":"https://doi.org/10.1016/j.jal.2008.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q833728$B8E9043D-577D-4FFF-A1BC-6CA5A9AA6050","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3498c2dd89c94514afb4f071dcb087e40dad7d5","datavalue":{"value":"W2023342108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$537D9FA8-578C-4A44-A363-E8146097663E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79bfb21cc3efb44f5de373c0cda95f24ea04fd62","datavalue":{"value":{"entity-type":"item","numeric-id":5426036,"id":"Q5426036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$43F7BE37-B4A1-47A4-B0D1-83B885F15D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c6843c5febd090e042836f9b70a3a8e904ad12","datavalue":{"value":{"entity-type":"item","numeric-id":514239,"id":"Q514239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$A0CFB5EC-1332-4B59-B754-4FBD55418F72","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":"Q833728$7BE7D3E9-D22B-45FF-B2D0-50D237844737","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":"Q833728$8B339850-C9D1-47D6-AD5F-D4BD482E0EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffab08ec0c6dd9f84bbe272516556f7b664ae39","datavalue":{"value":{"entity-type":"item","numeric-id":4413491,"id":"Q4413491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$24B99424-CAFE-43B7-984C-894F4174633A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"911f13f0a31ec5268f833e50739c3d550ba0d681","datavalue":{"value":{"entity-type":"item","numeric-id":4537969,"id":"Q4537969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$E1CCB17B-C595-4C8D-942C-4E0CED9905C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d20bdcea5490376265832e57967847211e2ee14","datavalue":{"value":{"entity-type":"item","numeric-id":4305633,"id":"Q4305633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$049B952E-400D-4228-9FE0-77488574037B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b388d57615a5cf0b5c3dbe4931fdd5e2fdb563e","datavalue":{"value":{"entity-type":"item","numeric-id":4809153,"id":"Q4809153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$C8C67957-80C5-4003-9D1E-3D52EF41A4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48459d6ab298829108e82230c8447d371a5a58c","datavalue":{"value":{"entity-type":"item","numeric-id":5277720,"id":"Q5277720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q833728$E3F6714B-E56A-44CC-AF0C-40AFF10B1217","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c04f4a5eeee8474d62ff4c610133278f28edd241","datavalue":{"value":"10.1016/J.JAL.2008.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q833728$2957601B-16C3-4778-AF1E-319940ED3956","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":"cc104f6858d7806e89f1ee8411003a4e945ce79a","datavalue":{"value":{"amount":"+0.8560441732406616","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":"Q833728$3243A069-441C-4C20-8799-07E4ADE67DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f301d7e25954cf6921461d9522604d12cf78787","datavalue":{"value":{"entity-type":"item","numeric-id":2771760,"id":"Q2771760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba65e8bc3e36c4efe5027feb82ded005cf19fcc","datavalue":{"value":{"amount":"+0.7250882983207703","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":"Q833728$DE6B0D13-64B5-473A-A72E-405ED069F2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8da69ba1e9da2e8f89fd6e57eb667398b2df328","datavalue":{"value":{"entity-type":"item","numeric-id":5447369,"id":"Q5447369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cba65e8bc3e36c4efe5027feb82ded005cf19fcc","datavalue":{"value":{"amount":"+0.7250882983207703","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":"Q833728$C9AAD313-2EBE-42DB-8D7F-138EE78A2332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19847aa918823c14626197329b70ef14c3359c06","datavalue":{"value":{"entity-type":"item","numeric-id":973050,"id":"Q973050"},"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":"Q833728$50F2C23B-DF67-4991-B55F-460206E81C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e6125a0724177e505aa05a1f61bbb03b052753f","datavalue":{"value":{"entity-type":"item","numeric-id":4441493,"id":"Q4441493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37d29ec7d0f6bf2f13036ea930108ad130a2830","datavalue":{"value":{"amount":"+0.6932513117790222","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":"Q833728$446530DA-0351-4D7D-8C30-03D5B01B68CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using abduction and induction for operational requirements elaboration","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_abduction_and_induction_for_operational_requirements_elaboration"}}}}}