{"entities":{"Q3700808":{"pageid":5730714,"ns":120,"title":"Item:Q3700808","lastrevid":50372234,"modified":"2026-01-13T22:14:55Z","type":"item","id":"Q3700808","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3926217"}},"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":"Q3700808$B5FC9976-6468-4D47-B8D2-1E03F8615545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bca0dcf369bc36b513afcc870b67f939e5c81489","datavalue":{"value":"0578.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700808$607D95F9-E8B6-47E8-8BE7-FFD4749E283A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3700808$9CD55609-B706-451E-881B-7053F98AB19D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700808$08BA8E59-016D-45EF-A772-CC6CAFA72CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4288ab6664c7fca5c23e2312d6a24a68681f458a","datavalue":{"value":"3926217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3700808$2BFFB402-E400-4FD4-BABE-3067AD399BBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$4AA10E00-1C67-48AC-BC76-B7FD7F717BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$774AEE8E-1883-4074-88D1-E9AFCC0E24C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58908f87ca0143555e8103ed951b927548091bf4","datavalue":{"value":"verification of network protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$2F53901D-8866-45E0-8108-F95F3F8ABDAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$824B4B55-B5CF-4C25-AC12-2EBFC6F56091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bfa5ff852c83d1eeee29154a82f3393a9937bba","datavalue":{"value":"modular verification techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$180AE23F-F716-4A1D-95CB-AC9277BD6F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$2B32BE88-C872-467C-8B4C-8666E0577271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc2caa0a342ca8b67b936ebf00be01020f3dda6","datavalue":{"value":"invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$D7C35C3E-8B77-4872-8888-81AC3EAFAB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$8285BAEC-768B-4F3F-95D3-EB0FF3E548AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3700808$DB6CA380-9373-47C7-B978-461C2300E22E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb8a6f9befc01f9157697996eb84c5c714472c06","datavalue":{"value":{"entity-type":"item","numeric-id":1159975,"id":"Q1159975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3700808$4589F067-E6AB-4EAD-A36B-56B025F397B9","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":"Q3700808$BB761A7A-671A-4A58-BE3B-98DFC7409BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddef41592952b3a794f4ba2e4feb2f65f021c3a","datavalue":{"value":{"entity-type":"item","numeric-id":3341874,"id":"Q3341874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa748e54719078eafcf4e3863b1503a551771093","datavalue":{"value":{"amount":"+0.8066919445991516","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":"Q3700808$5386EA90-3DB3-45EA-9892-536CF4CB66AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04dc9ced74a8989aea3aba0d3a8b41a469b0663f","datavalue":{"value":{"entity-type":"item","numeric-id":3805886,"id":"Q3805886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"862abb4f02a16a50ca28d4824e0880aed59472c7","datavalue":{"value":{"amount":"+0.7815049886703491","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":"Q3700808$9E9D86F5-C801-4C1F-81C8-606D3F63A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8dc7ef38b66a1e6696bc169df20eba41035aab9","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"677107390d3302507968b43ba5b4bddad4bd48d0","datavalue":{"value":{"amount":"+0.7568287253379822","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":"Q3700808$D04CA7F0-BEB0-46B7-9CEC-B423600E6148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac1e6f32ce90d7abd0156ceb15076c80090c573","datavalue":{"value":{"entity-type":"item","numeric-id":4388793,"id":"Q4388793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f120bdc1281f98f31127a083d865c2b656d7e52f","datavalue":{"value":{"amount":"+0.7549890279769897","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":"Q3700808$1B025DC3-F2C7-44BB-AEA4-4D7AE20E6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceb2d66758ce81adc8699e5448e16650f219ce52","datavalue":{"value":{"entity-type":"item","numeric-id":2754062,"id":"Q2754062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89575f8511d4d8046b469f4357839a29ffc5897","datavalue":{"value":{"amount":"+0.7543445229530334","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":"Q3700808$07846E69-2585-4658-ABFC-B58840E6F6A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3700808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3700808"}}}}}