{"entities":{"Q5351958":{"pageid":7381532,"ns":120,"title":"Item:Q5351958","lastrevid":41123056,"modified":"2025-04-18T09:29:05Z","type":"item","id":"Q5351958","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767596"}},"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":"Q5351958$39E3FCE2-C8F0-42A3-BF9B-6C3DFFAD2B56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9152eb4170f77cf302aeda624367072cb53eb6d0","datavalue":{"value":"1373.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351958$056AE7FF-7A8A-4F40-BD86-A8AF25F453F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35ec1ab06cf3c87d739d2f1f8ed8faec056605f3","datavalue":{"value":{"entity-type":"item","numeric-id":329411,"id":"Q329411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351958$FC45B66E-F9BE-4AF7-B135-72E8A593D192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351958$DF37F888-C37B-4D13-8D81-A9E0E592618F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73f22f66a56e43cd19f60d6d99d6fee093715ec0","datavalue":{"value":{"entity-type":"item","numeric-id":264998,"id":"Q264998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351958$295BEBDF-3FFB-4D55-B5BB-D91F3F81851A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351958$50F5CE9D-2C98-46FB-9653-807507FCD9F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351958$0ECFC997-39D3-472E-BCED-DE2447D2BA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351958$4E4EC1D0-9597-410E-AF10-FB119A40AB58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f31117a424967bacf09346c388f8609e0e3eee6c","datavalue":{"value":"6767596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351958$56388278-7E95-47D9-A890-5253B09742CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351958$482D5B53-4812-4CA5-8A24-DE1EDBCA76BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351958$65A56D5F-2E39-4BDE-9856-643DEB6F4AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351958$5E3BAE28-20DE-407A-A084-5E55FFAB2C59","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":"Q5351958$567E990A-804B-47CA-952B-2568BB2A2CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16b665f3210528a332a2ea05b156afaa32753979","datavalue":{"value":"10.4230/LIPICS.CSL.2015.193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351958$4859B319-1600-4508-8E43-001CF813FE3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005f834f6fdfac0f5389685d02a9f09dab15d884","datavalue":{"value":{"entity-type":"item","numeric-id":1706170,"id":"Q1706170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f46e282029832ab161c4063a891c26b34c4085c","datavalue":{"value":{"amount":"+0.96279746","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":"Q5351958$AA896DA3-0CF0-419F-BF4F-040618085893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d60d748437a2e8a470ce07272613be9969974","datavalue":{"value":{"entity-type":"item","numeric-id":4617981,"id":"Q4617981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f92e774792702ef9732e18fc036341bd170b955a","datavalue":{"value":{"amount":"+0.90122116","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":"Q5351958$3D1B6A5B-A744-47AF-92AA-095CC76F64A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc80cc4ba0748e9146adc17b4b6d0f5819c47ad","datavalue":{"value":{"entity-type":"item","numeric-id":4636573,"id":"Q4636573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ceea1a50f3eece40fa744ec5f398052fd39c206","datavalue":{"value":{"amount":"+0.9007979","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":"Q5351958$9E5DBA32-94D3-4ED7-8B4B-E6BB8CF3CC20","rank":"normal"},{"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":"749864f9a5c902121de316f1ac50a7de4f5092fa","datavalue":{"value":{"amount":"+0.8936255","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":"Q5351958$834F3E36-6F81-4712-8E11-5DBB039BC24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba0211c3285752a7689c0c330b38b0aa5cbce9c8","datavalue":{"value":{"entity-type":"item","numeric-id":737106,"id":"Q737106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ecaa98f252f9e94832522f448a51ceafca64f12","datavalue":{"value":{"amount":"+0.8908471","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":"Q5351958$D11E28E7-DE65-4C20-BA88-DB7E3AFE21A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfce1ff02b70c6adac741d876a12b423c42b19f2","datavalue":{"value":{"entity-type":"item","numeric-id":821561,"id":"Q821561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b27c4b91abc36ba06bd9ee8cd625bdcf88c5d9","datavalue":{"value":{"amount":"+0.88834167","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":"Q5351958$995D0572-8092-43D0-A8E6-A263DC46C64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0986571c8d0ebdfe508d38d3d991960870fefdf","datavalue":{"value":{"entity-type":"item","numeric-id":6487561,"id":"Q6487561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b27c4b91abc36ba06bd9ee8cd625bdcf88c5d9","datavalue":{"value":{"amount":"+0.88834167","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":"Q5351958$2B16A300-482D-4A7B-8B82-57D3AD206E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02c0a5863625dc970677b7344e517885fcfe94b","datavalue":{"value":{"entity-type":"item","numeric-id":2182727,"id":"Q2182727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7328bcc9ab31c19dae87293d657f8c2dca9e022e","datavalue":{"value":{"amount":"+0.88742846","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":"Q5351958$E630CA8D-E0DF-42DB-AEF0-7D4CD6A0AC01","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":"2060cb7c991779771eedb8d0bea164a10fe58266","datavalue":{"value":{"amount":"+0.88518703","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":"Q5351958$EABE9348-6F76-4AEE-9420-967F74FF24E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5351958","badges":[]}}}}}