{"entities":{"Q2810970":{"pageid":2821708,"ns":120,"title":"Item:Q2810970","lastrevid":52548044,"modified":"2026-01-22T22:43:25Z","type":"item","id":"Q2810970","labels":{"en":{"language":"en","value":"A semantic condition for data independence and applications in hardware verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589707"}},"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":"Q2810970$578B49A8-06D2-46AC-93DA-B835D90BD34B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b993097cd7d5e6f6b3292d904055a726de652c","datavalue":{"value":"1339.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810970$2DC8AEDA-E8F4-4EDB-9BED-54ED4524E110","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e6f3d8d3851bc4ade5abbb68f6e3c27ed79a6c","datavalue":{"value":{"entity-type":"item","numeric-id":2810968,"id":"Q2810968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$A7721FEF-5956-4218-9873-815E4BCB1978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4831e37258d7d006f763b92f3d4b9e0f05883ae5","datavalue":{"value":{"entity-type":"item","numeric-id":2810969,"id":"Q2810969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$507F47D1-61FA-417F-8B22-AD196D3EFF90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$D548899F-7AF7-41CA-9EE3-0FAF326A92F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d066e43a0d378deda532184f86b234184fe2275a","datavalue":{"value":{"time":"+2016-06-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2810970$D53E54FD-18AC-44AD-8B94-2A1C5B254ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810970$5777530F-8D01-459B-9B7A-CFCC4DF44177","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a54811fe4167014742f37a4c266037f92a0b27d","datavalue":{"value":"6589707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810970$921286FE-219C-41AF-A895-2822B09896CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d891fa3e5d3a685d4417bf83c59786e9fbc0cf","datavalue":{"value":"data independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810970$998A73F6-206D-4A5B-B248-70580D30C2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810970$ECD6F9C7-1AA7-4D83-8B26-8FB3629C7F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810970$FED0CE1B-471B-4341-92B4-0446782C773E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af7979510b1e87891851cefdba13998806375141","datavalue":{"value":"PSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810970$1763CF66-2853-4AED-A8BB-EF4E97D0C4FC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ea8ef6347659dca6037f56cb2a8facb452dee25","datavalue":{"value":{"entity-type":"item","numeric-id":16606,"id":"Q16606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$6C4B3A18-5DAA-48DF-824B-750EA3E8137A","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":"Q2810970$3F1F0015-F7F8-4724-A3B3-87192B5D8B4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a15ec150b47b609aa70eecb417e2a12c37ee7385","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810970$BD2A3EDD-0879-427B-ADAE-0C5750E7ADBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a7e1e60f3acdffd83251a75612d3e0675e0e307","datavalue":{"value":"W2094442598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810970$9B58F85A-868E-440B-900E-599325D0D58D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e981fc88919dffae8abf9a9fd60b97f6bdc6aafb","datavalue":{"value":{"entity-type":"item","numeric-id":2810970,"id":"Q2810970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$9E4E62CB-8F0F-4A13-A847-2C0229109956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$39A43876-5E62-4930-A02F-149A9FCB2720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914a7c99731edd8173afb5e65133ec969bbc41dc","datavalue":{"value":{"entity-type":"item","numeric-id":4536630,"id":"Q4536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$3B431930-11DB-428A-903A-E86ECC4ABEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f492ecca5e4f61949b3a09791df3709074610b91","datavalue":{"value":{"entity-type":"item","numeric-id":698437,"id":"Q698437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810970$E3692313-7A4B-4355-8128-8ECB200CB51A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a8fffb836d62a472c045ce8137c79cb5186c2a","datavalue":{"value":"10.1016/J.ENTCS.2009.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810970$51C6E63B-6011-41C1-8A7A-CB4BE4F4502D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27367c1c0f8e335c59418ff1661da3be909886f2","datavalue":{"value":{"text":"A semantic condition for data independence and applications in hardware verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810970$2C686454-BACA-4D68-95E6-321A07645C41","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dd5d02165a696b6d913f29204cc96e107332bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4536630,"id":"Q4536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3055a014416d1f2a3349264f739dc163551a7b47","datavalue":{"value":{"amount":"+0.7854712009429932","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":"Q2810970$9248432D-CBE9-4F0C-8674-562330DB26F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ad1c4e133df37239a5f93797fe876d4387ca4f","datavalue":{"value":{"entity-type":"item","numeric-id":4457460,"id":"Q4457460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784a55238145253e112745d8e8905d35eb1718c1","datavalue":{"value":{"amount":"+0.773995041847229","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":"Q2810970$75649D3C-0962-4A39-86CE-197207C35B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cfe4f092273044578d174c9ad77f8002391516","datavalue":{"value":{"entity-type":"item","numeric-id":4942029,"id":"Q4942029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2924993a3c59077961f2e01a886d649d0e3464fd","datavalue":{"value":{"amount":"+0.6852325797080994","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":"Q2810970$D91481F4-2666-43C3-99C7-65F89B584CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb0b45420a782cfca10d5db6664d68f476b4d41","datavalue":{"value":{"entity-type":"item","numeric-id":1856178,"id":"Q1856178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56360a9f09b56825a4ced981d61a1fcceac5812","datavalue":{"value":{"amount":"+0.6813997030258179","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":"Q2810970$07478BDA-BCFF-488A-B82E-E7684B585800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b9c490f453881c2dd511b0e24ff57add53cc38","datavalue":{"value":{"entity-type":"item","numeric-id":4669653,"id":"Q4669653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fea26e44ea3b9fced53d6d6662f8117d947bdc7","datavalue":{"value":{"amount":"+0.6808905601501465","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":"Q2810970$3285AC1F-3E25-49D2-8B83-32933D2D8113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2810970","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2810970"}}}}}