{"entities":{"Q4945213":{"pageid":6974795,"ns":120,"title":"Item:Q4945213","lastrevid":47471383,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945213","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424023"}},"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":"Q4945213$B0792C97-982D-4CA7-B19D-2D8508182945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a41d54d829ba25dc3945505b5f1bfdaaf4539a4e","datavalue":{"value":"0969.94503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945213$4C6FB311-04DE-43BD-83C3-126692970755","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9de0d28a864c754ecb9e938c434f97c28905da9","datavalue":{"value":{"entity-type":"item","numeric-id":878107,"id":"Q878107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945213$A7DE58B1-7826-41AF-9A7D-84A10C5A11D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce792b25e15f1bce917858cdd415f611cd1a183","datavalue":{"value":{"entity-type":"item","numeric-id":878108,"id":"Q878108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945213$6FD98A92-FB77-4937-8960-B1A977617EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945213$CD652DC0-9A11-49AF-99B0-B2B65B1D51A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35fafbbe8209085733f3754bac7d6ba0f1c137cb","datavalue":{"value":{"time":"+2000-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4945213$14AD05E4-EE0B-415D-B68E-11427E04A711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945213$7A15491D-615B-482F-AAD8-302C411E2AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945213$AFD94D12-EF6B-4F78-B044-9B9981FD658A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d6dda797b5542cc3994a5cfa74a39ef132c992a","datavalue":{"value":"1424023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945213$D947C7CC-996D-4C86-8AB9-FF255E84440E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f805b7faea11905894680953dd9b9dfc3dd4258","datavalue":{"value":"quantified Boolean formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$8B02DDFC-0911-4FDF-AF52-B05431BBD4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329f39084648ae89d62162d262e5a2af98043509","datavalue":{"value":"combined verification of logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$A00EFDE3-7E44-4CA3-81F2-1071E1235D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62874cb35c66f10ce536d5b14e836e65cec0f2b","datavalue":{"value":"sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$D447A6CE-C234-45E6-8DA1-6DFF86BE8D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aba3bd2194c55f133d4ad4deeb19fbf8bd064e22","datavalue":{"value":"sequential verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$F72BE65F-7183-4CFF-8D52-E4EC657AB909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb74d0fc6a70c564084490f9500fe82d2d0ee61","datavalue":{"value":"multiway decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$D49A5E83-4948-4957-8D9A-1D1926D191C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc5f58900f6c2c3534ca7b6a0d78eb344b8b770","datavalue":{"value":"theorem proving systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$2CF7BEF8-E2F2-4A9E-8AFE-8C668845A8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44c02311297414267cf5fb02fbf52c378886302","datavalue":{"value":"automatic finite state machine based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$D00A8037-55EC-42EE-80FF-6C04509F4503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5343ecd15a8e87cb138c7d9e4c8f0d52a5afdb65","datavalue":{"value":"HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$F5949037-2C10-4F4C-90BB-A3C472681869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec828e278a1a1640c0f68f75a08eb4b57b4fb70","datavalue":{"value":"MDG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$B049261D-D3A6-4FE5-AEE5-86CE5EB80450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cd258fb18d3ce1a190528ea33a032c474d555cd","datavalue":{"value":"hardware verification proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945213$DE0D767B-930B-4BEE-83AE-25A22136EA0C","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":"Q4945213$18590572-0659-4321-B9E3-3699B4028879","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35dd51c472d0bde765bd21073a0ac391a09fbcda","datavalue":{"value":{"entity-type":"item","numeric-id":4737561,"id":"Q4737561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"747dcd53b677f7a9a008ae287a830b9e24cde2ae","datavalue":{"value":{"amount":"+0.8492746353149414","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":"Q4945213$361AC904-418D-489A-A5B2-E1501FDB829C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320e0547a7166f4c65aa0b6d27f89f2e62a27a87","datavalue":{"value":{"entity-type":"item","numeric-id":4787234,"id":"Q4787234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a29f7b31c035e92a2c262fd79e5b3ab5bf4466","datavalue":{"value":{"amount":"+0.7988845705986023","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":"Q4945213$461748A0-DEE3-4A69-BE90-CCAECEC0E688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070010e4b7fdaf71499ef128c78bf20cc7c7c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":878110,"id":"Q878110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b088cfdbbc35be594beca9aebc9a5e80fee7ecde","datavalue":{"value":{"amount":"+0.7727288007736206","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":"Q4945213$20B3C628-28DE-4E3D-833F-A8FE9044E6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa4b589224a32084bf323fd2c2de3b31d0edd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5394196,"id":"Q5394196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b811cc364ba42a2ff5d0db7d9226009daf0927c","datavalue":{"value":{"amount":"+0.7555524706840515","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":"Q4945213$864E33A9-CB7E-4561-8D2B-7DF06526DE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065838285f7852fa1010916b457890c2f6443519","datavalue":{"value":{"entity-type":"item","numeric-id":4948730,"id":"Q4948730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8131e16d742d2792e57baf17f2ce4dfecbbc2568","datavalue":{"value":{"amount":"+0.7480674386024475","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":"Q4945213$6B60692F-9786-45ED-AF56-7BB4DECAD159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945213","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945213"}}}}}