{"entities":{"Q757030":{"pageid":758879,"ns":120,"title":"Item:Q757030","lastrevid":49476769,"modified":"2026-01-07T05:35:29Z","type":"item","id":"Q757030","labels":{"en":{"language":"en","value":"Design verification of digital systems based on logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193100"}},"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":"Q757030$543ED97D-643A-41C6-A256-C0D77D3E943A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9aa12152c8bfa1d03d4e03aa472a30578c8eb119","datavalue":{"value":{"text":"Design verification of digital systems based on logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q757030$01A5D9DF-2AE1-4BF2-B018-7DE68D7B279C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d6be819a0281920512a3cbb335fd0a08d0a27022","datavalue":{"value":"0723.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$7B0D8C8E-C679-4AD0-B542-4805727C204F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a44c88c276375448510799fa6ba02ac7e151eae","datavalue":{"value":"10.1016/0045-7906(90)90018-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$9D44B696-B9F1-44BE-8BCF-C36D01A16B8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a8c9c405fe415d61c5cf742b1f2dc5cd3f96eb8","datavalue":{"value":{"entity-type":"item","numeric-id":757028,"id":"Q757028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757030$5598EA2D-F89B-42BE-ADB9-8231F1B17374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd4080e737628126941ae37a75a24199052497e","datavalue":{"value":{"entity-type":"item","numeric-id":757029,"id":"Q757029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757030$BD833DB4-6AF4-42C5-9ECD-76C65AA7D2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d0c7aad96454ebf15855bff247eced4d8759b694","datavalue":{"value":{"entity-type":"item","numeric-id":209796,"id":"Q209796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q757030$5775FBA7-43C9-4617-953E-EA454866531D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q757030$24B545F1-7EB1-459C-811A-16F894928BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$A671CB44-CC17-4172-B665-B29C5E2377D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$745659A5-20B3-4285-BC0B-538538FC65CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$ACE88F30-6271-4316-833A-E0915B8F252C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa3c0c59178f3276c1ffc1598babea949c9ab66","datavalue":{"value":"4193100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$A5036819-B6A7-4964-8467-2CD0A6947782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q757030$5A986AF6-CD1D-4E5B-BF4B-7CF91931FF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f68ba70bea096726d808a2c713148ba336d7330f","datavalue":{"value":"verification process","type":"string"},"datatype":"string"},"type":"statement","id":"Q757030$E93C7516-50F1-461A-9A96-06DC3DC040BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86bdf9a4471cf634bb03f3944f3dba3684d2ead4","datavalue":{"value":"hardware description tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q757030$4AB5BD23-6241-4ADE-AD75-028B9D4933EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"864b1a0a6391f501eff59150e083c5d7a050126a","datavalue":{"value":"applications of software techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q757030$B7A32648-2CBE-4091-AC0B-EF56B950B15C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df6d973f00bf6f0fa299d835dfffb13f97397d0","datavalue":{"value":"application of AI concepts","type":"string"},"datatype":"string"},"type":"statement","id":"Q757030$D2AC81A9-B604-4444-B4BB-7B8A0FC52257","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":"Q757030$4263A69B-C15D-409B-BDC6-9A099EF2ADB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a29422a96e0fbc2eacf6734a11194a09af148e63","datavalue":{"value":"https://doi.org/10.1016/0045-7906(90)90018-b","type":"string"},"datatype":"url"},"type":"statement","id":"Q757030$309596F9-C13D-4669-8AF7-AC4B50426BDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9401856da505b43d4806bacf4a0a1b5d23a4ea33","datavalue":{"value":"W2080239144","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q757030$87A9B057-0C95-4672-9EC2-70938AFA64A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b128bf005e9fe5b38d08fbdbc55e38d3868aa0","datavalue":{"value":{"entity-type":"item","numeric-id":3128638,"id":"Q3128638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"980af7f085cb4abf40001591cb09bb533149ebca","datavalue":{"value":{"amount":"+0.7704159617424011","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":"Q757030$AF72C766-53EC-4AF8-8856-A4FEA0764047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0874a569f3d5ed48b5ad7817f528e8c675476423","datavalue":{"value":{"entity-type":"item","numeric-id":3754570,"id":"Q3754570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f50f01f8823f030185b83eedd6ff2eaef8df2f7","datavalue":{"value":{"amount":"+0.7689061760902405","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":"Q757030$5BF5D1AD-689B-4718-B255-09E98EED9B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ee4a4b381e7a20011d71ed0657632438dfb8a7","datavalue":{"value":{"amount":"+0.7672582268714905","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":"Q757030$782A3D60-7D80-4E19-9E2F-1336748A4F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b38d041c7dfb50baa22a1aa118ce0d93932c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3725520,"id":"Q3725520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e2df817683d0d97b7aa2263cf0ff10ccf5ff78","datavalue":{"value":{"amount":"+0.7584197521209717","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":"Q757030$C6503DEC-F518-4030-B26B-221C9DA3B5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5328e66e7a92ade0c9e893bfba8e7bf89534a01d","datavalue":{"value":{"entity-type":"item","numeric-id":4407365,"id":"Q4407365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce5a6c62e4ddf8cdec18f911cf2196899d6fc48","datavalue":{"value":{"amount":"+0.7546461820602417","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":"Q757030$3D845F2C-D163-4E2B-8B59-2D988CFE96CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:757030","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:757030"}}}}}