{"entities":{"Q6567723":{"pageid":14178878,"ns":120,"title":"Item:Q6567723","lastrevid":55703683,"modified":"2026-02-17T21:20:13Z","type":"item","id":"Q6567723","labels":{"en":{"language":"en","value":"Formal verification of algorithm \\(\\mathcal{W}\\): the monomorphic case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876670"}},"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":"Q6567723$799C1E3E-B473-4F9D-8651-9D61DBF15FDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea0a7104f91e60c3ecd085e410c3a4718685baa6","datavalue":{"value":{"text":"Formal verification of algorithm \\(\\mathcal{W}\\): the monomorphic case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567723$0BC9879A-A58A-4761-84D2-0C25196FAD15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aa95ece5e79a67d8856816af6ac988441698685","datavalue":{"value":"1543.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$3CA5CF27-B045-491B-9E77-695559ECCD76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65a3f50079372433eb11d1b825685c889dee8cf9","datavalue":{"value":{"entity-type":"item","numeric-id":2956731,"id":"Q2956731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$2BFC88BA-2D5B-4B50-AC47-1F89E6B97DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$B004762F-FB35-4066-B824-9E3B1BC8FAF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567723$BA5BB4A7-A8D0-4FA8-8F58-400D0A3EC6A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$9D1AB2B5-E7B4-40F4-9FDB-CB6FE8DFA00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$BE4E2D11-129F-49A8-8E96-F666BDD38ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$FB2131C6-D57A-47F4-815F-152B56D1DCA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5362e328e298a5020283050a9740930805b007d","datavalue":{"value":"7876670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$CCBC3E89-B3AA-4CB8-A503-A5647D6CB245","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":"Q6567723$7B1CDFE3-AE84-49C9-A9E6-55DF6448C963","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed2a2004efb6e2abcf40bbf5b8584255ec1bff81","datavalue":{"value":{"entity-type":"item","numeric-id":580956,"id":"Q580956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$EA354862-1707-45A5-BE27-1A2A1A7256E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$2C6E03C7-F1C1-40B7-82EF-EBD1DE0E8345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$E67CFC04-4D25-4F1B-A67E-C4C55467143D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$53E8C6AE-4507-4579-9518-034CC65519BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$5CFC8698-0952-4993-9210-4B42AD41E98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347ff5e243a44fe280b61636b43f4d0e72b66679","datavalue":{"value":{"entity-type":"item","numeric-id":4281480,"id":"Q4281480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$6F0257E0-B088-46C1-8321-C80CE800B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$B94BAF0A-8445-43E6-9849-AE919E36C8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017089f1b8820cff138bb4305c5e5fd1db1ba3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$B8DBC4CB-9B49-4C88-99AA-6E8D4FC33BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$66D2FF80-E0C1-404C-AF9C-BFFA8441170F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4792bfcc0ce52da3d2cca69da6156e7ab647b8ee","datavalue":{"value":{"entity-type":"item","numeric-id":3024849,"id":"Q3024849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$E61EC726-28E6-4B4C-BF18-980B77CF47BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$4BC3F75A-6BF8-41A9-823F-DB68106A5A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ace9385f5e19244160232de5aab0108b07038e","datavalue":{"value":{"entity-type":"item","numeric-id":918190,"id":"Q918190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$BDAB86C6-EA20-4732-8254-FB061D611960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b5d59f3624f21c2d43731419df26dd8d547233","datavalue":{"value":{"entity-type":"item","numeric-id":3787979,"id":"Q3787979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567723$685225A7-53EC-4321-B5FB-9EDC4416AC5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10722e6aef0f6b4efb009cb8c94a9de341cda0f7","datavalue":{"value":"10.1007/BFB0105414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567723$2E575E23-38AA-41F3-A65E-C188C761B541","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa085ac5ba0c4b8a88a3f802d2741d0b756a39cd","datavalue":{"value":{"entity-type":"item","numeric-id":1961917,"id":"Q1961917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c9bcf04970603c7dde4f0672b8a96eac3ecab5","datavalue":{"value":{"amount":"+0.9029801487922668","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":"Q6567723$AD43234B-9BAD-402E-80D9-7BD322353E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8355bce734d3f9ef7c84b1408dc15c4dd2671ab","datavalue":{"value":{"entity-type":"item","numeric-id":3400637,"id":"Q3400637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7363141c2b06d4981fdcbd4c3110d0b71463d6","datavalue":{"value":{"amount":"+0.8946018218994141","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":"Q6567723$FBF80677-1FFC-4927-9BD6-0FBC2147A8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1524e2bc38596abb0d01361675a5dbda671013b","datavalue":{"value":{"entity-type":"item","numeric-id":4246952,"id":"Q4246952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b2ab7ef0bc5b01a70ac94853d65fb26b5111bad","datavalue":{"value":{"amount":"+0.8522640466690063","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":"Q6567723$D625E7F7-5A2D-4E98-AB64-956DC9FE10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad75dd62ec10db61a132203b18a115cc71365c0f","datavalue":{"value":{"entity-type":"item","numeric-id":2798047,"id":"Q2798047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5383c064cb9baa9bd202eb508c7af27a0f4a69ea","datavalue":{"value":{"amount":"+0.7633320689201355","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":"Q6567723$5F5576A2-7DBD-49FD-9284-4207259567B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae2d6615a66fc1aba3379f1fd42f51e97db257e3","datavalue":{"value":{"entity-type":"item","numeric-id":1961918,"id":"Q1961918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e69c90d9eb7ca1f74bd457eb42b63d38df4a2c","datavalue":{"value":{"amount":"+0.7621297240257263","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":"Q6567723$7D32A5C5-102E-4FF0-8E2C-E8A86374AE54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567723"}}}}}