{"entities":{"Q5291135":{"pageid":7320709,"ns":120,"title":"Item:Q5291135","lastrevid":49827052,"modified":"2026-01-11T02:39:17Z","type":"item","id":"Q5291135","labels":{"en":{"language":"en","value":"Specification and verification for semi-structured data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5022146"}},"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":"Q5291135$C6DE538A-5DDC-4282-857F-B8B1AB809872","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3efe6c327490234811d8a4165de5a490363f0b5c","datavalue":{"value":{"text":"Specification and verification for semi-structured data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5291135$C7263D5D-DC5E-4955-839A-662F10788DB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c01753fc3038ece048f740499da719a66ad90e89","datavalue":{"value":"1097.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$2C9F840C-EACE-4A10-8DFB-287FC42D1E98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4745ef288a5ae126c4b89f7a1bb8f8cae60988d","datavalue":{"value":"10.1007/BF02831713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$FE2FBE01-C615-4A3D-85B9-E6370465DEAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56f2720d61eed3832eaa70475ebf459e0738ce91","datavalue":{"value":{"entity-type":"item","numeric-id":310083,"id":"Q310083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$05619820-3277-4EA4-B1F5-88AAD57FB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7212e30b632f2e93de3964c7abeeef134479d1ec","datavalue":{"value":{"entity-type":"item","numeric-id":458373,"id":"Q458373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$D84DC134-48CE-45F0-BF84-216EB102A151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7c0d9c509eb74be8ff2fdfc3b34e499a4f6cafc","datavalue":{"value":{"entity-type":"item","numeric-id":971581,"id":"Q971581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$D96A5B29-5A73-4BE8-99DC-C1D58F659EC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da6c3bde1d53b9276d274adf44be0660a4cc1351","datavalue":{"value":{"entity-type":"item","numeric-id":2712654,"id":"Q2712654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$9BF50E11-0043-49BF-98B7-9946FBB1C1FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9597f413246d561c71f53debbfd7d35f070a971f","datavalue":{"value":{"time":"+2006-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5291135$E30A6238-E0C0-4F1D-B7CF-C3E1363DB280","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$4B8C5143-AFA9-46D0-9902-B2215DA16493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$6959475E-2BD7-4B45-BAD7-1C34B8C9048C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$3EA01D42-B1B0-44B9-B769-855B69C7CB1C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84a47a79c3d0145d74c98bb67d35070d4a5c6798","datavalue":{"value":"5022146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$E5798E3C-F3C3-4171-9AB4-A6CCD581ED20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5291135$F39BE90D-8419-4D9A-B79C-4B5F6475D77D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"00d4029d9cf7127dfd0df0c7ad94ee627d875320","datavalue":{"value":"Q114693369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$0D7AFA07-FDF3-4C24-93A6-3C5E1F3DDD84","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":"Q5291135$B9FD12B1-E7F9-4710-8A6B-AC02592C00A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec42b90297b26fe3f31f8daa839dbb32e166d6b","datavalue":{"value":{"entity-type":"item","numeric-id":3367666,"id":"Q3367666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$FEFB449B-DF36-4683-BA25-C4552AD94C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cfe35b9599eb4737f70f7b21b49d7c03e204b7","datavalue":{"value":{"entity-type":"item","numeric-id":5714431,"id":"Q5714431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$93B8844D-2027-4615-B361-D2D63975EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$B3088E44-1CF5-41BE-878E-E73BF42938F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b50b46c7b2ad4740d4400217ee7695ad85aef0","datavalue":{"value":{"entity-type":"item","numeric-id":4783317,"id":"Q4783317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$BC1EF87A-2A14-4DBF-A423-332516CCFC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82cf9bb4f5bde68e99ec2bc8ae649afd63e8d93","datavalue":{"value":{"entity-type":"item","numeric-id":1176250,"id":"Q1176250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$F1E6DA31-3EE4-44E7-AB35-00EF295F83D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543dc422b5668e3887aacfa58839071e9ea6dc4","datavalue":{"value":{"entity-type":"item","numeric-id":4417861,"id":"Q4417861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291135$F8E33256-5363-4637-8C50-5CC3630DF2EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"deeaabb4566650ee43e196134f60ea823c8d67e8","datavalue":{"value":"https://doi.org/10.1007/bf02831713","type":"string"},"datatype":"url"},"type":"statement","id":"Q5291135$EF4A6959-407D-4BA3-9F28-8DFA61D1319F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7aad0f3d1e56f462fbdc06e768690706d5cc49b9","datavalue":{"value":"W2067242110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291135$555DB1DC-A64E-4959-B3AC-9237F3BF3821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dfa7a5c6f894d2a3369a31be19e24fd374b5fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5697794,"id":"Q5697794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3bc3aca9b58e289905699a5614780c31c196233","datavalue":{"value":{"amount":"+0.7851594090461731","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":"Q5291135$80116848-026E-4214-ACC6-D13A71E38078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a375ac1c33e075b4c0f417bd50174d3217b3d45","datavalue":{"value":{"entity-type":"item","numeric-id":4819113,"id":"Q4819113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dbc8e66a204279a75722366f7eb3e37a1b8f71d","datavalue":{"value":{"amount":"+0.7230789065361023","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":"Q5291135$106DF08B-DA38-49E5-A8C8-E2CA28F3E894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12c56559dbaddacae10d26b99ae54673b13b6a6e","datavalue":{"value":{"entity-type":"item","numeric-id":2763663,"id":"Q2763663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c098b5eb116b4c0aae38c4d37f24b2d6345e6fd","datavalue":{"value":{"amount":"+0.7227451205253601","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":"Q5291135$B9E07B0C-E973-4E88-A0FD-600DA5FA3CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4106cf06cfd9a268741a15fca4a70cc271e83a9","datavalue":{"value":{"entity-type":"item","numeric-id":3046899,"id":"Q3046899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80246373ae768f66942fa359e156840295312e3f","datavalue":{"value":{"amount":"+0.7137152552604675","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":"Q5291135$E2369AD6-F8DD-4D1E-BE75-B75BA578AD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d531c02f82886d5e4ab19894c6cf343ed46385b","datavalue":{"value":{"entity-type":"item","numeric-id":4644610,"id":"Q4644610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6382e253f6ecb712e0dc5911ae7049a0e4e9baa2","datavalue":{"value":{"amount":"+0.7121067643165588","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":"Q5291135$84BDEF29-7277-43E5-B1E0-9A3560A20057","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5291135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5291135"}}}}}