{"entities":{"Q3329397":{"pageid":3340105,"ns":120,"title":"Item:Q3329397","lastrevid":48716533,"modified":"2026-01-05T17:05:49Z","type":"item","id":"Q3329397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861073"}},"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":"Q3329397$B5D730CE-34ED-4665-A725-C5AA20E951C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf95bed614f527997d11e9d9e8323c15791b0151","datavalue":{"value":"0541.94038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$94DEA200-1A8E-45A6-9334-FE84DBC2F14A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e2c7512c148e94813534cd39eeccb8bf8f433e6","datavalue":{"value":{"entity-type":"item","numeric-id":999261,"id":"Q999261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3329397$998E80E6-FAA5-4E25-B21B-C55CD208D932","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":"Q3329397$43386763-5EC7-402B-A6B4-A6FBECD3EC6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3329397$56D35429-9CB8-4D61-A541-9224573B9FC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$05D1D0E2-7F76-4FCA-B2BE-9FAAAE862542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$6369B734-0EBF-4330-895D-2C326FDD794F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$F002337E-BCDD-4C25-A98D-06F4DC3A1480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"007f7f82691f1d7656215e5be329d57b0bfdf5e7","datavalue":{"value":"94C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$84D90C03-5B3E-412E-9AEC-C59F91D43858","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"658714402f014e3f3d6d6ac233a084c952f289c6","datavalue":{"value":"3861073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329397$D75AFA59-3A5E-466B-A97A-76FBC37A94CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329397$9BE512BC-6E0A-4037-B4E6-46FE29BB955B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9eb403beccd74acc4b251df31ba398fe55f4688","datavalue":{"value":"asynchronous circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329397$A4847948-A949-430B-B8E9-5EC4AAB237BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbe409dd950a48dca4fd1d213646c254c87fe1ca","datavalue":{"value":"specifications for circuits in a branching time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329397$BEFA8812-22BA-4B73-96FB-3F87135A7E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda40ec213904c1453e8a281472f9239bacbf0a6","datavalue":{"value":"model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329397$965E0CF0-C7A0-4903-BA21-DB13B0A636B3","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":"Q3329397$4CF05777-7B62-4758-9FC2-CFD68BE04267","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cee5d9fabe03aeab4e9fdd7f9e1e9604515583c","datavalue":{"value":{"entity-type":"item","numeric-id":1070998,"id":"Q1070998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7c7736aee7649bb19048644426e7eb863c915b8","datavalue":{"value":{"amount":"+0.905594289302826","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":"Q3329397$469A577D-7BED-4455-8E4A-89912EF0CAF6","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":"9f3fbf688d6054ec5178dbc883a35fa85ce96384","datavalue":{"value":{"amount":"+0.8649595379829407","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":"Q3329397$D194C5AF-1BD8-4840-9914-A49FEA63D9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd8c0698470c46bd1ae97fcd495baa6356b030e","datavalue":{"value":{"entity-type":"item","numeric-id":1329086,"id":"Q1329086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1cec674022722afdb9e4db8e0b9c6b8d843bcb","datavalue":{"value":{"amount":"+0.8476142883300781","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":"Q3329397$0C259F57-50D4-4805-8E35-B8D5D73A02BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d755bfaa2d3d2335f2cc546044ce5915b6e2b9fd","datavalue":{"value":{"amount":"+0.8281722664833069","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":"Q3329397$21A8A824-9D42-4BA7-AE8F-7EEB3559AD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724f22eb12c7540f8a6fc47a3fe3a5a56408bf64","datavalue":{"value":{"entity-type":"item","numeric-id":5431924,"id":"Q5431924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5834245b57154ddb2387aa6914940081dd5aea2a","datavalue":{"value":{"amount":"+0.8120167255401611","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":"Q3329397$81995B8F-A728-4B6A-ADBF-73CA8B58569A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3329397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3329397"}}}}}