{"entities":{"Q3535367":{"pageid":5565271,"ns":120,"title":"Item:Q3535367","lastrevid":80678852,"modified":"2026-05-06T16:45:10Z","type":"item","id":"Q3535367","labels":{"en":{"language":"en","value":"Data Flow Analysis and Testing of Abstract State Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5364553"}},"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":"Q3535367$2E5C7D6C-97EC-47E2-8800-7F9070E75B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04945bf63b03ee044a331275e4e6e3459c7c7d45","datavalue":{"value":{"text":"Data Flow Analysis and Testing of Abstract State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3535367$B123C48D-E776-45DE-82A2-9129DB6E82BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55236353f7218c7c1fe60fa54f612e79dab87d32","datavalue":{"value":"1156.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535367$E49E5B71-2890-44B1-97FD-5C512D657328","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af20d79c1ff6618b593ef80c8010231ba8500886","datavalue":{"value":"10.1007/978-3-540-87603-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535367$D416523C-F971-4642-9938-23A93518A3C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d0e99c5ae23f23f039ccedc50aae3eae04cc6b7","datavalue":{"value":{"entity-type":"item","numeric-id":539228,"id":"Q539228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$FFA1CA60-5D30-496A-ACB4-E151143199B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$BE67E7DE-516C-4F2C-B0EA-A416C7BF15CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7342eb678781e6dbbf20bef84e4f5955e6d62e0","datavalue":{"value":{"time":"+2008-11-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":"Q3535367$F818A55F-DEA5-45BE-AC2B-1DCF6F14EEB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535367$4FB92B62-1386-4F61-91B4-DD5BD6858994","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccae2aeccff99687f78c27922bb33de7545b9fb2","datavalue":{"value":"5364553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535367$EA2487DB-4B99-47E2-878E-6D5401851C7C","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":"Q3535367$F3E2208B-B7B5-42BD-8C43-BDA6683B4715","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66ef0f50aa09fecfe79a5195ba668cc78a3e1d61","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87603-8_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3535367$625BDA91-D47F-4508-AE3C-14B171CF13F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"133d7d00c7e6cbee53988daba87c3c8dfb742304","datavalue":{"value":"W1947116746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3535367$556FABCC-EFB1-4527-BDA4-B16DC39BA621","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d18cf84bd49d4a3b35fa5f91415e3b2e495c135e","datavalue":{"value":{"entity-type":"item","numeric-id":4429922,"id":"Q4429922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$8C483A03-8DD9-4738-A602-EB5C2AFE0F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5559705c88300f025db4dd7bf1a2b94eeebea8","datavalue":{"value":{"entity-type":"item","numeric-id":2769619,"id":"Q2769619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$FDA6F6DD-2490-47EF-A5B8-C3B90D9778F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b51ce64dda5bb204d604f1268090f127995ab8b","datavalue":{"value":{"entity-type":"item","numeric-id":4518903,"id":"Q4518903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$58AFA9B4-AAFA-4501-B24D-536D7AAD73D4","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":"Q3535367$BEF17947-A417-4768-8BC2-40BA05AE3AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b80bc1adbfcee8c7e19b8c31b6b669206c18429f","datavalue":{"value":{"entity-type":"item","numeric-id":1856165,"id":"Q1856165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$8008CD37-E98C-4CB9-8E60-40B3744E4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97dabd95b25194c784d1cce48dd1c4cc7c106863","datavalue":{"value":{"entity-type":"item","numeric-id":5294158,"id":"Q5294158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$77E96B18-14E1-42D0-A064-AD906F7FC401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95fd8e9c9fa22228ed8be345f99ad6066f7e4cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4413684,"id":"Q4413684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$90B651F1-21F8-481D-ADCA-834537E286ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85028bb9eab549770d20e18f04f7673206812e02","datavalue":{"value":{"entity-type":"item","numeric-id":4857382,"id":"Q4857382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$05751326-17F4-4BF5-A1ED-12A3F2D06D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a024a65482721ef050e8ce052e9a36841c5d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4817537,"id":"Q4817537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$6EAF48DE-FBBE-4F06-9D1F-42F46D82EF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd1e92267de1715bf4044f2d23a45c75f64bd36","datavalue":{"value":{"entity-type":"item","numeric-id":4747499,"id":"Q4747499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$7922D6CA-32EF-43F6-8DF7-CFD6DC2DB0C0","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":"Q3535367$5A139B87-8560-43C5-94DB-643A1445EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42ecb85c94b19b2880819717f39b6953f7b4481","datavalue":{"value":{"entity-type":"item","numeric-id":5901602,"id":"Q5901602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$D2782CA4-0439-4C3A-9D2D-2DAD19141622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d59aa86de090db8fe9ae6a1bc6dec12dd6c11eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5184381,"id":"Q5184381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$9EBF45BE-2B27-4E7E-AD95-6FB9A12943DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8813aec94016931f4fbb5715699636e21b812945","datavalue":{"value":{"entity-type":"item","numeric-id":4520500,"id":"Q4520500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3535367$248CAD26-092E-4C2C-8819-C6B9C314C221","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67076ae3fd0c13f916f9d20db18809fc78456fd5","datavalue":{"value":{"entity-type":"item","numeric-id":539229,"id":"Q539229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6984d66ed84700e634ddc193e18e65e0a01fe104","datavalue":{"value":{"amount":"+0.901381492614746","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":"Q3535367$6FB34A23-95DB-4A20-9D0E-3C12880F2F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ac12ce08a2bd24f304321baacc22fa885dbb0","datavalue":{"value":{"entity-type":"item","numeric-id":5423870,"id":"Q5423870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4d64914ddbaab90a6180e7230fbff232a0ea18","datavalue":{"value":{"amount":"+0.7865159511566162","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":"Q3535367$57E570E6-839D-4EB4-8554-5D2186160D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8448f44b21634089a4a37cc34f62cbbc090bfef","datavalue":{"value":{"entity-type":"item","numeric-id":4413699,"id":"Q4413699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d77c1064d3b243351a4e357332be46fb7513d4","datavalue":{"value":{"amount":"+0.7711818218231201","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":"Q3535367$E9497A03-9814-4196-A08E-7A4E25C840D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eea83c1865d421d14ff05a902d6c5804528fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3557669,"id":"Q3557669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38b20eaa066aea8a9aa7219a0eddc5b64911540","datavalue":{"value":{"amount":"+0.7595568299293518","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":"Q3535367$8D126035-4262-4424-962A-BEB04A7F5AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254159d451d4bbd4ae5bfdfeb72b1fdc483193af","datavalue":{"value":{"entity-type":"item","numeric-id":4520500,"id":"Q4520500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b4861431629a33a04813351c089c7403f4d359e","datavalue":{"value":{"amount":"+0.7545799612998962","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":"Q3535367$002D37F4-EEB2-41FE-920A-B932C4F156A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Data Flow Analysis and Testing of Abstract State Machines","badges":[]}}}}}