{"entities":{"Q3141897":{"pageid":3152613,"ns":120,"title":"Item:Q3141897","lastrevid":47202007,"modified":"2026-01-01T00:02:11Z","type":"item","id":"Q3141897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438994"}},"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":"Q3141897$ECFB1130-B15B-4DDD-AE49-DED9088D3E4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ddeaaa4c41b7f52f3edf97e96cbfbb72258404","datavalue":{"value":"0784.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$F3161B04-1226-40DF-A9ED-687AF97FB846","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3141897$6575B145-021B-4B9D-9D0B-D26E0912C12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"906cc572890000ae504266a724ce23a2bdb9f513","datavalue":{"value":{"time":"+1993-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3141897$430ABDD9-EA06-4D4C-837F-1BBD2BFF258E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$BCD04C06-C651-4259-B4CC-46F0A4C37A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$0F7127C0-4329-464E-85F0-0D0EB95F1A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$86D383BF-6CB3-4110-A656-9FAC26345B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3cb322112ae56aec500b334b7351f32fb107365","datavalue":{"value":"68W35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$560D1464-4073-482E-9FD6-3EB0A96C4F55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3907ceaf34319448ac37a62b0aa6ea98c003cbce","datavalue":{"value":"438994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3141897$493D4777-2B02-47CF-9BC2-73AA4EC587DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$848A60CC-4BCC-4970-89D5-D76DD47CC44C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$B2D81CFD-B41B-4F68-857A-4917E82DFCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"869888fb52fa4c426ef7e1ccd3103a2356df4218","datavalue":{"value":"sequential circuit designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$57EA88D3-9A78-49EA-8D1B-F30F188984EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb18ae1e54169b32c6e8d0048d73f69a1d0c3fd","datavalue":{"value":"protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$750546DF-6EEE-43C8-B86D-1C8E8EF2CB54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$B45B6476-481B-4CF2-8E05-951F8D621FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3141897$A7895999-2746-48AD-B0B0-8E1C57CE885F","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":"Q3141897$B91B3D4B-0CC2-480F-BD84-06E89EFC8476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2861ced6c4c9e37e10cbf44f3ea678621bb402c","datavalue":{"value":{"amount":"+0.8838233351707458","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":"Q3141897$D229A7AB-BABF-44E5-892A-55F4750B8EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c7c6fc063c45afd9b5994c297e6c6d18ab2d42","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd8606009258d7ae33becdb2a775db53c35352f","datavalue":{"value":{"amount":"+0.8832284808158875","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":"Q3141897$45E29A98-3490-4710-A0CB-85505B8FA3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f683277b3c94eef63b2f7fb5ccc2a8f7c8b4307c","datavalue":{"value":{"entity-type":"item","numeric-id":4440828,"id":"Q4440828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b9aaf6e78da6c828c26653803c24e065602f80","datavalue":{"value":{"amount":"+0.8441191911697388","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":"Q3141897$7A4B26E0-84E0-48BE-94D6-FA5777B58D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267d63ae7d1dcc1fbdaee9acd5ed6d6646bd088c","datavalue":{"value":{"amount":"+0.8438337445259094","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":"Q3141897$AE1CE911-F07C-46C6-B169-6DA919192108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267d63ae7d1dcc1fbdaee9acd5ed6d6646bd088c","datavalue":{"value":{"amount":"+0.8438337445259094","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":"Q3141897$EE7C7969-509D-4C1A-B110-790EA69136DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3141897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3141897"}}}}}