{"entities":{"Q5280761":{"pageid":7310336,"ns":120,"title":"Item:Q5280761","lastrevid":37161783,"modified":"2024-07-30T08:50:53Z","type":"item","id":"Q5280761","labels":{"en":{"language":"en","value":"Formal Reliability Analysis Using Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6753317"}},"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":"Q5280761$42F613D3-6828-49BB-8993-4E0417A3BB17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7706deeecf660a680e7a7354e0c2fc9882229641","datavalue":{"value":{"text":"Formal Reliability Analysis Using Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5280761$D0CFDA23-7D7C-4921-A972-B19CCBC9BF93","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3e3474838536d7a80db90a2eb224819d92f9b54","datavalue":{"value":"1366.94784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$91FED3EE-04A1-40DA-8E87-0A4B6DC11B97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"142fcb0c955254d10852f38ed417a84dae86cf37","datavalue":{"value":"10.1109/TC.2009.165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$E7FEE478-343D-4BC6-9C64-2F750A152505","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280761$383A1983-7A06-4EDE-BD87-D3E8D143D4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280761$B54FE30B-C3F3-4755-B143-3195A642D212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f724c38e8e9eb9e22bc5aec56b93efd5367b2545","datavalue":{"value":{"entity-type":"item","numeric-id":386028,"id":"Q386028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280761$469795B1-1CE9-46C9-BFB1-8F22E558AC63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb95ba1181f89055fe808aa2c36bea9d3930d0fc","datavalue":{"value":{"entity-type":"item","numeric-id":80442,"id":"Q80442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5280761$B87184A2-C934-4747-BB2E-37D009F939A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c40fe938fbefaf770a613a23526d4d4322534f8","datavalue":{"value":{"time":"+2017-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5280761$B6E199E0-ED88-4B38-B8FD-788719AC257F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$03358CA2-97FE-4682-A4B8-556E3F125EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$3F19AFDB-AE33-4114-8FA9-72E9BEB46E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$2DF96F05-93B0-42CB-BA09-E16FE693E3F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf2331890e367713ee6b9e8ac016f8491f294510","datavalue":{"value":"6753317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$7BA65173-4DFA-4168-BA91-1BED4799C0D7","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":"Q5280761$6C7F6993-8E8D-4502-8E7F-07C0562DE003","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15105a2e96bce57138cdb6fc18ab9a1409213642","datavalue":{"value":"https://doi.org/10.1109/tc.2009.165","type":"string"},"datatype":"url"},"type":"statement","id":"Q5280761$4826A53A-5104-48A3-8628-991C384B3B41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef7c7510d80cf6999d720b23b76537b648444b58","datavalue":{"value":"W2058949335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5280761$B63A0B7B-0B68-4F29-8422-50870FDCC84E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5280761","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5280761"}}}}}