{"entities":{"Q5260751":{"pageid":7290319,"ns":120,"title":"Item:Q5260751","lastrevid":40992844,"modified":"2025-04-16T23:06:41Z","type":"item","id":"Q5260751","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6454071"}},"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":"Q5260751$E6D6FAF9-218E-4CC2-AA3C-F29B287429B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58277d99e7a669adeb6972134377b26c2650ee48","datavalue":{"value":"1324.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260751$0F9E7D1A-825A-4997-98E4-A5BB7E70520D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8267f1856df5311ac8f067da2122b7880d3f7c0c","datavalue":{"value":{"time":"+2015-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5260751$6F07E88F-F505-4F7F-B19B-11E54231DC55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260751$AE3CF115-1EE7-4EF6-B0B7-AB4D2F8D23BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260751$17540E71-316C-4842-A8D2-753A7291A7C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfaab053577dafdf452ed33fb38cd8559b15ccd6","datavalue":{"value":"6454071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5260751$C22691B7-C046-44A4-886B-4A86321063D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260751$B5ABF50D-2EF6-48F6-8BBC-984DE88EEA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47350472417905348e33fb34badb8a1bdd186884","datavalue":{"value":"possibility theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260751$F2428FAB-C682-4ADB-82C5-1581966624FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260751$2A1DAB06-BBCD-4374-9E21-BF2EAECC0B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5260751$F9147B85-2F7E-408C-BBA2-7471ED8E472D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c09916c85d1295953228563cc36573b73d2c724","datavalue":{"value":{"entity-type":"item","numeric-id":1595240,"id":"Q1595240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5260751$9FEB2F96-32A5-4532-9B94-B4E4268A8310","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":"Q5260751$57549AE5-B76F-46BA-803B-30B79EF75252","rank":"normal"}],"P1643":[{"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":"db6524fac757237bb9f91d980abc0329402eca8c","datavalue":{"value":{"amount":"+0.93250155","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":"Q5260751$F24ACAAF-6708-43B7-BB0A-87A77B2322AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"630b4af98aad2211a279975c207ec2f0ee35f1bc","datavalue":{"value":{"entity-type":"item","numeric-id":2851939,"id":"Q2851939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6513d8844c58eaa3bfd01e87408c93f986b1bcb8","datavalue":{"value":{"amount":"+0.91937804","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":"Q5260751$DCA9C4D2-D3C6-4E02-99FA-389EF7B742EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28dfd11ce40ef0b1453bf37d25eedb1598b1f9a","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008c90ba585d9a6a14b1333d53d4c62d121d0fdf","datavalue":{"value":{"amount":"+0.90910715","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":"Q5260751$05601A27-D750-47EE-A54A-72D0D59AE3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f86d43d8603d6277018cc9ebb1f716fc6cae0f","datavalue":{"value":{"entity-type":"item","numeric-id":3090866,"id":"Q3090866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12695f2e9e9569cfb5e68c4befb421b60b5144b4","datavalue":{"value":{"amount":"+0.90421855","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":"Q5260751$1856100B-D295-4A75-B6B3-A4357CC7D18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03897e00ceb1db7a13d4989d0317cf64861ee197","datavalue":{"value":{"amount":"+0.9024349","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":"Q5260751$BA6992B6-BFFB-483D-AB4E-6BDB23EC5265","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":"8c5c6ab0890414dfbe0f13131ff9acd3e50a295f","datavalue":{"value":{"amount":"+0.90008503","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":"Q5260751$8EB130F7-31BC-4831-814C-271F273BCEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e866be9b5b9cc4fc80ed6878d8463b70348f92ac","datavalue":{"value":{"entity-type":"item","numeric-id":5166636,"id":"Q5166636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa61dce53b3188146ff4acf9aa63acc5c2a45754","datavalue":{"value":{"amount":"+0.8997823","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":"Q5260751$09B11F65-6BA0-4A4C-9175-11DD5AA7EEA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5260751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5260751"}}}}}