{"entities":{"Q4028161":{"pageid":6057915,"ns":120,"title":"Item:Q4028161","lastrevid":55216453,"modified":"2026-02-04T22:27:15Z","type":"item","id":"Q4028161","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139824"}},"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":"Q4028161$A7ECA055-84CE-4C0B-A03E-02E983B83D66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"434d414f86c438604bc2f913dd70c73c9c483f88","datavalue":{"value":"0759.94023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028161$2450F5B2-41CF-4EA6-B932-A37AD1067BA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b655a82d89fc0c850e77c12740e47882cac182cb","datavalue":{"value":{"entity-type":"item","numeric-id":230064,"id":"Q230064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028161$23507E5B-FD13-4E60-B4CC-F5680E494F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbe8da938d9525b84746d35a859f4c82933b781","datavalue":{"value":{"entity-type":"item","numeric-id":230065,"id":"Q230065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028161$58479A4B-BC5B-40B3-A251-210E66949A8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4028161$7EC17D1D-7384-4CF9-944E-61997B4480C3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028161$1DA29B60-AEC8-417E-AFFC-FC641C7D73B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028161$6279D441-DF86-414E-AF4C-D44545A1C06E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01aecc5e235cf4c8a4ccb2206f530df97bf9e747","datavalue":{"value":"139824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028161$7BF7FD12-1826-491C-947A-90533915772D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0c9732e4098225f21735289966a7b869f6a79c","datavalue":{"value":"validation of circuit specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028161$625316E2-1195-45EB-ACDA-CFB92CC1FB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcafd2a775faec42c8f4af9e2e5da3fd6a91636","datavalue":{"value":"Timing Diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028161$55D472B8-A55C-4A11-9B78-63A19D97978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94e72cd18f1f1e5b94cabae2b51781d893c50d07","datavalue":{"value":"Kripke's structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028161$8FBE37DC-4A5F-4218-A7FC-14FAE923C62E","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":"Q4028161$F3313EF4-5587-43C2-AF2F-A1AADB013B22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ad5ce4a85ce95c1e9de253112de9b62eb31841","datavalue":{"value":{"entity-type":"item","numeric-id":1306169,"id":"Q1306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96f7229b51e9655eec1405401da9f8b61b9ee7f","datavalue":{"value":{"amount":"+0.9060609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$DAD0DA60-C61A-4A0B-8B9C-FB49A1C9FCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d90c07d2b9ad8835f63b82e6445dcd40569664","datavalue":{"value":{"entity-type":"item","numeric-id":4471910,"id":"Q4471910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210994c3e2fcc0db1b5c66b41d447fdcb1ff61c1","datavalue":{"value":{"amount":"+0.88429075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$890A8055-B926-4699-818D-0BD7BCF149E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb5e1acc3f076f7e9da39aca453cac8805ace8b","datavalue":{"value":{"entity-type":"item","numeric-id":2642985,"id":"Q2642985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089ecf8f6ce5b28e8d20a035daac6dba44261758","datavalue":{"value":{"amount":"+0.877821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$EF173C6A-2DAD-45C7-8DDD-8052AF724075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7f76f57843ebe47402f7c61fa45a70fb2e55657","datavalue":{"value":{"entity-type":"item","numeric-id":2863860,"id":"Q2863860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"089ecf8f6ce5b28e8d20a035daac6dba44261758","datavalue":{"value":{"amount":"+0.877821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$2FB33570-FD93-48F4-8038-B94B50C0F41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547dcf5ec541c5893837f1b0f5a2efc618b414ad","datavalue":{"value":{"entity-type":"item","numeric-id":5194655,"id":"Q5194655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4524c8273618da94eb2146707c690ba32891d6a3","datavalue":{"value":{"amount":"+0.87026924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$2C5CF7B6-D3AE-449A-991A-0699F0FDE96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd425e4387b1095379f49072ea3bd8ba5fda755f","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fb1b4b2b6ae1265c098d2b9e80ec97eb4968f73","datavalue":{"value":{"amount":"+0.8636403","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$E3065955-A527-4859-AE16-9AAEE8E35184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f46af02bd14fc6b857c58bc28dcb9d2dc3eb45bc","datavalue":{"value":{"entity-type":"item","numeric-id":4818802,"id":"Q4818802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d5fb12c8e450af0e8f35c4b11dcd5cc0409c44","datavalue":{"value":{"amount":"+0.8580513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$2CD43688-AEF5-410B-BBA3-6F951BB9F322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd94b9ea4f0229b6570229b07de99347ebf7eff","datavalue":{"value":{"amount":"+0.85528195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4028161$AC1A9F0A-6502-46BA-8683-C1294509C098","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028161"}}}}}