{"entities":{"Q927452":{"pageid":929300,"ns":120,"title":"Item:Q927452","lastrevid":65403768,"modified":"2026-04-12T02:21:24Z","type":"item","id":"Q927452","labels":{"en":{"language":"en","value":"The use of contract specifications for representing requirements and for functional testing of hardware models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5285478"}},"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":"Q927452$81272AA8-9C82-4B9F-A4E0-D3DD7323F993","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e6e2dee4ee1002b4640afff8ea687c15b6e90b6","datavalue":{"value":{"text":"The use of contract specifications for representing requirements and for functional testing of hardware models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q927452$B1C83FE0-3C44-4DCF-9976-14A2A574BBD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"239062b9e8558f254141bf3348534587b3fdb503","datavalue":{"value":"1154.68442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$C41605B7-0AA6-41B1-A350-B64286D45D96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fac6831747b3414cab23790128266f50c61bd7f3","datavalue":{"value":"10.1134/S0361768807050039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$D0B28284-55EE-409A-843D-9D3487F22C54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48953cf5fbe9b168bfc34207c8cb07b684da2f48","datavalue":{"value":{"entity-type":"item","numeric-id":174283,"id":"Q174283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$CF495317-6894-4649-A5D4-FFA5E132F82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c2e4efe8f0520aa0b89f4bbdc29f1609cbdd93f","datavalue":{"value":{"entity-type":"item","numeric-id":300374,"id":"Q300374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$6BC4DDE4-F15D-4ABD-91B6-1DB73E29CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90720f3e02ab24762a70f23f97ba9762effbedfb","datavalue":{"value":{"entity-type":"item","numeric-id":763528,"id":"Q763528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$56AFA68F-C38F-4024-B15E-D5FDD8009595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5538d0c324125a3dfe4622cf09787075f4e5a8b5","datavalue":{"value":{"entity-type":"item","numeric-id":763561,"id":"Q763561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$134EF6E9-EE6C-45F6-B403-9D4BFE67EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7384e3b1fc316ed872545979f3229921fcf4863c","datavalue":{"value":{"entity-type":"item","numeric-id":927451,"id":"Q927451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$89E5B1A2-35E6-4069-AF3E-CC74F848097D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$38F08B70-EEE9-448D-861E-41B7A1E1B3A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b40c1fb6fb86126601bc66a29a8d163d5cbd35","datavalue":{"value":{"time":"+2008-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q927452$C4EF11CB-AC8D-4063-8404-C7C7E1CB5162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$9B5DA123-917A-4926-80AA-159EB2135A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$85146069-4CDB-4A41-8DB8-5626403294F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e41c6fa97f70540976cd965c4743de1eaa562d","datavalue":{"value":"5285478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$65950447-3CC0-4F4D-A29B-37F6E3F546A9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"069f3e228363cc46559bba97333e7f3d64a8ff73","datavalue":{"value":"Q62038629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$641C8CD8-E9C5-4D55-80E4-BF1F234AF1F8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5f2fc6b1cac5942479e34eee08b7ed6cdecf60e4","datavalue":{"value":{"entity-type":"item","numeric-id":18658,"id":"Q18658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$6C52BBCB-A6BD-477C-B3B9-C11D55A2BFAA","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":"Q927452$DB10CBB1-E487-40FC-94E4-A00B4E92FD6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c473e6e7374694dbdf024be6418fbc5c32866eb","datavalue":{"value":{"entity-type":"item","numeric-id":4808823,"id":"Q4808823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$133ABF40-864B-4637-B55F-FE7ABC1C8C7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$A04CF093-537D-46CA-A62B-CA24F3DEAC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e30b87f6e3f7618cfea7524c097e8adbdcbcd4","datavalue":{"value":{"entity-type":"item","numeric-id":4551164,"id":"Q4551164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q927452$37678628-7158-44F4-A2EE-986D5EADDC2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc6fe8c352580d5c8f44cbe19980cf256244cfbf","datavalue":{"value":"https://doi.org/10.1134/s0361768807050039","type":"string"},"datatype":"url"},"type":"statement","id":"Q927452$AD987C96-471A-44CC-A10C-C4E199932D19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19b296762bb721e9f42b01a844257c3eecceac34","datavalue":{"value":"W2022219508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q927452$6D2E03C1-D4F6-4957-BE60-AA68B54B13F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7e37a0137df4dd13b41dcaa26526d599eebd25","datavalue":{"value":{"entity-type":"item","numeric-id":4039486,"id":"Q4039486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2041b254ff8c4dfac1237a70fcb484e8a6ba07eb","datavalue":{"value":{"amount":"+0.6787518262863159","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":"Q927452$1CEF257F-31BD-4101-9223-60A537098BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3346f743f9811cf40f2039c6f7f8cb9c2512dfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4413952,"id":"Q4413952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6877f8bbe5d70b48d0c05bc566277b1a602f10e3","datavalue":{"value":{"amount":"+0.6708155274391174","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":"Q927452$6C53237A-3C27-4472-A08A-733CF1CB68B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd61f6c0d247c4a95c9f0f9012a25e3d00880cd","datavalue":{"value":{"entity-type":"item","numeric-id":2769718,"id":"Q2769718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f09dc532dc9c71032530d375e5f380b90f0aa2ec","datavalue":{"value":{"amount":"+0.6558234095573425","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":"Q927452$5FEA9BB7-0C94-4E6A-9F66-54B12B1BCA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc000ee24b325f01dec0f4b2a1fa6154b4836893","datavalue":{"value":{"entity-type":"item","numeric-id":2369884,"id":"Q2369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41c3e89b305100bf90adc82190d0a1af158083ba","datavalue":{"value":{"amount":"+0.6552097201347351","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":"Q927452$1EFF10B2-8EEA-4CCA-BE1C-EC55628C3DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"452919e7c11cc18908b416f41f08f9e2ec5d32fd","datavalue":{"value":{"entity-type":"item","numeric-id":5900546,"id":"Q5900546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4522a2647f2fb205614d7ddd1e9b9513fd05dee","datavalue":{"value":{"amount":"+0.6543379426002502","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":"Q927452$87DEBDA5-81D6-4DF2-9B6D-C2B62FF7C6C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The use of contract specifications for representing requirements and for functional testing of hardware models","badges":[]}}}}}