{"entities":{"Q878758":{"pageid":880606,"ns":120,"title":"Item:Q878758","lastrevid":65070507,"modified":"2026-04-12T00:06:51Z","type":"item","id":"Q878758","labels":{"en":{"language":"en","value":"Specification and verification of data-driven Web applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5146910"}},"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":"Q878758$42661552-74BF-482E-B074-7A945373BC1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d94f63372b436e47043ee4b5fad669c6b98cbef8","datavalue":{"value":{"text":"Specification and verification of data-driven Web applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q878758$0EC2BC89-46D6-4A9C-8392-E5A451699C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b594497c5c57900bdbbd9a6c86178708e8e31d92","datavalue":{"value":"1111.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878758$D869318C-8D17-4827-B240-050455ECDE51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fed90f8618f223d8e4fdaba27cefd5b066a4efc","datavalue":{"value":{"entity-type":"item","numeric-id":555767,"id":"Q555767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$CE6BB112-740A-4C87-99BA-7C792B4E376E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26afc4aec65cda575f3f931a1c204f98a8dc1544","datavalue":{"value":{"entity-type":"item","numeric-id":878757,"id":"Q878757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$C5AD563B-3683-41A8-9222-6C4572797F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6229ce91bd04dfd8e4a4b2051753c370a830dd6c","datavalue":{"value":{"entity-type":"item","numeric-id":269322,"id":"Q269322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$D7A0EA2F-9790-4443-AEA4-45A22DACF79E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$1EF6C5F1-849E-4F59-BAD3-9B13B2DE9632","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"018eb3d5a1529ba4d911dfe810dafc033402deeb","datavalue":{"value":{"time":"+2007-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q878758$ADFDBC8A-0DC0-42CD-BA0E-5558D0B88A40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878758$6017E569-DD19-49BA-99AA-49F080EEC169","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20f16b3e387dd5a848a18da3bc22b0e7ce709260","datavalue":{"value":"5146910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878758$CC821412-07D8-43DC-AEFC-BED95F584DD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q878758$4EB73082-1F59-4DD2-A7CA-4207CAFB209A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db4a7c0c85d03dc093a5a20017ec73819316d35e","datavalue":{"value":"data-driven Web services and applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q878758$255EA929-B14F-45A8-B97E-16D60386D815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab4089e9f11f3d71967c78b65a3be7419831962","datavalue":{"value":"relational transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q878758$D590459B-9B7D-4F33-BCD0-9D67E0932681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33091d86905202af08d9012d6e5fba9f5ed72f62","datavalue":{"value":"infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q878758$991CF226-5DF9-4744-B8ED-378B0DF8E68F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$D3D98A25-E055-4F66-80FA-39913DC7A461","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":"Q878758$FD798A84-1ED0-4269-B951-051D8237C9B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8152e274047c60b630b101be06dabe8be8e35c0","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2006.10.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q878758$BACC449A-228C-4FC2-826D-62783DB02578","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f0010feeb1d7c6dd7cdbc7681e0fc5392e4a701","datavalue":{"value":"W2028980140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878758$F0EA8B77-98BA-4FCE-8B64-DB12B465DD3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$BB852CD6-F870-4908-8E14-6F4D57A03FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7296ba924b0103a533117515279cf1d144f6512f","datavalue":{"value":{"entity-type":"item","numeric-id":1591155,"id":"Q1591155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$129D9874-3C5C-4D8B-8EDB-D19DA5E8514F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791211e6c6dac8ec5be1fbb44314e284695ed4dc","datavalue":{"value":{"entity-type":"item","numeric-id":1341707,"id":"Q1341707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$1E56BF04-6F99-4F93-9D0E-DAFDBFF1D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$94460C81-9B7D-4952-8BCE-2E299AD8400B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4f258ed239fe378c0bff480f42a312594ab58f0","datavalue":{"value":{"entity-type":"item","numeric-id":3740280,"id":"Q3740280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$239F203E-CC6C-40C6-8F4F-31658871E3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b628579247ec80dbd3352c8077186a6cb372e951","datavalue":{"value":{"entity-type":"item","numeric-id":4739565,"id":"Q4739565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$0086D155-052A-4314-9619-DC96E22CEC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$9A2D8812-DD3E-46B2-A408-4700756B6138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$3706710E-E959-4F3A-9FDF-95358F269714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$18ABC8BA-43F5-4FE3-9D57-8BCB0E274F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ea2bcc0cb6076c3a86643bb3aa7beda22969f6","datavalue":{"value":{"entity-type":"item","numeric-id":4417897,"id":"Q4417897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$A475D447-6BBB-4111-8809-D0ACD3AD2990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$79DC3F7B-362F-4C53-A85D-3F36B025B3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$A0916215-DC68-44DF-953D-27CC14DEAC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$D8045AE5-6C8A-4D4D-BE3F-20AF6D371BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946b8e9b817c600796fd3dc5172812c10db31499","datavalue":{"value":{"entity-type":"item","numeric-id":2753716,"id":"Q2753716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$7B4CDC16-924C-425F-8F34-0C086C4496C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ebed7d97bca210ecad65268acda07ed26c0942f","datavalue":{"value":{"entity-type":"item","numeric-id":1394796,"id":"Q1394796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q878758$ECCB0C0A-7AEB-4646-AEF9-56A545D02555","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01f04f4fba5c8eb0331407932b2aa8a76afb23c5","datavalue":{"value":"10.1016/J.JCSS.2006.10.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q878758$302DD826-0EC2-4DDD-B6D1-E3E660DFAF39","rank":"normal"}],"P1643":[{"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":"74e1e792eb9f5f04688b1230542ff2ec773bea26","datavalue":{"value":{"amount":"+0.9086284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878758$6128C06C-9227-4364-9182-0FD1BB81E5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f0ab1eb857ea21e8a0169da426e2f843b413e6","datavalue":{"value":{"entity-type":"item","numeric-id":2847799,"id":"Q2847799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85871e413ef49ab025ca73d6e658dbe93db5c6da","datavalue":{"value":{"amount":"+0.87516034","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878758$75D4F99E-76D8-4B40-98DB-DB74B629FF61","rank":"normal"},{"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":"2a960c876471a1119d0732e637b4532fc16fccbe","datavalue":{"value":{"amount":"+0.85970414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q878758$47B6AF97-B772-45BA-9988-4D82B6663066","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and verification of data-driven Web applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_verification_of_data-driven_Web_applications"}}}}}