{"entities":{"Q2348795":{"pageid":2359538,"ns":120,"title":"Item:Q2348795","lastrevid":78590531,"modified":"2026-05-06T11:57:38Z","type":"item","id":"Q2348795","labels":{"en":{"language":"en","value":"Editorial for the JLAMP special issue on automated specification and verification of web systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6446129"}},"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":"Q2348795$CE64A789-BB69-4EBB-9FB8-BF6439F93458","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81eff506dfe6bcd4d09c0b2d521f0cc209748fcf","datavalue":{"value":{"text":"Editorial for the JLAMP special issue on automated specification and verification of web systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2348795$668DCC97-2E94-425D-8F67-F433403C2E7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f593544154c809cd34f7b2bb805ba628b0313e55","datavalue":{"value":"1314.00114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$B289D153-5B61-4420-A9FF-9477EE3DDCD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2348795$824D013A-9A40-4FDA-8342-5DD5B0E7C10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d7f049398d7ca1f7748c47a15922c4d86ab34","datavalue":{"value":{"time":"+2015-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2348795$E167025D-DB70-4705-AC8E-1B1F52E19E25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$0C58EDE7-05CB-4626-8F46-BFD295E73551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$CD785EB1-9031-44D8-8331-A2C78E102AF1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"672a023d3d988fa9d67a11a5f7ecc8f9754c087b","datavalue":{"value":"6446129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$1CCBC573-155B-4F1D-B3A1-07F9CFC92E8B","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":"Q2348795$EDAADD4E-FAF6-4D60-9AC5-4400BDD30787","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5a8b14ef7bd9e14bd04fe54aba1ed9bd052343f","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2348795$4B369AF8-E1E4-435B-942A-B1A06B3EA3FB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b644c19fd2ea565e4fc3e4be5c9ab5b7f64fd76d","datavalue":{"value":"W2220327434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$EF67E150-DD6F-4262-9D71-CDA7B567BF80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"799b867f394cab837ab57ba56829d4f40c57c21f","datavalue":{"value":"10.1016/J.JLAMP.2015.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2348795$C757B18B-31D2-405F-8C5B-8AECDDD6E91B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56828a3c1a9f6904716434dffabd32743f682716","datavalue":{"value":{"entity-type":"item","numeric-id":2436506,"id":"Q2436506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1207e7ea18bd9cda24b0a09a1dfda0b6dafd93b","datavalue":{"value":{"amount":"+0.9062862992286682","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":"Q2348795$D3BD9450-EEF7-40C3-A8FF-DFA05E65C09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a1364ee812c45aab46c9f1683ca593bae1e35bf","datavalue":{"value":{"entity-type":"item","numeric-id":511928,"id":"Q511928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d10fefe07e84bd9c5a82d2309dd8ce7f32a70b9e","datavalue":{"value":{"amount":"+0.8873507380485535","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":"Q2348795$2D944F85-E91F-4113-9C1C-E59214BAD7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce2c74b429d2d4fc312fba1dda4d8d48abfe6969","datavalue":{"value":{"entity-type":"item","numeric-id":739623,"id":"Q739623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d15d39d82e7e3034fb5f0e3282b8d5fb98d48ac","datavalue":{"value":{"amount":"+0.8604092001914978","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":"Q2348795$DBAA2F29-07CE-4F93-BFF4-180A221B84C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474cd99e511c82d6efa0179c9ba8871faf451c1e","datavalue":{"value":{"entity-type":"item","numeric-id":5965514,"id":"Q5965514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e84e93f95a82bf94d51eb978d06f872b306c08","datavalue":{"value":{"amount":"+0.709987461566925","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":"Q2348795$34166321-5780-4460-A48A-0609B426B3A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed8ee00645bec0d723ddb95a58da4facd79c40d","datavalue":{"value":{"entity-type":"item","numeric-id":2058384,"id":"Q2058384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be005dded9ff99c7c7965c371407ee8da44f0d1","datavalue":{"value":{"amount":"+0.7044036388397217","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":"Q2348795$BF91DADB-FE7B-4DE9-8480-28E98B219791","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Editorial for the JLAMP special issue on automated specification and verification of web systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Editorial_for_the_JLAMP_special_issue_on_automated_specification_and_verification_of_web_systems"}}}}}