{"entities":{"Q557426":{"pageid":559193,"ns":120,"title":"Item:Q557426","lastrevid":62727147,"modified":"2026-04-11T08:02:49Z","type":"item","id":"Q557426","labels":{"en":{"language":"en","value":"Verification of software requirements on program systems represented by attribute transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2183736"}},"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":"Q557426$58B96AB8-D617-4D60-87E9-1C8A90C71A1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffe55642c0fc7b5cb43ee16d02b1397335e2c7ae","datavalue":{"value":{"text":"Verification of software requirements on program systems represented by attribute transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q557426$CE4C59CE-3EFA-445F-82CF-DF08ECB5D0AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41c59247a78f7da1705b9479cb2fad501371d2dd","datavalue":{"value":"1097.68539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$D9E27B38-F200-446D-BA33-074A712D1D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1374e95306f55be17b4f7ec07c87a27d9e11cf86","datavalue":{"value":"10.1023/B:CASA.0000020220.16822.36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$F2C86DA9-A2F4-4898-B71A-98C1EF0BBA96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9153f57b49379c8f42a6fee983336120467fb8fa","datavalue":{"value":{"entity-type":"item","numeric-id":551798,"id":"Q551798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557426$90C439AD-7554-4DEE-ACFE-1D15B1396D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557426$857FF7BD-1BD3-4C9F-AB30-E7753E1DBAC7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q557426$9AA2DD31-6370-4498-853A-7C6CC3458270","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3be35b99bc40d25914143aa31268a19fcdde1b9d","datavalue":{"value":{"time":"+2005-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q557426$0C3FC007-CB8E-4854-AD9A-99425AB53438","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$AF8F6794-437B-481F-942E-C831E4EF86F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$373BF36B-9A7F-4D0B-B139-86D215C9E648","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2628caf15f114a0825a25322f3986effd32a0092","datavalue":{"value":"2183736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$0F16CF85-1A31-467F-B35A-5E11156B201B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19784b89909ddcc346b4edeccdad558e98328bba","datavalue":{"value":"consistency of requirements on programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q557426$B7426EA6-2E00-4EAC-8F43-AD9964D0381A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q557426$5387C976-8D03-4387-B5B6-5283D5BE8FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a39411cc62ce78ebd41da7eb9d170a39ae6dbba3","datavalue":{"value":"prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q557426$CA6C875D-127B-4F76-9D48-C6AA3A8AF984","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":"Q557426$DAEE4845-BB3F-47C1-854C-EAFA3DF55DAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3d0de0e090ffba11fe3e44fffcf32483b93ae9b","datavalue":{"value":"https://doi.org/10.1023/b:casa.0000020220.16822.36","type":"string"},"datatype":"url"},"type":"statement","id":"Q557426$68C4E56A-E889-405F-8C1D-DB0F1BBA17A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f7d338e81aa651758293e7ed4fdc3545ead2c40b","datavalue":{"value":"W2054875673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q557426$018ADE13-394D-4D6A-88AE-B5A9181FBA54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b783b5cd12750cac0d018cb5c66f897574fca0","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed59216f96140c5c08706304d55b9720456910d1","datavalue":{"value":{"amount":"+0.7799084782600403","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":"Q557426$0F19FB95-D925-4A15-B304-91588A42D644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d23bb3a37ca2a12a3bcd367720640c4dcc3a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":466416,"id":"Q466416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5b2d546ae6f5fae0341054160886ebf6bd07e8","datavalue":{"value":{"amount":"+0.7585951685905457","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":"Q557426$24CFAEF6-2D11-4A8F-B4BF-1C009DC39804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0415d9d97ae1d062a3637b77cbd9071803abbdeb","datavalue":{"value":{"entity-type":"item","numeric-id":4472239,"id":"Q4472239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9acfa8afc2daf24dff9d003dca04653190e823d","datavalue":{"value":{"amount":"+0.7424190044403076","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":"Q557426$EC56251B-E5E2-45B4-B923-5C221FA79F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cd93907c68a7369959ec6776c513eab5aea4c05","datavalue":{"value":{"amount":"+0.7422881722450256","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":"Q557426$52D51E44-5B70-4EC6-B5C2-93D56620A233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a34ba54a75409a2902c04421224b5f6bd7ce386c","datavalue":{"value":{"entity-type":"item","numeric-id":466002,"id":"Q466002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a011d54a3bf9dd53a2f59386284cc25c6ecc4ae6","datavalue":{"value":{"amount":"+0.74043208360672","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":"Q557426$D6E8CD8C-8ACA-4D9B-8A55-CDF5C51DDE90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of software requirements on program systems represented by attribute transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_software_requirements_on_program_systems_represented_by_attribute_transition_systems"}}}}}