{"entities":{"Q5326350":{"pageid":7355924,"ns":120,"title":"Item:Q5326350","lastrevid":51790490,"modified":"2026-01-20T01:30:23Z","type":"item","id":"Q5326350","labels":{"en":{"language":"en","value":"Model checking database applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194861"}},"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":"Q5326350$837093D5-A1E6-4CD5-A026-24AF81EADA07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b5b27dfbd595bf0d0dfba5a6b27da3c3530ff0","datavalue":{"value":{"text":"Model Checking Database Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326350$61DBB954-B63E-4559-8A07-343CBAC16875","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ebbe2c2a9d36d2c3dfd16796efa4a4daad5dee7","datavalue":{"value":"1381.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$49B730A1-AAB7-484C-AA6D-D07ABC34C2A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ce41fa772f43cc442a4bd2fc0fa8f1be98d39b6","datavalue":{"value":"10.1007/978-3-642-36742-7_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$ADAB3892-BED5-4851-B92E-8EFC8586BFF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87fbfcb69dbfb495d3ea58acee66aa8c55a5342e","datavalue":{"value":{"entity-type":"item","numeric-id":2298260,"id":"Q2298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$658E6A78-7459-43EF-A9E6-11836A698770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$2948F362-F414-4B83-A7C6-51F54C421787","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$AD24BFCF-98C5-4E37-BA05-138A721F91C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-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":"Q5326350$96A82E13-16AB-4191-ADE4-4D43855FF4B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$D4B00353-4712-456C-A96B-6FBE4F597179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$B4DE256A-B34C-4F5C-8215-0BB5801653F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$2A46EB32-A403-40FB-BD5D-413A4621371F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$F6970BD2-DAB0-4B35-B0C0-B95CD8D84C38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"76531dd6ee95659e24fa3f44d8da1cee01dc7173","datavalue":{"value":"6194861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$591FE452-350C-479D-B59B-1A2B54085A07","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":"Q5326350$DF742223-FB64-485C-9F4E-E0061A5424C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$DB5F8398-9D38-4461-8A4B-1DDD48E1D5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$AE916F5E-7EBC-441B-9851-06C35A3B7871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$3CFF532E-421D-493D-9F86-E7AE2E2D776F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0264c458824c0394336bb6cc942a0d1696a3763","datavalue":{"value":{"entity-type":"item","numeric-id":20920,"id":"Q20920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326350$47E4EB26-506C-48E6-AA68-F49870A26577","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":"Q5326350$1C713248-C10B-4C53-AC27-2CB8CA0463FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"750b4faf8b7512987223cfbbd0afd07206d3de6c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36742-7_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326350$0868BB13-D796-47A5-92EB-8A7F115FBFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ff058d0e198cbd8cde1aadd25409266cde65958","datavalue":{"value":"W2140782052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326350$5A7B0D13-80BC-413D-8E30-979AEDBB6E30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2164f0576e69d10dcd86ec792c6932288b32c2c4","datavalue":{"value":{"entity-type":"item","numeric-id":3512481,"id":"Q3512481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7429f0e6c7f24270040d0837c3084f5e3909d3a","datavalue":{"value":{"amount":"+0.7203448414802551","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":"Q5326350$E6F9C401-7066-48C4-9F05-4F4006680B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5524cff0616612c807dd7e1253e6d0cbf1ab6931","datavalue":{"value":{"entity-type":"item","numeric-id":3174909,"id":"Q3174909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bccb1d07575a33f079b22261e479b9b100afb24","datavalue":{"value":{"amount":"+0.7186698913574219","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":"Q5326350$055E4329-2212-4A9C-A601-776039E4634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70738f7cdc8f542eede1cd4bd2a4a854e4760dc1","datavalue":{"value":{"entity-type":"item","numeric-id":5316588,"id":"Q5316588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa6d3a545bc1c256a17679f42300b5a4d9496ea","datavalue":{"value":{"amount":"+0.7170807123184204","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":"Q5326350$FDC2BAAE-BC6A-44C6-8501-3D704331BEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc3ce16abe84e913d3958075dadeef11a8e7a2b","datavalue":{"value":{"entity-type":"item","numeric-id":878758,"id":"Q878758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afe3850bcea8b6fcebb85e9d82405fe6e8505f5c","datavalue":{"value":{"amount":"+0.7156938910484314","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":"Q5326350$E22FF5D5-D858-4249-898B-0832A73FC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbbc027c90e91e43e67248d4a356a37f6d5a5ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4553259,"id":"Q4553259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"047fbfcb459874d1f03396e5c0896e66f368543c","datavalue":{"value":{"amount":"+0.7126340866088867","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":"Q5326350$C3E07AC6-B49B-47E2-A484-383CE0AAF441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326350","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326350"}}}}}