{"entities":{"Q4028156":{"pageid":6057910,"ns":120,"title":"Item:Q4028156","lastrevid":55216441,"modified":"2026-02-04T22:27:03Z","type":"item","id":"Q4028156","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139820"}},"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":"Q4028156$F2D0E0AC-B42E-4324-BF7B-4C57AC2E70A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"963eb32aee334440fbfa38c201fb7a0b8b8675d9","datavalue":{"value":"0794.68141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028156$750ABED2-CC16-41CB-AF73-779A5F4B38F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db104b4a762e3f51912076a84eab8fcea8d94ef6","datavalue":{"value":{"entity-type":"item","numeric-id":931432,"id":"Q931432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028156$825FE551-6334-4DC3-B8CD-CB461248E5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bafd0a242f5618ddbbc7ea213aa39f63850788f","datavalue":{"value":{"entity-type":"item","numeric-id":436374,"id":"Q436374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028156$0333DB3F-16F8-466B-AF24-83BA40D82053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea01922322fe7138dd60ff3276a7357a585afab0","datavalue":{"value":{"entity-type":"item","numeric-id":3528906,"id":"Q3528906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028156$DD5181CD-7E49-4140-A9C4-D2BF7B886ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8c7563058119bd6178397d6b007b8ab4f75637c","datavalue":{"value":{"entity-type":"item","numeric-id":1606805,"id":"Q1606805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4028156$7DE7FA41-4DD4-4915-8EC1-9E1B07C53C51","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":"Q4028156$847B7004-7A57-42F4-A6C8-B980453E38D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028156$BE4DD7A3-08CE-427C-BB04-0029F96A4856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028156$07E6DF57-A7E1-4266-BD7C-0BE5250EF446","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8d6cc7b9031ad8069a1f4a18475600929dcc902","datavalue":{"value":"139820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4028156$AFE3232F-8F11-46BC-86EB-D9FCA9BD1FA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0493a24a84b95da82cc4dce68573310d2137b60d","datavalue":{"value":"hardware description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028156$1ADCA841-9428-4058-B62F-009CA19AD618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2553b1f4aa2d50c2013f3741df1684f9f1d44a75","datavalue":{"value":"BDD-based proof methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028156$54591D22-4DA8-4C42-83C0-BD1EEC13D40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b76504b9e39539d4e097c1bb1a157d96f1f0acf6","datavalue":{"value":"synchronous finite-state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028156$C78D48B7-B045-48AD-AF8B-73AB141AFE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b821c62a5b1211c5584b9b4fdeb081533e7cc29","datavalue":{"value":"symbolic model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4028156$5A22BCA7-42CF-4C1F-B30F-F78A8BDFC1F2","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":"Q4028156$A00630EB-8767-42F4-BC6D-FB4B6A7ADA46","rank":"normal"}],"P1643":[{"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":"82e1c2f5ee3fca3507a551f1a2c6940341655d6c","datavalue":{"value":{"amount":"+0.802960216999054","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":"Q4028156$9CC5F866-996A-43C4-9399-85F68B48BADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c789d9a6d2ec93ba00de3ca763678a1cf6dfee","datavalue":{"value":{"entity-type":"item","numeric-id":5899154,"id":"Q5899154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f46179bf8f13ca605cfbb56681f070dbd4be9d7","datavalue":{"value":{"amount":"+0.8006528615951538","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":"Q4028156$4C6BF69E-6087-4267-8E1B-96440CFAAD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f22dd2c0f1a7cd26a6386915c5bf9bbd06131c3","datavalue":{"value":{"entity-type":"item","numeric-id":1606811,"id":"Q1606811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b7b1fdc046a174780eebebfc7a237c42a170d8","datavalue":{"value":{"amount":"+0.7758248448371887","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":"Q4028156$1577A1BC-CBDC-405F-8DAB-D5F77B5F482A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373accb42c22b62b51bc441ddc14c88d9c0f7027","datavalue":{"value":{"entity-type":"item","numeric-id":3176366,"id":"Q3176366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2be4d6484958c1147b91e93ffd73848390812a7","datavalue":{"value":{"amount":"+0.7590510249137878","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":"Q4028156$F410128D-1221-4DBB-B6E0-4D02D5D4DEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a59da720e1b946ac091242484b7e0c2e052b8e","datavalue":{"value":{"amount":"+0.7502220273017883","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":"Q4028156$71C17452-77DE-4576-AE57-5D77E4A4DDF7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4028156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4028156"}}}}}