{"entities":{"Q609020":{"pageid":610796,"ns":120,"title":"Item:Q609020","lastrevid":51138641,"modified":"2026-01-16T21:29:10Z","type":"item","id":"Q609020","labels":{"en":{"language":"en","value":"Theorem prover approach to semistructured data design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5821050"}},"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":"Q609020$295C9126-E753-44E2-9B2D-0B1ECEA2603E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3006a6540f8cc10830c2c5df5983536a5d1ec414","datavalue":{"value":{"text":"Theorem prover approach to semistructured data design","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q609020$21318FC2-37F6-4053-AD36-558C9962C9B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10028f4ecdff0d8d706cba35d042594bdb0831fb","datavalue":{"value":"1207.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$E69D2605-C26F-4B52-A2F7-A7A2885723A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ea2cc1baa8d049608a8c3c96fb76526a30882f","datavalue":{"value":{"entity-type":"item","numeric-id":609018,"id":"Q609018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$63E4999B-FCB3-40C1-90D8-E7FFBA7187A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64812be559ca9efbb5bba363f5e01e9665148f4b","datavalue":{"value":{"entity-type":"item","numeric-id":609019,"id":"Q609019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$738770E1-3EFA-4790-929F-42502DE91842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bb979099c8491d1c4ab08dc4b324da133551018","datavalue":{"value":{"entity-type":"item","numeric-id":319218,"id":"Q319218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$24688A34-EC31-4728-8B02-89E963C71807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a8f0435668451d4af20db6101d27b6646d4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":470037,"id":"Q470037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$65325965-28E1-49C4-83BC-BB286104FD0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$8C9425E3-4D54-47B0-9573-BDC03C6D6309","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d79904792f78d2cc73c1d1b423fae3a75299b4a","datavalue":{"value":{"time":"+2010-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q609020$6AA905FF-005B-4EC1-972B-B99E2D85225E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$F425D289-58DC-479C-BBC2-0AE5B5177F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$17CD7D2A-777E-4DA6-A625-0E9B7B9C491B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$DD9936C5-C31D-4BEB-B249-E59C4A253960","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"996d4614268b880291d34d22d50692bc6f4f6a5b","datavalue":{"value":"5821050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$A0481319-7683-4E52-A8B2-7A2D23D6BD33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$8EC3E207-FFA6-400B-A969-57B75F67568B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$B4B181E5-8A3A-460D-AF5D-1DAE2A7D4A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa096bb4416eaeef3e6a5e7c1110305e9fa0291a","datavalue":{"value":"semistructured data modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$5F0DA76F-6D0D-4D17-9847-7BCC4B03B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eccbbe633bbe2db9d28d40b82d6fde09b5429641","datavalue":{"value":"schema normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$11E9094C-D5B2-4FE8-B28F-B579AC104627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$B78E89E9-FBC6-430B-9CD2-0BD1BB102371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50285463d277a565dd616681317f44a7ae5b7d3","datavalue":{"value":"ORA-SS","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$108AE70B-8E69-43C3-A890-F91129F8E533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q609020$0B3D9297-CC45-4AA4-8066-C351BAB2407A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3d462540f722a2283c36b3914071c269c072e850","datavalue":{"value":{"entity-type":"item","numeric-id":42710,"id":"Q42710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$47C93B0D-D496-46CD-BA34-9FE4BAA56F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$A1891A72-F5E2-4105-9311-A81A913D65C1","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":"Q609020$8DB0AF7F-4190-46F3-9C3A-67D46DD91D8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"758facbe28d6893f2fd218622a9f0345143d2b65","datavalue":{"value":"https://doi.org/10.1007/s10703-010-0099-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q609020$D0E9EA01-663E-414D-B289-7A62803B8FF3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c021f171f5fc24c087497a03a61bf96c8c31faa7","datavalue":{"value":"W2052690664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$3E010535-018C-450C-875E-E01286F882CA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa34691d04bac47846712313da9020469524f63e","datavalue":{"value":{"entity-type":"item","numeric-id":4445643,"id":"Q4445643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$883C1B09-C188-4E71-B7C8-36FE4E54BEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e33f2ba68cf579a64ec9052f36b74382f20bb1e","datavalue":{"value":{"entity-type":"item","numeric-id":3647216,"id":"Q3647216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$48505702-1742-478E-8C00-AFADA41EFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c67f75793ee6510c2f1fcf2d2ed9021025114d","datavalue":{"value":{"entity-type":"item","numeric-id":4260084,"id":"Q4260084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$70AD86BC-AF6E-4B6F-B7BE-8A45E4259E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b0b5bd180abd88873c6ec146b94b4dd41248c4","datavalue":{"value":{"entity-type":"item","numeric-id":4441490,"id":"Q4441490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$86F2E4CF-6F3A-43BD-AE5E-7628AF15C954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5af5935cd38e3cda6dbbe5c75fcc49989b7f74b","datavalue":{"value":{"entity-type":"item","numeric-id":4473500,"id":"Q4473500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$41DDCEB0-07B1-4BC1-A0A8-387C875AE0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2599506b761f6ddc2f9b7528edb9c1e7b0c44a","datavalue":{"value":{"entity-type":"item","numeric-id":3543645,"id":"Q3543645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$64F13A94-1454-4FCB-8984-48C8CAD1C0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080cefaf2f01d19139d0c66e8af89463e3abee95","datavalue":{"value":{"entity-type":"item","numeric-id":4530805,"id":"Q4530805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$A7980F53-BC42-4133-977D-DD3BFB6FBDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa2f18b94fb1f9276753e5312462f101bca1788","datavalue":{"value":{"entity-type":"item","numeric-id":1859519,"id":"Q1859519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$6D4805A0-3EFB-43AE-8367-CD3091EB780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3cb1579061350153883057606908c539072c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4680808,"id":"Q4680808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q609020$42C3848C-F29D-4519-8B6F-C13299A1E7D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ab22b2bafef57cb7dd8adc51e52838d6119a55a","datavalue":{"value":"10.1007/S10703-010-0099-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q609020$29AE68CA-9B60-457D-A738-37051707B2FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd1ad2c39f8493a5976b73ed743ea032e92eb1b","datavalue":{"value":{"entity-type":"item","numeric-id":5429188,"id":"Q5429188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f682229922a33d2852f6a472c9db6bed7f56fbf9","datavalue":{"value":{"amount":"+0.7409673929214478","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":"Q609020$5958F601-3698-4CA0-A400-25DF892C3A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7751692d539438a1327e59b29e5a8ea63fdc5e05","datavalue":{"value":{"entity-type":"item","numeric-id":2852083,"id":"Q2852083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26118d3dad16c758dc1303d4dc64446252748f53","datavalue":{"value":{"amount":"+0.7148838043212891","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":"Q609020$071E00D9-AAC8-4A36-84E5-D4BB6C63D881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c37acbf754a0515081e86e106e398060fc27ffe8","datavalue":{"value":{"entity-type":"item","numeric-id":5291135,"id":"Q5291135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2070fbfb60a80e03b996858235636e73e49b991","datavalue":{"value":{"amount":"+0.675422728061676","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":"Q609020$35024E56-11BA-4C7C-91D6-CF2DA84BC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4deeb43f6b2b9c6ae9abf3dd53fca42553589da1","datavalue":{"value":{"entity-type":"item","numeric-id":4652394,"id":"Q4652394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5572875d2bc12f7a3af9f8c1e8abef6ef42a7bfc","datavalue":{"value":{"amount":"+0.6557443141937256","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":"Q609020$53C990A8-C71A-4B54-899A-EDF5C42F75FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a0e6b204aeb44da7655072b1a414c4dab2f8d94","datavalue":{"value":{"entity-type":"item","numeric-id":2018423,"id":"Q2018423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e0dbedc147fbb7a99fdea24a23a06d517ce52c","datavalue":{"value":{"amount":"+0.6529337167739868","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":"Q609020$62FE2C16-5E10-4F9B-859D-7825199D682E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:609020","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:609020"}}}}}