{"entities":{"Q4037091":{"pageid":6066809,"ns":120,"title":"Item:Q4037091","lastrevid":55246549,"modified":"2026-02-05T06:58:43Z","type":"item","id":"Q4037091","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177240"}},"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":"Q4037091$70DF0A3A-203A-40D7-BEF0-23015D901462","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0da679c012ffafb976ed056a8105a2aa27f1248f","datavalue":{"value":"0786.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037091$AFC2E1C2-0BCA-4EA3-B9E9-72E1D7CBC432","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96e522b63cee0415b9eb8e18941f654848fa0f26","datavalue":{"value":{"entity-type":"item","numeric-id":4012208,"id":"Q4012208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037091$DE7D616F-B630-4626-8306-ED3735C4F5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a631327f552e7dbba89e994034185774461f0e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4012207,"id":"Q4012207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037091$2AF9A27E-5103-48E5-BA6C-C9E98BC3EC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84dbf45f43cee02451b04421bfe8677905448ed0","datavalue":{"value":{"entity-type":"item","numeric-id":4037090,"id":"Q4037090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037091$59ECE1DF-9ECA-4823-AD93-C4449F2320A0","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":"Q4037091$C387B878-DDE3-4193-9196-2A453C76D3FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037091$1102F854-3007-432E-BD02-75D56127554F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"912b630716ad890a18598185e29300ac129275fc","datavalue":{"value":"177240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037091$4702EF28-DDE9-41DB-AD52-6B3D0B490DA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27268679f8b2fc253cce71a912bcf6a0b1d53f99","datavalue":{"value":"verification of sequential machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$82EA4A84-2CCB-4C75-9C28-134E6B523307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a9f9f32f12a33241ca1a8b54c96cbc6deab43d","datavalue":{"value":"behavioral equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$3B2C49B6-9254-4E32-B404-D994D41AA57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$015D100D-0E24-4E81-B962-0AC87AFB897C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af2dab486fb0e11a1cd9d709d4ff748cb2f5249f","datavalue":{"value":"verification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$76007171-46D9-4A40-BCE5-E09F9C7A1777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0062bff246f10874c360cb4d691bf5c2195f236c","datavalue":{"value":"Boolean function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$FEBBA014-5811-436D-9746-669F867C6EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88764ec7e69fc8364b50ed7e7f09730b40414df4","datavalue":{"value":"typed decision graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037091$6FEA3099-1DB9-4244-A897-FC7DCAD79606","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":"Q4037091$178DF8E9-9E8A-4A57-8196-50C01C191C9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a47fbb30879d741bf653dab37b194fd7cd6f425","datavalue":{"value":{"entity-type":"item","numeric-id":4037371,"id":"Q4037371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cb2eee984f345e698f67add6825f13b258beb0","datavalue":{"value":{"amount":"+0.9974664449691772","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":"Q4037091$BA7899EE-99DE-41DD-8097-DA387D3916D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa8d10f191507a8f2e6a33a7b242b47d5b87695","datavalue":{"value":{"entity-type":"item","numeric-id":4037388,"id":"Q4037388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5cb2eee984f345e698f67add6825f13b258beb0","datavalue":{"value":{"amount":"+0.9974664449691772","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":"Q4037091$9EB9CBAE-0BAF-4452-AD99-D8307CF8D86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d955002b9064e226e396365b35b7e63d4c2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3743249,"id":"Q3743249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5402cdf873bb6dedbbb82aa7f541625843ad1567","datavalue":{"value":{"amount":"+0.8398566842079163","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":"Q4037091$E7FFDA87-ECD6-45AA-8E62-BEAA42939803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03365cca812058c65420ab8d3a92853d1b932e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3704886,"id":"Q3704886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80fe4f2118757b8f6d13f78618b12c35bfa920e","datavalue":{"value":{"amount":"+0.816048800945282","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":"Q4037091$D870D023-0C55-46EB-9964-26417939218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84f73e8ccdf92082dcee87d3869032f76fdd475b","datavalue":{"value":{"amount":"+0.8062831163406372","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":"Q4037091$12013005-5A49-4FA5-BE71-8689FAECD0A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037091"}}}}}