{"entities":{"Q7361676":{"pageid":31520567,"ns":120,"title":"Item:Q7361676","lastrevid":105367211,"modified":"2026-10-07T13:36:45Z","type":"item","id":"Q7361676","labels":{"en":{"language":"en","value":"Jive Data and Store Model"}},"descriptions":{"en":{"language":"en","value":"AFP entry JiveDataStoreModel"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22892a0ca8dbdc81838aa9b598b7f50a2a7e419a","datavalue":{"value":"https://isa-afp.org/entries/JiveDataStoreModel.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361676$3A22D2C7-D856-41A8-A51D-AB229395B5E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f26c67f9c6264c43ebe1ec4e894dd6b56df4e351","datavalue":{"value":{"time":"+2005-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361676$01994922-9437-46E7-B0E1-06C85D2D0C2B","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"25a7f90763e4a9987fd5885e62f57b4cd4669842","datavalue":{"value":"Nicole Rauch","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361676$22F96585-A312-4ED0-B90C-F618DFD9EBE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"45e860162f4b3c0ff9ec8446d8b1743804a3a1b4","datavalue":{"value":"Norbert Schirmer","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361676$55FFB771-B5DF-4CF6-918A-9F0FE8D5E57D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b7daebc0e43c485c886445bf6b51c7dba09480c","datavalue":{"value":{"text":"Jive Data and Store Model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361676$544840AC-4DEA-451C-A74D-0BE0BE503317","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9a63bf79fa3d517e19acec3ad21ab11595ff3a6","datavalue":{"value":"This document presents the formalization of an object-oriented data and store model in Isabelle/HOL. This model is being used in the Java Interactive Verification Environment, Jive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361676$57C4DA36-898E-4343-845A-549500C05492","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88c5440d660da150fd20e6d583b8106f210ba897","datavalue":{"value":{"entity-type":"item","numeric-id":2729071,"id":"Q2729071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361676$BB59B0C1-32AC-4659-A5E0-B62E498F4DAA","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361676$F3CEB08B-94A0-4A9E-90E0-5A806FB71647","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"74073bb97e06ee9cb8d0a44748848fdf77fe551f","datavalue":{"value":{"entity-type":"item","numeric-id":7360798,"id":"Q7360798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361676$7F8E388E-BAD4-4458-A30A-39B4F6F222D3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361676$9ADF7D06-2798-4EF6-B7FB-97BBE47178E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jive Data and Store Model","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jive_Data_and_Store_Model"}}}}}