{"entities":{"Q5208508":{"pageid":7238079,"ns":120,"title":"Item:Q5208508","lastrevid":53635268,"modified":"2026-01-25T11:38:27Z","type":"item","id":"Q5208508","labels":{"en":{"language":"en","value":"Formalizing and validating the \\(P\\)-Store replicated data store in Maude"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7152410"}},"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":"Q5208508$CBF39A73-1039-47C7-A0D5-AEE98234DC91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d85300cd42aa02b90004e05392e470c0289d2a2","datavalue":{"value":{"text":"Formalizing and Validating the P-Store Replicated Data Store in Maude","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5208508$4A513ABB-DDCA-4CC5-B012-403421CEC5B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9e45e8de4dc0c96f96dcaebfdbaa2570b7133f8","datavalue":{"value":"1496.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$CBB3A466-2F75-4120-8909-090B816B90A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a0cbf9ee9c1e2a69091720c3d3dda2be3f2b9cce","datavalue":{"value":"10.1007/978-3-319-72044-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$F4B41FF8-4067-4A2C-9EB2-1AB7C872D3B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208508$5DDFED7D-E66F-47EA-BEB2-BBA294BB1D7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208508$7DCCC0FF-5739-4026-802D-E2CE89DB68FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e7dda9f513b34510b8ef72a410fb933e4f2cfc48","datavalue":{"value":{"time":"+2020-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5208508$0B985537-EF82-4219-BC76-319BE729B73E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$E5293318-BFA1-4A97-8605-7C582E49086D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$F8CA4751-4914-4595-A1F8-08DB5B36E13A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b462958c97d26eecfcd94c7347600d0b0599758","datavalue":{"value":"7152410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$936226E5-478D-4A03-B1A1-B17C4D64B38F","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":"Q5208508$13BFBBBE-183E-4D4E-9A71-4EFC7A32DF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a1519e3464de36ea1c6a8e253e641d80cf937a5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-72044-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5208508$8366F0AB-7FF8-44D2-963E-3D4003CEDD4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83900f24c9fed20e60403bb7af674542a211a9d0","datavalue":{"value":"W2772024416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208508$CAC05332-64C9-4DF0-A133-C33B2EDD0BAA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a91763c2e208733f372cb88e3735b83c8d1ae1","datavalue":{"value":{"entity-type":"item","numeric-id":1698748,"id":"Q1698748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d00d8add608bc4bd861e36ac92f82feb5c6012e","datavalue":{"value":{"amount":"+0.7074478268623352","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":"Q5208508$33F034F8-1F6A-4242-A5DB-71F049104D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"529aee9a7922e5747b6cc42085a6404713fed0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2324186,"id":"Q2324186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f430af8f10bd55920a14a84ba07bbc083eb95d35","datavalue":{"value":{"amount":"+0.6826770305633545","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":"Q5208508$D0868140-10E1-4C58-8F8A-14EC1822CBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34098b80fc7d578351b2d3cf20589c2fce4b8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":5408424,"id":"Q5408424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011a7c58619a227bfe47d690f8eae3d734074b34","datavalue":{"value":{"amount":"+0.6818736791610718","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":"Q5208508$91FA1AAA-2DBA-4CF8-B1A7-F2010DB54E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d223594e2bdadab991cd6c7d1b492c494f4dcbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c800462a22386b81a8437bd9822760959c2eab8","datavalue":{"value":{"amount":"+0.6730976104736328","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":"Q5208508$01C7030A-D39D-4D20-B1E5-0104329EB303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"282ec133b28168af511757be0d1734097a899bc8","datavalue":{"value":{"entity-type":"item","numeric-id":2390937,"id":"Q2390937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c800462a22386b81a8437bd9822760959c2eab8","datavalue":{"value":{"amount":"+0.6730976104736328","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":"Q5208508$A65A0B44-44BC-484E-9206-38013663037B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5208508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5208508"}}}}}