{"entities":{"Q4037372":{"pageid":6067090,"ns":120,"title":"Item:Q4037372","lastrevid":55250023,"modified":"2026-02-05T07:58:03Z","type":"item","id":"Q4037372","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177501"}},"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":"Q4037372$7F66646D-B14B-4AB3-86A1-22F498D84E2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fc62a55a2ec20a054e8b79a1c549ddd4affab314","datavalue":{"value":"0767.94023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037372$D1E76EAC-E8B5-416A-899B-E6A4316D9CA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037372$BB74E150-A111-4C07-B101-BF86FC0BA352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8805eb347b0d2233a80238b7549669d8e629fe79","datavalue":{"value":{"entity-type":"item","numeric-id":526774,"id":"Q526774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037372$25362435-799A-48D3-97A7-000B165463D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037372$2B74E9C6-21D6-453D-AC8A-9007983CBAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037372$81AEC834-E296-48F3-9921-7ECA94C4529F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037372$94660506-B9F0-4423-B2F9-D7AFB5513756","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f7fe1b59484e5c46563cb920891f130f576a844","datavalue":{"value":"177501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037372$CF0B000E-BD01-443F-922F-1582FF511CB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6b8cd161bca9d71539b6cf7d5ad954377268099","datavalue":{"value":"ternary system modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037372$C8F8115B-EA8B-425D-A868-DF602714FDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e62874cb35c66f10ce536d5b14e836e65cec0f2b","datavalue":{"value":"sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037372$1CD710AC-FA33-4AE6-9A13-2076CA796A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ef40e76ecdb3b74894e8ed36f01b2d97384b88d","datavalue":{"value":"verifying synchronous digital circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037372$43A6E3DE-3604-48F0-9B87-216722C57945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1771e2732ea75e29a8af410cc61be0a631a9da","datavalue":{"value":"Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037372$413A3C2A-ABFA-4EC1-9D0D-C39684FA2B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4673a076297e54c20f2c34984d6dabdf07e159b","datavalue":{"value":"temporal logic operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037372$E389C0BA-CA89-4CC2-8216-05B598DB1529","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":"Q4037372$9759A9FD-53CC-4AFF-9635-F9BCF9EF1D70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aca5cc289be4a8a1a484d5edcdbaeb09301b7f64","datavalue":{"value":{"entity-type":"item","numeric-id":4302838,"id":"Q4302838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7997658b8c4f7d74fceab2201a27c19b6a1190f4","datavalue":{"value":{"amount":"+0.6745265126228333","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":"Q4037372$2861F633-47F8-4623-B098-CDC2E51D08BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f994b942e75db841c3762a6a2fdb588cf8f5bf","datavalue":{"value":{"entity-type":"item","numeric-id":3510788,"id":"Q3510788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e38f44a351bd1edede38f390b30dc4e136132c4","datavalue":{"value":{"amount":"+0.6676563024520874","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":"Q4037372$BC799754-DC60-47D9-9525-FDFC02D56D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"835ca84de58f7f03bf62ea52fdf2ba1a26d9a792","datavalue":{"value":{"entity-type":"item","numeric-id":3753931,"id":"Q3753931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93677cdaffa8945b0ccdfbbf19ba18903d364ea","datavalue":{"value":{"amount":"+0.6676420569419861","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":"Q4037372$832C2669-6765-4A61-8D0A-3AE25A2E67B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c89c78e295e4715d97af8a321cd27bd1e33ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5493245,"id":"Q5493245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b23e6367e63e1c06c3d863023516c943f79749","datavalue":{"value":{"amount":"+0.6453654170036316","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":"Q4037372$34066AA2-2454-441E-8700-3D0CE3678633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2c64ccd62c5b7d5be36bad70e40e75676affc5","datavalue":{"value":{"entity-type":"item","numeric-id":3840902,"id":"Q3840902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b64f3dc6c7bb9d9de8758fea38278f75436689","datavalue":{"value":{"amount":"+0.6317121982574463","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":"Q4037372$00BC8590-2366-4ADA-A3B1-72C59CCED29D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037372"}}}}}