{"entities":{"Q4417958":{"pageid":6447557,"ns":120,"title":"Item:Q4417958","lastrevid":48142468,"modified":"2026-01-03T18:42:57Z","type":"item","id":"Q4417958","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956608"}},"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":"Q4417958$F1F4C78E-115E-4E72-A099-A1FAF7AD611D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"67d54d9c35b1f7d94a8cc78ed5f83e33e6e5f790","datavalue":{"value":"1031.68509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417958$8408B67F-C308-475F-AB3C-61D1D48CE843","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7af86d9d98348c17f31796339ea54a33daf754c6","datavalue":{"value":{"entity-type":"item","numeric-id":4417956,"id":"Q4417956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417958$D448CE2B-AEAD-423B-B3F2-6C6A93EEA461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a0f166590dea6829470647831b23e4d899b8247","datavalue":{"value":{"entity-type":"item","numeric-id":1294042,"id":"Q1294042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417958$B04DE470-010F-49CC-AFCE-65B8DDF98E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eed9f3b0ea94c1bc981126ae36678c26ee613c3e","datavalue":{"value":{"entity-type":"item","numeric-id":1357666,"id":"Q1357666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417958$061D573C-55ED-4296-94E1-6F5267A9FB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9eaec1dfe3b7784c2a3961ae1aa3a8791a047eaf","datavalue":{"value":{"entity-type":"item","numeric-id":4417957,"id":"Q4417957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4417958$17667326-78A8-471F-95EC-3D4B32DF4633","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-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":"Q4417958$EFFBA3F0-6AB3-4396-8722-EBC6C5AD6D82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"071a233e03d0ac7809a3a54d7ee165a7115a8c57","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2619/26190569.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4417958$B8CD2B1B-36BE-4314-839B-A10888FE378C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417958$63F21047-FE51-4D74-A062-665098E5AFFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ce0de6e0c00b16a9038d2e723b17bc5a501ea3a","datavalue":{"value":"1956608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4417958$F33A61DF-FE5F-4359-AF2E-0F17BA7DDB17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa73e4649ddf80925facbe45510755681ac4ca98","datavalue":{"value":"Code-based test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417958$94A7D556-1DBA-423C-B153-7CF594C5B3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c26677da17dd8f4e0ac06e8422ef750c1866938b","datavalue":{"value":"functional hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417958$28A2BF93-9865-4C29-8761-3A9AF0456E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4ba5fec1d85760390036d518ca491670e65eed","datavalue":{"value":"constraint solving techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4417958$93D0A271-E68F-43FA-BDD4-62DE21008F26","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":"Q4417958$4AAD19DD-55D3-4DEF-A166-49A356C2E737","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f5314afb7035bd98feb6ae620be0513517d493a","datavalue":{"value":{"entity-type":"item","numeric-id":3365695,"id":"Q3365695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b692cea31f79a0ae84faa4c1e1a4e8cbb40ee99","datavalue":{"value":{"amount":"+0.8072571158409119","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":"Q4417958$586B2E28-3F3E-4187-AB36-1B906D5FE0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78b82d11efd0d112755327159061eec217e9cc26","datavalue":{"value":{"entity-type":"item","numeric-id":3321984,"id":"Q3321984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c83a714075374e0ddee562b388d70739e2125f2","datavalue":{"value":{"amount":"+0.7619816064834595","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":"Q4417958$7BC7B6F4-4BE1-4919-BE4C-2C8D2872BCCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d6e48894fddf14495667eaaffa79ff0eb030ef","datavalue":{"value":{"entity-type":"item","numeric-id":2506301,"id":"Q2506301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a253da53d7a6174676fa501ad4a972b2b100e05f","datavalue":{"value":{"amount":"+0.7425495982170105","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":"Q4417958$C2A2F398-736F-4D8F-8067-4ABF74E7C391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a5e560b755587359e2cde2463a83d35fa12735","datavalue":{"value":{"entity-type":"item","numeric-id":1956946,"id":"Q1956946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06087161bc5aa1e6bb3e42452c63e479b7655a75","datavalue":{"value":{"amount":"+0.7385192513465881","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":"Q4417958$A50B51DB-01D6-4D63-8E97-C305A0A40659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313e05c25cd7a3cb4f376bdc7ab320813775ada2","datavalue":{"value":{"entity-type":"item","numeric-id":1003017,"id":"Q1003017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b1a5f8a1e9daadd1f9ae88b3938d311c3f4ebd","datavalue":{"value":{"amount":"+0.7325573563575745","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":"Q4417958$7883C2D0-B1B2-4868-9CF5-6669757FBB74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4417958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4417958"}}}}}