{"entities":{"Q3840671":{"pageid":5870576,"ns":120,"title":"Item:Q3840671","lastrevid":54496202,"modified":"2026-01-27T10:33:08Z","type":"item","id":"Q3840671","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1187493"}},"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":"Q3840671$51AE2FB2-1EB2-4513-A796-E5F932A0C8C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c462b3540984378dd5805d595b90a74b5217cb60","datavalue":{"value":"0902.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840671$04020B5F-DA7C-4F56-8F4C-3E956BE7860F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5325cc36b78f25c273c9ac6495e67d48861a69","datavalue":{"value":{"entity-type":"item","numeric-id":2018422,"id":"Q2018422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840671$8E03B2D2-0D3D-4E7E-92C2-A4204B29BCAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2bcebd569bbfb5b8b0063ba2286496f2af92031","datavalue":{"value":{"time":"+1998-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3840671$6677EF6F-726B-4EC3-B8A8-A54ECE640125","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840671$DC7BE1AC-5323-4E8D-B78B-018180099939","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d201b61c7fb2fb4b7fff0fb1f36f7f0eba11b04d","datavalue":{"value":"1187493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840671$EBFE0D3A-9346-42A2-8CDA-BCB5B21A351C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840671$C406491C-7EE6-4F72-B5D1-391DDB456579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5793a21b7c00ec4298a772a1a99ea9403357b9","datavalue":{"value":"model checking method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840671$B3A5449B-48DB-40CA-BE65-14CBD3684FB2","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":"Q3840671$7F509C37-DCF2-4EE4-BC9D-4FFDD2E19EA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5468f103fa74a4a5200a01c39643d7e2e91fe881","datavalue":{"value":{"entity-type":"item","numeric-id":1371312,"id":"Q1371312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff6c49f54062c9cc1e9f612f6fd1d4387b349d5","datavalue":{"value":{"amount":"+0.7156199216842651","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":"Q3840671$A36155A0-1899-49ED-84DB-618639BFE089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9ff5cbd4b1bcd65a25f1817160a64c7a375e7e","datavalue":{"value":{"entity-type":"item","numeric-id":5236443,"id":"Q5236443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e7cc9c0257c9af8a38da633e21a0cc55edffff","datavalue":{"value":{"amount":"+0.7086790800094604","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":"Q3840671$577BCBAA-1C99-4D03-B96A-2AD86FEBD8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360d46c238780081e0f6880b9a5b76cbe4d9d74","datavalue":{"value":{"entity-type":"item","numeric-id":4803964,"id":"Q4803964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b3c5a5317a8bca6706525092ae22e235ebf2605","datavalue":{"value":{"amount":"+0.7077772617340088","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":"Q3840671$45642B42-6367-4A33-9D55-40290575FC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614b064ec471731561043922786ea0fab5bd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2814135,"id":"Q2814135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e757f741d03c079c50bb0a5e9f36fa121fdb9419","datavalue":{"value":{"amount":"+0.6962666511535645","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":"Q3840671$980C4A85-3F2F-4895-85DF-AAF60086F240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b8caab5e57030e4788695cbc8d0edea583dab6","datavalue":{"value":{"entity-type":"item","numeric-id":5213661,"id":"Q5213661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e81af73e2b73645a2d7423da7483829f575bc41","datavalue":{"value":{"amount":"+0.6886400580406189","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":"Q3840671$17BE3D95-319C-4DF4-BA8C-990D6E00453D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3840671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3840671"}}}}}