{"entities":{"Q1283883":{"pageid":1294633,"ns":120,"title":"Item:Q1283883","lastrevid":67232499,"modified":"2026-04-12T16:15:09Z","type":"item","id":"Q1283883","labels":{"en":{"language":"en","value":"Strategies for consistency checking based on unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1271247"}},"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":"Q1283883$2AC2E8F5-FD06-45C7-889F-B21533316B53","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44b7f67cd8d6624666ee84579feb364aa751f8e0","datavalue":{"value":{"text":"Strategies for consistency checking based on unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1283883$785F5F80-7D2C-4349-82BA-D74E58A05FA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1eeeadd63838569d6bdd284ed1f5799125c2728","datavalue":{"value":"0924.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283883$4CD60C26-2D86-4F87-A507-43EA1ABD8034","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3680515fc4ce05e0dbe032b4d3e9f00b5979fa93","datavalue":{"value":"10.1016/S0167-6423(98)00017-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283883$34985D28-A855-42B2-840F-F5CBB6DF6EBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48632cb946b309fd3abb1fcdf63d4308e9e5bd3d","datavalue":{"value":{"entity-type":"item","numeric-id":736843,"id":"Q736843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$7BE20C7A-3494-443F-82BA-52832F4BE961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aa5453cc5d3a8f61d68fac093f0c59d6d5be138","datavalue":{"value":{"entity-type":"item","numeric-id":202499,"id":"Q202499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$790BEFB3-31C4-461C-93BF-7673A6AFE35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72c0689141f8d2aa3eeb7786dc62a599f8e80fec","datavalue":{"value":{"entity-type":"item","numeric-id":698092,"id":"Q698092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$C0490DA1-81BA-4D92-B288-190E74D3BAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1bbd7b0f1716022bdd3bf8a6eace09ad2456ca","datavalue":{"value":{"entity-type":"item","numeric-id":1193745,"id":"Q1193745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$6042E81E-22B4-44C8-BE46-B061883E19C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$C190C7C0-6D36-452E-930E-52BAC4DCCA93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6067367fba059f6e8b1ef3c6074b68fe3ceb6b","datavalue":{"value":{"time":"+1999-03-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":"Q1283883$74532C4E-3F4F-47DB-AA5B-EB1CDD07EB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283883$FE261066-A0F2-4FD2-8AF0-2578A419D33E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8a23d27bf05daf3cb855c45d7e3db8942c704a","datavalue":{"value":"1271247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1283883$BAC684D4-08FB-40F1-834E-35B724EBAE81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a76299ad9ed3e6366ee8e36fd39a672f6d04edd5","datavalue":{"value":"multiple viewpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q1283883$36B73794-8307-4D1B-B01D-F495C70B5B5D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1283883$1F62550F-1C74-4C0B-8E5B-7FDFE0769A60","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":"Q1283883$9EC881C4-671F-44DE-979A-8C2B92924B54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c110eb6d9402c1337e196490a5f4aa4b83d42e2a","datavalue":{"value":{"entity-type":"item","numeric-id":698095,"id":"Q698095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f840d360dd6a1d1323dc3e2ad644b11464d65d","datavalue":{"value":{"amount":"+0.8842758536338806","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":"Q1283883$C4F4D500-7E61-4B1A-9E36-0D38500F95DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d6b66ee47d9eba38f6db3e490c8c0967adefc30","datavalue":{"value":{"entity-type":"item","numeric-id":1708178,"id":"Q1708178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e032bd927b1fce198e55665e3c9969d0cfda6ac9","datavalue":{"value":{"amount":"+0.7721962332725525","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":"Q1283883$74B2B5D7-4D9E-496C-BE16-AED1A7B58EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967cba6fbae9303fec423d051d47c0f0a9579bbf","datavalue":{"value":{"entity-type":"item","numeric-id":2906956,"id":"Q2906956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b13d8ca5b4c61fec5e2f28e7f6837fd2448cd7","datavalue":{"value":{"amount":"+0.7339483499526978","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":"Q1283883$D54C7BA0-B1D5-437E-8B10-D735A49A249A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545b7bf9dce5cf86f48a34fb4db61cea8421329a","datavalue":{"value":{"entity-type":"item","numeric-id":2851539,"id":"Q2851539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169a8a7501adefd85e3473363131101e14399fac","datavalue":{"value":{"amount":"+0.7270755767822266","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":"Q1283883$0C93F86C-2E04-40F0-8DC6-8926A79C0060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9561e57bdeae0bb9b06717d09bad3b2edf754c","datavalue":{"value":{"entity-type":"item","numeric-id":1961429,"id":"Q1961429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f5ce8cf8c12a1099689bfb164ded174cf271668","datavalue":{"value":{"amount":"+0.7198767066001892","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":"Q1283883$37B8DE70-9DA1-4D33-93C5-65A6008AE767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strategies for consistency checking based on unification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strategies_for_consistency_checking_based_on_unification"}}}}}