{"entities":{"Q3426787":{"pageid":3437490,"ns":120,"title":"Item:Q3426787","lastrevid":50050390,"modified":"2026-01-12T19:38:27Z","type":"item","id":"Q3426787","labels":{"en":{"language":"en","value":"VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5133321"}},"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":"Q3426787$B045072E-236F-41A3-B680-C4FCAE28D6C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c412c89e3980c671b2d721277a4efbe8ee7e3f3","datavalue":{"value":{"text":"VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426787$55CCB8C7-FF68-4752-9643-86BCA7278504","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"301c6dd03f177ead04bde7e84c685f49d6a4f121","datavalue":{"value":"1107.68428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$FF3669AA-AD7A-4DE3-9039-E8DC68134D7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d397f6878a181d9f7255d45191a0f874d14b90d5","datavalue":{"value":"10.1142/S0129054107004565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$4D9053C1-BD97-4A26-883B-4BF80418104D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d92818e59c1c1e061569f357623fe5f5b2fd830","datavalue":{"value":{"entity-type":"item","numeric-id":1274451,"id":"Q1274451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$C8A2E8BA-611F-4F2C-BA86-3915BDB70D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$0EC5F457-1B12-4EF6-88CA-B5544DE8C34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bebf1ac42d0e7e82f4d29a66fcac3bac3c26304","datavalue":{"value":{"entity-type":"item","numeric-id":3426786,"id":"Q3426786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$1E12BF7E-5ED0-4F78-A5DF-BDE044CD4E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69e7cea0bf119ec4d04b6ee0ebb9596c4918092e","datavalue":{"value":{"entity-type":"item","numeric-id":209465,"id":"Q209465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$2044F2E5-3444-4ED2-BCEC-FB321A1DBF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$A03C2597-450C-49D9-AFC4-12A317B00196","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$A3CBC327-246D-4430-A6E0-5363B90E675C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"484ca97f094ff31b0a05c48d05e865cb3bc6f366","datavalue":{"value":{"time":"+2007-03-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":"Q3426787$B35CC887-7135-4E32-A5AB-4416AEDA6BEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$A89C5AB3-8F63-458C-872D-DE55BB4C6AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$1D44CF17-2265-4594-B105-59EAC1F371DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4572bcc211880d6a7a4c462b55773a5926957639","datavalue":{"value":"5133321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$E4755EDC-7C24-45C4-A8F7-64C2E3F701A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c62e3cce1123381bdf38fb354b9052f410a83c","datavalue":{"value":"distributed","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426787$B871B36A-AE9F-44BF-8A8E-39C9F48B11F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426787$74BC1E2B-1EBF-4289-BE56-4430991C6E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68e1654338e3c9dcf3d413b7b8e3738fd31dd98","datavalue":{"value":"bdds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426787$2508CA68-FAFE-4999-8E39-6E2FB269EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a328af7ff1543bbca7dabe1fd934e14aca40f87e","datavalue":{"value":"slicing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426787$3C3EAA59-BE79-4199-958D-1B430A46ACE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2be7f28ae81b99b6addca106f4d4e43fef36316","datavalue":{"value":"reorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426787$1157FCB4-A290-4B03-87FB-7C84E562A980","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":"Q3426787$5C4E20E6-0670-4158-A34B-0D45A78AB01B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$C46DA636-7165-431D-AB9B-861347FA412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2be1c750f76e738d6434665bd6eb2a48137af7c","datavalue":{"value":{"entity-type":"item","numeric-id":1871864,"id":"Q1871864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426787$372D606D-5DB2-4ED3-9362-7E7DBB26E876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f82a80dabf6b0eddf97f61644f47190482f316f","datavalue":{"value":"https://doi.org/10.1142/s0129054107004565","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426787$BA35DD79-28A8-474A-AE0B-BA79F17BDC7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec4296e8d68fd343e9b7b69550b16fb66fdec7cc","datavalue":{"value":"W2049782476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426787$5D8D067A-087D-4469-A4D8-A1C1B3B4FCB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eb1efe408f3677a25eaf33124438cd40b7fc669","datavalue":{"value":{"entity-type":"item","numeric-id":3591390,"id":"Q3591390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c37cbf01b240c0d379a8f12aa29dbf4909d6be84","datavalue":{"value":{"amount":"+0.7559620141983032","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":"Q3426787$E5A507DC-7A0E-4C5F-92A1-9A327F941818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06c0395de06415ea756d6f99b3b1a2ebd2cd81f","datavalue":{"value":{"entity-type":"item","numeric-id":5900670,"id":"Q5900670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31b72cb518a3456b13e94997fff03113068652b3","datavalue":{"value":{"amount":"+0.7510042190551758","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":"Q3426787$F597237B-E025-4745-892D-E26482F82B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d499a073e38bbbecb40c74487898ce2e1ca099c","datavalue":{"value":{"entity-type":"item","numeric-id":2754085,"id":"Q2754085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164a2d53cdb68285525df0f293db494242149fc2","datavalue":{"value":{"amount":"+0.7492480278015137","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":"Q3426787$5FC4F69A-E41B-484D-93C9-8A3C6E4A6959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68ceb57f86d95f858aae1b625068f96622e518","datavalue":{"value":{"entity-type":"item","numeric-id":816198,"id":"Q816198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e2a021fc5e9e549ca0ca3c75a4da3d10ea1d3d","datavalue":{"value":{"amount":"+0.7491233348846436","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":"Q3426787$EAF2F636-FC18-403D-BA15-D44C2EF2E9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3864231278fe2268cdd0cb089029cce53ab69f","datavalue":{"value":{"entity-type":"item","numeric-id":5461616,"id":"Q5461616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64f989e4b906f5c35eff6de8a66241092888988","datavalue":{"value":{"amount":"+0.7449424266815186","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":"Q3426787$FA8F5C63-49A5-4827-8F02-DB05FA019696","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426787","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426787"}}}}}