{"entities":{"Q3090885":{"pageid":3101600,"ns":120,"title":"Item:Q3090885","lastrevid":51324806,"modified":"2026-01-17T18:42:46Z","type":"item","id":"Q3090885","labels":{"en":{"language":"en","value":"\\textsc{WiCcA}: LTS generation tool for wire calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5945245"}},"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":"Q3090885$A7CA74A5-6D9B-4DBF-80C8-555667657310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ccc6371c331d98b8ba34de7e5e553c9419a1865","datavalue":{"value":{"text":"WiCcA : LTS Generation Tool for Wire Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3090885$DE97CFD9-65E2-4105-BE79-2A2316F85DD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a0af8e59e31227ba06cb324e5383946cb2c1df2","datavalue":{"value":"1344.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$9201AE38-EF74-4ADB-86B5-D3A4C7CA4B4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ff388226cbff6039242cde406910971fb7c2f5","datavalue":{"value":"10.1007/978-3-642-22944-2_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$CFA27058-D193-4F0C-872C-AE4A4C2066B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"369bb14a31117d719d3b0cb9e17826d431176ba3","datavalue":{"value":{"entity-type":"item","numeric-id":3090884,"id":"Q3090884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090885$1049D71D-F2BA-4B80-BCD4-46015243C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bd160c8e2499dade66139ebb79e6fb014565bcf","datavalue":{"value":{"entity-type":"item","numeric-id":308154,"id":"Q308154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090885$0A493409-D8DF-4ADE-888C-FEE66AFD4E5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090885$E3949D1D-0C68-4E8E-B086-74392F17956C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d7295b9347873304d294896a31c0caaf61226a3","datavalue":{"value":{"time":"+2011-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3090885$64119E2B-FAB5-47C8-8D50-7A0A42C2CEDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$6E0CAB94-86C9-4056-B1D0-96EA22095CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$F3D8E4B6-67A5-423B-9FE7-F8F25527ADD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704b53434ef075f5353a1969dbc8cdff895ff2fc","datavalue":{"value":"5945245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$4F0B9082-1BF2-4917-8669-C573ED70D976","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51754c8b2365b75cbe877b8571790af789ee9f81","datavalue":{"value":"wire calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090885$C68B378B-C404-423B-8205-0ECDD557EE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090885$5AE81D55-E4B4-47CF-AB44-DD4DE9FB0DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff54bfc8f712790057e9700076a359d22ee1818","datavalue":{"value":"LTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090885$E423C90E-347A-4668-9F34-B530AAB59454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090885$8E3F5A4D-4FCF-4D20-B623-70AE7CF25076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c117ecefefa5256ddf0c34b8286b5a741fa3262","datavalue":{"value":"WiCcA","type":"string"},"datatype":"string"},"type":"statement","id":"Q3090885$171CAB7E-559A-40CD-9F3F-46B1CC798176","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a504cd3f8348d1592325ee4231c2785bc360690","datavalue":{"value":{"entity-type":"item","numeric-id":21742,"id":"Q21742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3090885$37CB6E97-823E-4C47-896F-E1BFEF86166E","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":"Q3090885$981B5F28-96D5-49CB-88D4-658FAA05E19B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"908aa599f4c04847c16e88737c1c95edcaaa5703","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22944-2_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3090885$2FD7EED4-2DD0-4E65-922F-283BA6546175","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"187704bf6ab9d6a43fc4be9bd19c5c8465875793","datavalue":{"value":"W1864634617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3090885$705CA75D-D952-4A7D-9589-1913EAA54F49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac08326519f3d5e298e8174b1613e65aecf4b26","datavalue":{"value":{"entity-type":"item","numeric-id":5216154,"id":"Q5216154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c1e429665a24067f3e6f09841da465caa1dc253","datavalue":{"value":{"amount":"+0.7263862490653992","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":"Q3090885$63D39030-9A2B-4266-90FA-2889A6121DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"484934429fab1bf0d9e97216c5e4377332a960b1","datavalue":{"value":{"entity-type":"item","numeric-id":5326325,"id":"Q5326325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c384b430b2328808714aba6140c31a776c1f884","datavalue":{"value":{"amount":"+0.6657208204269409","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":"Q3090885$9C70F4D0-5E46-46F6-95CD-AA1C40239057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7cc4ec4bf737035d0a2d153e92aab8c22a3029","datavalue":{"value":{"entity-type":"item","numeric-id":1004288,"id":"Q1004288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865c2ccef6e742e92a48068d9435720f8d67fc83","datavalue":{"value":{"amount":"+0.661189079284668","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":"Q3090885$A49E9C4A-7D9C-49F0-9044-9DADF25D46EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6301fcb6adf162a3dd50190e35740cbbb8c5eb27","datavalue":{"value":{"entity-type":"item","numeric-id":5170667,"id":"Q5170667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72131312fc9542b70d20a2b276532279dfc95e1a","datavalue":{"value":{"amount":"+0.6508334279060364","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":"Q3090885$F48A43FC-BA2D-45DD-B02B-60196C082006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c413ae3ec45441b68d55ee8f38edc0fccb47f074","datavalue":{"value":{"entity-type":"item","numeric-id":5166714,"id":"Q5166714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0eed89dc20e050f96c10db8933eaeea3159062a","datavalue":{"value":{"amount":"+0.6504248380661011","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":"Q3090885$BB47E893-85B6-436A-9CA6-CFCD9E98BFEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3090885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3090885"}}}}}