{"entities":{"Q2873617":{"pageid":2884337,"ns":120,"title":"Item:Q2873617","lastrevid":51912185,"modified":"2026-01-20T12:54:25Z","type":"item","id":"Q2873617","labels":{"en":{"language":"en","value":"Formal specification generation from requirement documents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6250201"}},"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":"Q2873617$6DFA5243-B330-4C91-8B24-760939E9C148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c1a86884d6968103f2012ee1064cdc827475a049","datavalue":{"value":"1279.68199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$909D88F1-DF60-49B8-9CA3-5BDEA6B0C428","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6a82562b721e53a5423e404dc203c920f3a8609","datavalue":{"value":{"entity-type":"item","numeric-id":2873616,"id":"Q2873616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873617$07D1FD00-20E5-4E4F-AA6A-76B283982DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873617$CFED2AC9-D94F-43F8-9607-E1D2566B9ECB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873617$73F01DA9-7BC9-4E53-8FF7-67CB01878EF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec1d1b5de12363b743dc1edf0b2d387c6f9a8806","datavalue":{"value":{"time":"+2014-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2873617$FD4FA303-5ABE-46F5-B99A-CD5A17943F20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$012B57F4-056F-4C64-A77E-0BA8FB2110E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$1A5A2116-9BDF-422A-BBBF-6AFBF1186FD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60c6cfbd138ee03436f02cf51a39ffbc13354f25","datavalue":{"value":"6250201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$85FC14A5-904F-44E3-9DC9-C6F8A9602BBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16af7927c4af3ca322747a037772eab43f454428","datavalue":{"value":"use case specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873617$0C028FDA-4D9D-4FF8-8CBD-3A1DABE3E84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c21f08e858402615d1852fe38efca6e6d91ea8","datavalue":{"value":"controlled natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873617$B18D2258-3A81-4D83-9A51-7F0789B0419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dff2bbf3466d402911cf2e2148f76804b929962","datavalue":{"value":"formal specification generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873617$4800E80B-F15E-4783-B2A5-B8CECADDD877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff01cbcab8c86e600c5fd6278b735bedc04fa174","datavalue":{"value":"formal models refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873617$2CC61BB7-DE33-4C88-83C5-73860D9A979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2873617$31CE37A0-8714-4F76-AC1A-1E01A1F4EBFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9af7c06e0f7b76afc8868f3e1cf8144e79861544","datavalue":{"value":{"entity-type":"item","numeric-id":55403,"id":"Q55403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873617$9FFEECA7-E2C1-4457-9CDD-0E5514847904","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":"Q2873617$5BC4152F-D185-41B9-B4D5-3320B3934775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b9049de96e005166eac7f13e4ea24fc3d71ad91","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2007.08.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q2873617$02CCEA6F-624A-449D-83B5-801156DCADE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74f529855026f72571dc070d1030ca539c096d54","datavalue":{"value":"W2040085723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$FA36CE85-F926-4FA8-8BFC-DD368F6FC391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"223c70979455a2b007426de311651ab5b9f6b03b","datavalue":{"value":{"entity-type":"item","numeric-id":2873608,"id":"Q2873608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2873617$231FF3E0-15C2-47AD-A491-89CE797D9A3D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f44321ee7e7400da9e053dcfdd229b9b92cfd95c","datavalue":{"value":"10.1016/J.ENTCS.2007.08.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2873617$55425867-314F-4D6B-8AE9-D032E9446095","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93d17b30eabbfcc70dd1a4588fe0cdab0e2bb2b7","datavalue":{"value":{"text":"Formal specification generation from requirement documents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2873617$C17BC013-104A-41D8-AF98-A9B81C73BFF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1da5d4d125b4d037c00a68f198f0228026c3dc","datavalue":{"value":{"entity-type":"item","numeric-id":5423865,"id":"Q5423865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ff08c92111c9db05011da3b78afc62b0c433a6","datavalue":{"value":{"amount":"+0.7363876104354858","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":"Q2873617$3D48FC44-C7FF-453B-B94E-AC1283558F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71295641dbfb134c77d10d0093a7399656c6253a","datavalue":{"value":{"entity-type":"item","numeric-id":3113439,"id":"Q3113439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6daa1873e65e929290e7b7648913de27b150664b","datavalue":{"value":{"amount":"+0.7333212494850159","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":"Q2873617$0E62FEC1-AA8A-4E8F-84E0-7955A0952E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df1a2e3cf4bb057de719ca9895bacb14b9e0964","datavalue":{"value":{"entity-type":"item","numeric-id":2512041,"id":"Q2512041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975e3c4ae566b6f82759eab9d7e84f3159ede380","datavalue":{"value":{"amount":"+0.7271618247032166","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":"Q2873617$85A4E373-4378-4685-9EDA-A7172FFE4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59e854ede120029fcf5de237f0e64d4cce39103","datavalue":{"value":{"entity-type":"item","numeric-id":736788,"id":"Q736788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a94e0ab12a890d4d8f0f15169fe2fb8618a0e6b2","datavalue":{"value":{"amount":"+0.7265990972518921","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":"Q2873617$F84D8676-5A67-44CC-8FC2-C12A8DBDE996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cb200af1790f3527259dfe5ec47c40966d092a","datavalue":{"value":{"entity-type":"item","numeric-id":2783117,"id":"Q2783117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ec90096bf28c4ebed7da30d22d27a8287535fe","datavalue":{"value":{"amount":"+0.7259313464164734","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":"Q2873617$EAAD431E-29CF-4F42-A1B2-81CF20C1D22B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2873617","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2873617"}}}}}