{"entities":{"Q1395643":{"pageid":1406383,"ns":120,"title":"Item:Q1395643","lastrevid":70325793,"modified":"2026-04-13T14:01:19Z","type":"item","id":"Q1395643","labels":{"en":{"language":"en","value":"Debugging hardware designs using a value-based model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1944870"}},"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":"Q1395643$BBB6A221-2F6A-4F88-94E2-B73B2EF06090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af07fcf49ccdd54580cbc29331991bbcdd9a344","datavalue":{"value":{"text":"Debugging hardware designs using a value-based model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1395643$E36986DD-89F1-4C0F-AA40-97B01D0BF42D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b64151fe0f49dffe4503304a14a7a1e0afc1e21","datavalue":{"value":"1057.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$61453215-1569-4233-8DC4-DECAA97BA6B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfab6fe20e6991150fb989fbe5c7f6e6736ab076","datavalue":{"value":"10.1023/A:1012821511498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$24B4652B-D132-4FAE-8B3B-2AAB561F57E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac83ec19e055e4bbd5c67e8bde25158116b7be9","datavalue":{"value":{"entity-type":"item","numeric-id":236278,"id":"Q236278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395643$04CD4092-2223-4028-97C2-6C04499677EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40d0f0558c548372063f2deed9c3bc98f28c94b1","datavalue":{"value":{"entity-type":"item","numeric-id":136413,"id":"Q136413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1395643$839B50A0-1968-4FF4-A8F9-4F9D09EE51E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a64159b588e3459a5fca46f6d5073d79064c685","datavalue":{"value":{"time":"+2003-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1395643$909C6D6D-D65A-485A-A4B9-D64359DE19A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$948843B9-5CE1-4916-B888-2341082D4AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$9EDD0E02-97FB-47FA-BA38-841D6CE26551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa51818b6c2c3dc9bb6b7d7131e1048feae1d18c","datavalue":{"value":"1944870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$26B6E647-1273-4DAD-A0AB-F1C30793CDCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96e9d3e219ec7820689f2f15282878c73f989ab","datavalue":{"value":"model-based reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395643$541164F1-2236-472A-A5BC-15BF01A8B09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c47a755cf9051c55c753b13f860976b56b2b200","datavalue":{"value":"software debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395643$FD6B6316-8753-4E1B-B2AE-4E18AB0F2BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b271261f2a88742c06a4514c50c635a4751099","datavalue":{"value":"debugging of hardware designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1395643$E0D6A60D-3A31-4617-AAB1-901C30F80F5D","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":"Q1395643$987E32EF-F44C-4E89-A321-458E0B03A278","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ffd8cb2bff6f43a213ec4bb526b9da6ac3961c7","datavalue":{"value":"https://doi.org/10.1023/a:1012821511498","type":"string"},"datatype":"url"},"type":"statement","id":"Q1395643$83706E16-B7E4-4857-8F72-9DE3093963F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d49b75c7b835d07d1b8bacc172c0b0d8b7d7ee99","datavalue":{"value":"W1500807015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1395643$5063C3F9-C5AC-48C7-89AC-3B2418C9A404","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0dadf05c732a37b67b8fac3bf2d8f3de370c922","datavalue":{"value":{"entity-type":"item","numeric-id":1606301,"id":"Q1606301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a91924890694b354aa33f4c2114fc4820904807","datavalue":{"value":{"amount":"+0.9060210585594176","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":"Q1395643$0D469643-5B13-4B5F-BD4A-BE15C101BA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3780d4d029198d86f80a4299b5d7c35a6861656","datavalue":{"value":{"entity-type":"item","numeric-id":1768500,"id":"Q1768500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8f5c442a7b6f24bab530e076c2abd8d17a2711","datavalue":{"value":{"amount":"+0.9052292108535768","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":"Q1395643$D43368A5-B1E4-494C-B5EA-171C2AF384BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a3f332d37beefd90c70eb507f18552b5ec2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4450892,"id":"Q4450892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05d5cf45df78264a3b42da48a10789bcfde7004","datavalue":{"value":{"amount":"+0.8516572117805481","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":"Q1395643$0CAA4262-B983-4D85-BBAA-C5BE2AEAB674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57c0c21b7189db173d73623b8456ff658261da6","datavalue":{"value":{"entity-type":"item","numeric-id":2772512,"id":"Q2772512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62efe44263a7eb577e0d7862c4fef14c76b00a9a","datavalue":{"value":{"amount":"+0.8251479864120483","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":"Q1395643$1547FAF9-35A1-4463-B56F-AA750E347AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"063a7088d99d978c67fe89798b31c5f63d87cee9","datavalue":{"value":{"entity-type":"item","numeric-id":3379151,"id":"Q3379151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9544572d1e962422a81899f158a7352126a748","datavalue":{"value":{"amount":"+0.8017787337303162","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":"Q1395643$BF076219-80B9-4A93-BA12-5E7DBA7676B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Debugging hardware designs using a value-based model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Debugging_hardware_designs_using_a_value-based_model"}}}}}