{"entities":{"Q384705":{"pageid":386472,"ns":120,"title":"Item:Q384705","lastrevid":61475670,"modified":"2026-04-10T23:36:55Z","type":"item","id":"Q384705","labels":{"en":{"language":"en","value":"Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234325"}},"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":"Q384705$2FE4E211-5CD2-41EA-A538-938ECB414708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"45a34d8439f1bdf8d4b89a8e4dfec699743f6210","datavalue":{"value":{"text":"Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q384705$8614A571-CBF6-4E71-8F03-4A4DC76FDC8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec27e855751256ffbfcf95933d2b5be853074d3a","datavalue":{"value":"1283.94158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384705$4D47627C-8F0E-4D0E-A733-BB48AC17F000","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f87799c6cfaabe38e901b822877485e93dd1712c","datavalue":{"value":"10.1134/S0005117912070119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384705$81316E55-3F73-4167-809B-2DDDC4C8DFA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c38f6c6617d67b5d8830b95e51e70c5c759faf1","datavalue":{"value":{"entity-type":"item","numeric-id":384704,"id":"Q384704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$72BB9C79-1747-456B-B818-3FD611934C2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$82AA42C8-92EA-4160-9F68-FBE7CF9AD91F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"353c79b669e0187b74f742c3f91bbbb6769a1a20","datavalue":{"value":{"time":"+2013-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q384705$A66DF687-2104-4A1A-A3BB-444D429F92A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384705$303CCBB1-44A2-4905-8EBC-A8CF8FFCD520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1771d004de8cac5ddb7a12e758f3bc8078dfaa4","datavalue":{"value":"6234325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q384705$EA7D11D6-92B2-4AEB-9150-640FF155A11E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$C02A6D2A-FA84-4E49-9E2B-FE63C9E14D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$1A70FB94-2D16-4848-97E6-B74ACDD01D45","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":"Q384705$3715AF43-B049-44EA-8F67-726ABBB8A9E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03994e2bcdba9baae1578d33a5b5002491c2d681","datavalue":{"value":{"entity-type":"item","numeric-id":5386252,"id":"Q5386252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$8BA8C173-4D84-4E9B-BDFE-A1AA8C5EF06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a0f1ff8ee4d94e4f956198a4597447c17b2441","datavalue":{"value":{"entity-type":"item","numeric-id":4824978,"id":"Q4824978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$CAA6E542-58EE-4DBD-A7BB-8579C6383C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3348c4f23a620a7654545e9e3737b9f755ba6069","datavalue":{"value":{"entity-type":"item","numeric-id":2643301,"id":"Q2643301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q384705$A41CCBD9-A70F-4F75-8AA8-D6ED6F6CC301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd89139d78bc0e85fe0e3aec67d30dacc4ddd03","datavalue":{"value":{"entity-type":"item","numeric-id":2487689,"id":"Q2487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd7fe7d3e278df93db921d514899906217a581a","datavalue":{"value":{"amount":"+0.7113999724388123","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":"Q384705$8BAE8D1F-1C0C-4F83-A5D6-730CD7D16B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ecc2cc5e0606751dfe32ccb7a2556cfb02f98","datavalue":{"value":{"entity-type":"item","numeric-id":685120,"id":"Q685120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3445e0dd134153356ec4e53e4a0a5cb4d629700d","datavalue":{"value":{"amount":"+0.6966652274131775","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":"Q384705$30374A90-B734-485E-AE2B-6C41E1C00FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f00b3334fa57b42ca73059a8b39be91a546b996","datavalue":{"value":{"entity-type":"item","numeric-id":2771060,"id":"Q2771060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52b8f1a4be09ad2f933d86636a9360a25fd91a9","datavalue":{"value":{"amount":"+0.6844391226768494","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":"Q384705$F6511D21-BC51-4E40-8A44-6DF7339DEB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac465e3dfb86a054486c108bd7298a829cf3bea2","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c5f2fad5853dc6e7192de101028228ad35d4de3","datavalue":{"value":{"amount":"+0.6844390630722046","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":"Q384705$C33E80BB-292A-400D-A410-955850AF53EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f713c9571aa1804adb986755abe9095fa810f48","datavalue":{"value":{"entity-type":"item","numeric-id":4446266,"id":"Q4446266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c18f26bfdcf65f70466d42fc276933db74746f2","datavalue":{"value":{"amount":"+0.6593666076660156","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":"Q384705$6F997E37-54C2-4BCB-AAB1-5F00C831649C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of logical descriptions with functional uncertainty based on logarithmic encoding of conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_logical_descriptions_with_functional_uncertainty_based_on_logarithmic_encoding_of_conditions"}}}}}