{"entities":{"Q4934627":{"pageid":6964209,"ns":120,"title":"Item:Q4934627","lastrevid":47433679,"modified":"2026-01-01T18:04:45Z","type":"item","id":"Q4934627","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1390338"}},"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":"Q4934627$B5430354-1C91-424A-AB11-9C9DFECC5CA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c3f9c505fbd09d40d1401c90002c4d74a247211","datavalue":{"value":"0948.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934627$E5C214FD-3EC4-4C5C-9D9C-12EBCB484F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f58cd250110bf59c28a29d5e30b88533180a96","datavalue":{"value":{"entity-type":"item","numeric-id":832299,"id":"Q832299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934627$C8200C2A-A2EA-4AF6-9C3C-554F86203D87","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdfb9c9db86c169ae17c07a115440c6fbeeb726b","datavalue":{"value":{"time":"+2000-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934627$3577DCFC-775C-4B63-86FB-ACAAA8F4C92A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934627$C8F6D045-DF99-4FA0-BBF2-FEE0D85C93E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934627$3474C7AA-BB8F-4803-A56A-325BC6A4EC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934627$AB89FD9D-418A-483A-B165-56C84215EDC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8302a805d56144ae8d970f11a6d6f8f6b47e40e9","datavalue":{"value":"1390338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934627$127E6460-229D-4046-8BA1-F4C07ABBB8B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$0CB1F1E5-C9FE-4270-A0C6-203813066647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd624c13555b9ad8802547c9dcd4f7ef3bbabee6","datavalue":{"value":"propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$306C4AB6-24A5-4729-B2A3-05313F88C32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"646171199c02e2275470e5d120ce50b21b80fa75","datavalue":{"value":"boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$1BDE4AEE-FBDF-4CB0-9CEE-FA624DB0A869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac52900f9c775a1c2e9b77521a060cf4681ca7f4","datavalue":{"value":"hardware verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$E27C1DE5-CE5D-45F1-99A0-3A8B5F7D586C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$A356A043-77C6-45D8-B545-44509C7A06C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$1A4F5EB0-2493-41F2-8936-CBB03C21A976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62874cb35c66f10ce536d5b14e836e65cec0f2b","datavalue":{"value":"sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$7C1D8A4A-CCEB-4F4F-9D6C-C66C293FC27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a675360bf71dd2a58c58e2058a338519d1e1414","datavalue":{"value":"logical circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$40841C0F-ABA5-4086-AB6B-47CFB687970F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934627$136E9D2E-E6F7-4DE3-8008-5CE0E4D28980","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":"Q4934627$1B159D46-067D-4B51-9D27-DD7E4439B7E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce67737928309119a68430e16d51b9628f737f31","datavalue":{"value":{"entity-type":"item","numeric-id":3176365,"id":"Q3176365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f72e084a48e9bacce174577625ec7df1d01fbb","datavalue":{"value":{"amount":"+0.9183472990989684","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":"Q4934627$121F42C6-1959-41A7-B353-C7B22DA47517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f91d82b3b005f76417b473bd775312b9cb6e079","datavalue":{"value":{"entity-type":"item","numeric-id":3081627,"id":"Q3081627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888d477331d433d6258dbe351a20e1163522c018","datavalue":{"value":{"amount":"+0.9071410298347472","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":"Q4934627$AD728097-102E-4AD0-B7A5-1EB708501455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3575f602a74a22d7bc9591eeca27f6d9f73f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4885896,"id":"Q4885896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c76744fc89ca1455ba9fc8b781801d1dc37f899","datavalue":{"value":{"amount":"+0.89395672082901","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":"Q4934627$A817095B-298B-4921-B79D-724338D8D585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22d4cde8cf626bcd748856e695edd6b05609d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1428568,"id":"Q1428568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575b67c0abe87ceeea59e118ccf5d7bf4ba203d4","datavalue":{"value":{"amount":"+0.8893430233001709","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":"Q4934627$F70DEFFF-D69F-4628-B0CF-605D02CB1B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a4146ee6cb79dbfc210b44af86f54ac7916e88d","datavalue":{"value":{"entity-type":"item","numeric-id":1606800,"id":"Q1606800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36bd18c1c8162e397805e30e622f5b86a5acd5e9","datavalue":{"value":{"amount":"+0.8795907497406006","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":"Q4934627$63D9E83C-9F32-448A-A0CE-4F95182BBE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934627","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934627"}}}}}