{"entities":{"Q3145302":{"pageid":3156018,"ns":120,"title":"Item:Q3145302","lastrevid":45553150,"modified":"2025-12-10T14:06:24Z","type":"item","id":"Q3145302","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6117314"}},"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":"Q3145302$6FE376EF-935B-46D3-AD34-13A5E4797913","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2520498f4123acdfbf05ba64cd1a57bbd506363","datavalue":{"value":"1265.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145302$06B8BB45-30D9-4FA3-89B5-6FA4AA9A6306","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bee3c5280520f9e56fbd94b15d034407bcb5ced","datavalue":{"value":{"entity-type":"item","numeric-id":2655498,"id":"Q2655498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145302$0F89C1A0-1BC3-40CA-9F40-9E4C0FBCC7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74d8c01361739833aaca1c61b3762d3c41a800fb","datavalue":{"value":{"entity-type":"item","numeric-id":3145301,"id":"Q3145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145302$AE4858A9-6B7B-465B-AFD8-B45A4A333329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8c9b7362ce09a38237eb414aaab94fe637bc21f","datavalue":{"value":{"entity-type":"item","numeric-id":2655495,"id":"Q2655495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3145302$C61D1D34-4A68-43DF-8D2B-4478F1BE98C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89237810e2607c40640d822ba13c3a4357a2a395","datavalue":{"value":{"time":"+2012-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3145302$1B8891E4-B702-49C3-B0A5-AA7F4AD22B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145302$9BA5D151-6F86-4F79-9FB4-62CDA30CD206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145302$0B2FC3B7-CDFF-4567-BD8B-8A1F5A858345","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77bcca2877f7beb969a77bd554004a216c281445","datavalue":{"value":"6117314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3145302$3364750A-666E-4A17-A866-D67C9A6C75CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$0B4743A1-BF47-4837-B03E-C533C7F82981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"654d82cffaf48aee34c8d66a865b227f1d39e13d","datavalue":{"value":"finite state machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$C6FF00D9-AE7E-4D0B-A6DE-E922A30AD34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$FDF8AB24-134A-4BE6-B760-9C4DC96FD9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c408169caceb667dd97c6c7b1e1843ace02f95a","datavalue":{"value":"dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$3A7DB663-3DD0-408F-BF43-DD4F2DFDD9CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14012167dc5c1b14307ae2a142eb01ca835be6b1","datavalue":{"value":"X-machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$BF9AE0B3-35CD-4722-9D05-83052C1A23C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22b789b602eaabca7bc7c90c6e3052cc98b9df5b","datavalue":{"value":"XmCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3145302$253F689A-4E60-4237-8A45-B20E6CC202BF","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":"Q3145302$C4E54118-B0E1-4519-8640-684BBCC93033","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9950c7623976c14d773ad001972736944f090bbb","datavalue":{"value":{"amount":"+0.8625953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$C667D350-4273-4E89-8EF7-336E48E4AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e759b9a863aa3023758426594f7d9dad69c3ff4","datavalue":{"value":{"amount":"+0.8603469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$7A3936FC-0FC9-44D4-B04F-DFB940C5D54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91e2e0658b4347cef63545df28a8b1e9f422fa2","datavalue":{"value":{"amount":"+0.85533327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$95D74A78-5794-46FD-8E10-68D04F82A4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608b9093d236f9882b3ec155317f397ae3bd9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3623967,"id":"Q3623967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5978071aeb347956ccaef55e9b8ddcdd312e652","datavalue":{"value":{"amount":"+0.8552471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$7F6CB9C2-CC1D-4BA0-8FBA-71E3E860B97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db25f65ae0860b3367aff308aa88c4b4f1303d2","datavalue":{"value":{"entity-type":"item","numeric-id":3521797,"id":"Q3521797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a36aba4d525a69c6e06073475347d622f1a0a873","datavalue":{"value":{"amount":"+0.8552193","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$A73D8ABC-932D-4954-88D2-FB033EA6F3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51702a65ae9341531e832fb73c43f286b243c74","datavalue":{"value":{"amount":"+0.85240453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$C3024452-F2FF-48CD-B64B-4CCB2A2C1715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ee552762567f6bfb927e1ed074994044d88fe10","datavalue":{"value":{"amount":"+0.85187024","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$C8708A56-0F6A-4DB1-86D8-54434F24B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8fb3a6edafc070e3ac352eaa8f53304bd4b5285","datavalue":{"value":{"entity-type":"item","numeric-id":4275182,"id":"Q4275182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d64ecc8225011c946247082a357a81622f92312","datavalue":{"value":{"amount":"+0.8518204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$07082BD8-66CD-4B28-97C0-56AAFE59A766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3775bf6b8f2ce8c52b48318da07d17ca828b7d","datavalue":{"value":{"amount":"+0.85139966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3145302$3616E9B4-ABC8-4600-8651-9A70A8109104","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3145302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3145302"}}}}}