{"entities":{"Q1977755":{"pageid":1988497,"ns":120,"title":"Item:Q1977755","lastrevid":47475484,"modified":"2026-01-01T20:33:45Z","type":"item","id":"Q1977755","labels":{"en":{"language":"en","value":"Proving consistency assertions for automotive product data management"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1449097"}},"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":"Q1977755$AA0DF7DC-A2B6-4B34-AB3E-EA3389069016","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef5b64bc2866ec038b6a69120f5eb9f951804757","datavalue":{"value":{"text":"Proving consistency assertions for automotive product data management","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977755$99F75958-C77C-49B2-9FFB-E79047BF947C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8364610c6e3b65b3394f41664adde9de42e21ce","datavalue":{"value":"0968.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$D0B82748-4A15-4D4F-A391-C31E33ACA4AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1fda630bc5d404576bd031bb486e92a2b2ef4e9","datavalue":{"value":"10.1023/A:1006370506164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$6A36A4FF-AA7D-4C92-BE20-32DF510B5271","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a36e2775790aea339f51177a635c0eb1b20a260","datavalue":{"value":{"entity-type":"item","numeric-id":1389630,"id":"Q1389630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977755$0F371561-7E03-4D21-94C7-AE65C66C6B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e10bf65e5a4274c744e96c2490ec0f51941a808","datavalue":{"value":{"entity-type":"item","numeric-id":334794,"id":"Q334794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977755$B5FF4A16-8A83-47C4-804B-6228B0FCADB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977755$5A38072D-8AAB-41E8-B4CE-4725F33870CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba59cc8ef51c6aa454f4b268e86093eec346eb7a","datavalue":{"value":{"time":"+2001-05-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977755$32D1E7B1-0AB8-4012-BA11-31D06AE16212","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$A3DBF8C8-002F-4318-8C2B-9CDC168B58FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$789802EA-2BBA-4340-A1C9-7EA08F7D2CD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef6c62141641aaca1bd6f0cec12374898de7b7a3","datavalue":{"value":"1449097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$D4C5636B-0223-4F3F-B202-D29F870B4F07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977755$1EA0C766-6D1E-41E6-B403-439B6FD91DF8","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":"Q1977755$D0F575AE-AA9D-4415-BB59-872A56A89F01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f6a45d8e936f53c8c00b86834ea4c1ceacc2bc6","datavalue":{"value":"https://doi.org/10.1023/a:1006370506164","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977755$EFF995A9-9984-470F-9470-3201507A91B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98a534b9617a9f4e4eae21f3a74fcd538bc3a17c","datavalue":{"value":"W1583236823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977755$82B47EA5-669E-43C0-A8C7-FDB85D8E92EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5e176589a6773609f240eaad465435188a6a04","datavalue":{"value":{"entity-type":"item","numeric-id":2749865,"id":"Q2749865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e6a1d4d8242c16efde02cf642e95d40e5ba52c2","datavalue":{"value":{"amount":"+0.999793529510498","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":"Q1977755$0EB1654F-12B7-4534-BBBE-5184AB0A073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cb200af1790f3527259dfe5ec47c40966d092a","datavalue":{"value":{"entity-type":"item","numeric-id":2783117,"id":"Q2783117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"094adde8cde06ab8171309871a8ff54cefed14ce","datavalue":{"value":{"amount":"+0.6830868124961853","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":"Q1977755$C32CBA2B-6E5D-4266-95E6-BB1357BA0FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"054082cfb3f85b413ebe279f44bf106298177731","datavalue":{"value":{"entity-type":"item","numeric-id":5899058,"id":"Q5899058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2030de533c1c6a68e5af09564f9ba46eb0444a0","datavalue":{"value":{"amount":"+0.6536154747009277","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":"Q1977755$6DD63DD2-0A9D-4A10-8A5F-311F1716A993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"351eec027db0f9c526c3c43ea4c82300d4130019","datavalue":{"value":{"entity-type":"item","numeric-id":4471725,"id":"Q4471725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09052aa3404aef227e3cb1392b2e333263cdcd8f","datavalue":{"value":{"amount":"+0.6457349061965942","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":"Q1977755$B60FB544-411A-4C1A-BBE8-91785CB8C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa98d82e504c98d8ed9fc4f56667350b230d2e0","datavalue":{"value":{"entity-type":"item","numeric-id":1284698,"id":"Q1284698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b3588d4321e1cfbb90c95a05ce57f20308d6dc1","datavalue":{"value":{"amount":"+0.6438242197036743","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":"Q1977755$97F08DA3-A906-475D-9A6C-0CFF13623D4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1977755","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1977755"}}}}}