{"entities":{"Q3704886":{"pageid":5734792,"ns":120,"title":"Item:Q3704886","lastrevid":50464268,"modified":"2026-01-14T03:01:30Z","type":"item","id":"Q3704886","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3932379"}},"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":"Q3704886$B4AC5FF7-EFE7-45E3-B7EE-E3C15F6A4D6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"669c86ac487a4d400242fa076d27331db5c722b2","datavalue":{"value":"0582.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704886$71845C80-4C38-49FB-A97E-767624915DCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ceb18c0108d8c6a9d9ebd01a688a1f6ba61ba85","datavalue":{"value":{"entity-type":"item","numeric-id":921981,"id":"Q921981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704886$2A31055E-E915-43E7-8EFE-7E2462086451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"915fe2271680029c92c89bfe53140a1b9f9036f5","datavalue":{"value":{"entity-type":"item","numeric-id":198033,"id":"Q198033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704886$1C7D60A5-6AEA-4F69-8986-626AB024A09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704886$4343C566-137C-4E59-A00C-364C8C3979D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3704886$376E17DB-746A-40DC-83F4-767BFEFAE133","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3704886$A1BA97A6-DAB2-4F3C-B235-C0F8B2C43C72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704886$0ABC4A47-0D15-49E3-BA69-F2E032C3C2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704886$C24AEC51-6019-4384-A291-459883DBD877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704886$B2FBDBB7-6A6E-41AE-82C2-A8AE996622AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c9dbce006073f65c27f910034f892b0e3bac56b","datavalue":{"value":"3932379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3704886$4EA436C3-9320-4F67-8C5E-00C404AD61B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$3D634398-59F0-468D-8461-13376780284D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1403a64a54fab9451b4468fa6823ce97ec7978","datavalue":{"value":"branching-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$3C662DF1-8C19-4B44-B097-5B373470A0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f00349da537437f5b33a2c7f379598a422d5058a","datavalue":{"value":"state-transition graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$16CF7E2A-448F-43FA-BC18-F4815181258E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5364919ba242476dfb64cd50f9b543fb6c00246","datavalue":{"value":"finite Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$4D3B4A3B-FCB8-4C49-ABC7-831A1568C12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb36bd07cf45ab8f53c60c9aef4be3278250446","datavalue":{"value":"system specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$16544E36-84E7-463F-BB77-A371ACA7125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4dcbfcea5baa2bd44ecf6992522c6e57ba6fed","datavalue":{"value":"model-checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$51379FFA-D37D-4EAC-9B45-045155A920E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da3b703fceea34ef380e56704905944c5c5a4b71","datavalue":{"value":"fair sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$C6346669-57CF-4454-98C2-7FD3C3A98967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54bc2a9d7951aa94592f7871eea8fe2ebe77befd","datavalue":{"value":"fairness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$FBDB5202-E5C1-4EFA-97FB-B8FF65AF024D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bfe0f34c239a9d3e97d00642ea053b6d98f73e1","datavalue":{"value":"correctness of sequential circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3704886$9C9070F6-A76A-4C61-8B54-816BD62ECB67","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":"Q3704886$D6468649-6D31-45BE-9666-596520130EA6","rank":"normal"}],"P1643":[{"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":"b43e47890590bd0152dd4481c70c22fcf7d66d4a","datavalue":{"value":{"amount":"+0.9015045166015624","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":"Q3704886$5C433D71-4B27-47DA-A5AC-CECFE76E635E","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":"45bea276ee2b0f70fe4f49f43f7c646763ba635a","datavalue":{"value":{"amount":"+0.8905343413352966","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":"Q3704886$AEE2D778-A7C1-46BB-9AC9-0B1F54B64D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9f9c3da8d063c38ac733038a8365d3f67e6200","datavalue":{"value":{"entity-type":"item","numeric-id":4207567,"id":"Q4207567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25765b9e55a0d26960a8b45fbbc9e37cfba0d4c0","datavalue":{"value":{"amount":"+0.8486303091049194","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":"Q3704886$FAB6C3DA-13EF-403D-B25F-395D9588A828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afa12a6f02d14a87d1d96a74e84f4669a4f1a5c","datavalue":{"value":{"amount":"+0.8364391922950745","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":"Q3704886$30268921-A78E-4C90-9E8D-5D564094B0FF","rank":"normal"},{"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":"6afa12a6f02d14a87d1d96a74e84f4669a4f1a5c","datavalue":{"value":{"amount":"+0.8364391922950745","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":"Q3704886$F9E573DD-6335-4EDE-B417-D5C7D3632775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3704886","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3704886"}}}}}