{"entities":{"Q1856180":{"pageid":1866922,"ns":120,"title":"Item:Q1856180","lastrevid":69121827,"modified":"2026-04-13T04:55:26Z","type":"item","id":"Q1856180","labels":{"en":{"language":"en","value":"Behavior analysis for validating communication patterns"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862288"}},"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":"Q1856180$1A6711ED-425D-4CEE-B48C-6DD34457EEBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15a70dc923a55ee40e1699518b8b0365193e2292","datavalue":{"value":{"text":"Behavior analysis for validating communication patterns","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856180$D184DB91-72CD-4D12-93D6-0DD2763B1100","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba0f90fcad380ee516f5465a025c8b70fd0d2eb","datavalue":{"value":"1060.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856180$5DD62049-1D35-4587-9278-7EA2C7F853E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c99b545c7552dc10b633a7e0065b9914032c04","datavalue":{"value":{"entity-type":"item","numeric-id":859951,"id":"Q859951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856180$05212ECB-54C1-4941-84D0-0F0636EEAD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856180$11616E72-7114-4AC3-97EC-05EAF03FF834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856180$C68FA4C8-7AFB-4E09-9341-D4CEA001763F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856180$CBC278D5-AFA1-496E-80D5-4DA97017E8A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f4657432f41b43c1846ecc251d3ec440dc26ae96","datavalue":{"value":{"time":"+1998-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":"Q1856180$94036095-ECF2-40E1-9AA6-70A84E249EFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856180$165AE6D6-0F03-4F87-98D1-EAB22D16EC16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8de38bb9587101c9a2ccdfae90282a33255ff87","datavalue":{"value":"1862288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856180$CFCB61D6-566D-4111-B25F-CE5BE6B0308E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856180$1666FB25-01A2-4A94-B38E-FB05113CEEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee6da12b1265b3ee51b3da75458de6e55a562821","datavalue":{"value":"concurrent ML","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856180$DF8D8C8A-ABC0-48D6-8253-8940CC7E03E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c414403643a473aa76edef8cf1861d80e4df020","datavalue":{"value":"type and effect systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856180$1E9F26E7-8155-4643-82CA-42B70CA1DB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a219aa5849c91a5d41742688dfadd7ed47b754c","datavalue":{"value":"validation of safety conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1856180$6B42E669-CFD9-4B29-B8C6-1223DF529AED","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856180$AB9CF2C4-7A5D-4C76-B8D0-35645E2D7C15","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":"Q1856180$4888C491-E566-4C55-A00E-C6678BBD9D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a8feda68fd9ffd5c3d8de99e5982d217774d480","datavalue":{"value":"https://doi.org/10.1007/s100090050015","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856180$0BE84AAE-56F0-47A2-898F-674ABD40D8FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"505697ae16b3156235ebd1398f63cebcbc9c1bdb","datavalue":{"value":"W2008077860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856180$4E61CC1A-160E-4A02-A40C-97CAA5D3EB9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52487f28b0249e77e47c34e9323c4ad2794b44b1","datavalue":{"value":"10.1007/S100090050015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856180$9AFA943A-4417-4F3A-888C-6F47B57D6D9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff73617fcdfc8623e07c8be6aa5c8cf2946f57f","datavalue":{"value":{"entity-type":"item","numeric-id":4358460,"id":"Q4358460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ed7a0fea61573e7f98ca6866caf08f9533b88e","datavalue":{"value":{"amount":"+0.7136926651000977","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":"Q1856180$0ACB194B-92A6-40C3-B927-360C449A5434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f9724616ddcfd461cfe078391b9d84530184cad","datavalue":{"value":{"entity-type":"item","numeric-id":6116579,"id":"Q6116579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d071acc6495191d35d5c40c2efc8513237a793c","datavalue":{"value":{"amount":"+0.7093423008918762","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":"Q1856180$62E14771-09F7-4C37-8996-4A00D355416C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ea0dcf44aa308b1c6ef69e79fbcb484823988f","datavalue":{"value":{"entity-type":"item","numeric-id":3761686,"id":"Q3761686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bbdd537de31b7e35ebacc0c03dc12f6d0dab08a","datavalue":{"value":{"amount":"+0.7054831981658936","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":"Q1856180$1E57F317-A864-456E-B027-956907CCF6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11c8fadbbab5ba8f12e609ae2148dbc132aab1e6","datavalue":{"value":{"entity-type":"item","numeric-id":2753765,"id":"Q2753765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742ea3b462096ac366349824dd3d93b5bc05b88f","datavalue":{"value":{"amount":"+0.6976436972618103","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":"Q1856180$CBDB6341-39D2-4565-8D11-1513EB4A437D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962df6dbb14c6ebb12a35d10d2828e698a87d4a6","datavalue":{"value":{"entity-type":"item","numeric-id":672132,"id":"Q672132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"742ea3b462096ac366349824dd3d93b5bc05b88f","datavalue":{"value":{"amount":"+0.6976436972618103","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":"Q1856180$8FD16737-9CB1-4ED8-ADD9-CDC09E40A3D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavior analysis for validating communication patterns","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavior_analysis_for_validating_communication_patterns"}}}}}