{"entities":{"Q2841258":{"pageid":2851978,"ns":120,"title":"Item:Q2841258","lastrevid":83724752,"modified":"2026-05-07T10:14:53Z","type":"item","id":"Q2841258","labels":{"en":{"language":"en","value":"Towards an arithmetic theory of consistency enforcement based on preservation of \\(\\delta\\)-constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6190954"}},"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":"Q2841258$B0C01931-B25C-4AB0-9606-81FA92B160FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce8cb7fe8f752df9d7d5151006afc092546a95b","datavalue":{"value":"1268.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841258$E1FCEDBA-F0B0-4888-867E-8495872ADA86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"056df5639f8e3ab493e1741c1150b6bb7d7f2304","datavalue":{"value":"10.1016/S1571-0661(04)00306-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841258$FC804571-957B-4856-AD46-32F16F8E0D0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c623ff141e6601023cff4c2caebe41cfd442b463","datavalue":{"value":{"entity-type":"item","numeric-id":269506,"id":"Q269506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$0A4A501D-5D00-46EE-847A-DAEDBF7BEE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6081a22e78e5c0bc6cb05c9838a63ad14b1e9ac","datavalue":{"value":{"entity-type":"item","numeric-id":303690,"id":"Q303690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$C5F9A926-3A66-4F7B-9B67-98E791CD81C8","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":"Q2841258$F3C1655A-46F9-40A8-98FA-A5B78D1545FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fd0691c7173b432a2a4c9fb2775e82f2b46520a","datavalue":{"value":{"time":"+2013-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2841258$483DCBEB-7305-4968-88A0-716BBDCA8DDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841258$7E7263F5-D4B9-444C-AEEA-F76F8DCAAFEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01b1c468e6292d534259ed2cbf09100d49bc0296","datavalue":{"value":"6190954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841258$EDF99C57-694A-4839-B6AA-D97DECE00B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$91F94DA9-5877-4342-8C55-6ADB610E6792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ee7fdf2049db9290d38cc9f0709f4ba151de5a1","datavalue":{"value":"guarded commands","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$E9580020-E481-4CB3-A004-6D22694FE971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04f3278e949571cc3e1739c21cb0ffb0ead56ae","datavalue":{"value":"arithmetic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$9A220094-CECB-4AE1-979A-6BA970B84109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$9D026D7C-F415-4EE1-A035-4F03FD186BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$779C1494-1BDA-4E52-A237-576302950158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a945899159ee4b95c896922d384f6115a3360817","datavalue":{"value":"GCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$4FB10260-D9B7-4105-8812-A2CA09E166C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d3849f66073df6eec27f707a64272a967d754d4","datavalue":{"value":"MCE","type":"string"},"datatype":"string"},"type":"statement","id":"Q2841258$C3BDFB47-FA8D-4283-AC47-1450F6A58AF5","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":"Q2841258$15026B83-7C9D-4798-A428-7BCF0A91EC37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9fe4a72277901c2884c7aa80fe385ea55c31c28","datavalue":{"value":{"entity-type":"item","numeric-id":4132480,"id":"Q4132480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$C1436836-03A1-401E-9478-DD9DE295C700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c5a2ba48bc9f94864c3c4de7789fc1160e31870","datavalue":{"value":{"entity-type":"item","numeric-id":2703751,"id":"Q2703751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$1C6D0B61-D43F-4A54-9EA2-E3F72264EABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bad6689e01c4740b62636098256c52229adee4b","datavalue":{"value":{"entity-type":"item","numeric-id":4472216,"id":"Q4472216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$4394C386-8A9C-4E1B-8B75-66142E99F1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bcc96fa11006fd60370d5afc0efc459ddb94a7","datavalue":{"value":{"entity-type":"item","numeric-id":4936176,"id":"Q4936176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$CF40984A-8B93-4F21-B27A-03AE7FD888BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b073b173ac66834ddf0d5a8bb4eafd90ecae48","datavalue":{"value":{"entity-type":"item","numeric-id":1284698,"id":"Q1284698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2841258$E03EE666-C301-4D68-8951-AF409745C755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cea52872dc074273efc33965b69b55c36d533bd4","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00306-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2841258$52FF52B4-0A19-4930-BF49-E2DF6ADB1E1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6546fccfd041674851229b1e9fa7cb3fb55a5ec5","datavalue":{"value":"W2030429182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2841258$F9A231F6-1581-43C8-BAD2-30D63357579C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5879bb3e98138959a7581053d62ab8c1735104c","datavalue":{"value":{"entity-type":"item","numeric-id":4671951,"id":"Q4671951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ddf6f0052becab91520b6e61ba5a38304fe5d9c","datavalue":{"value":{"amount":"+0.9158871","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$A44A38E9-EF2B-4220-92FD-165040DD6EDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"224773f404895fd4a5cbcc16917c64d1106f9842","datavalue":{"value":{"entity-type":"item","numeric-id":598285,"id":"Q598285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495135992839c2ab5f1cdbeab56436281825d6b1","datavalue":{"value":{"amount":"+0.8660959","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$ECB5FF5E-492B-435D-B6D8-E5427F4A8585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f3dc062dffcda6aa3fcd989602662e5456efe7","datavalue":{"value":{"entity-type":"item","numeric-id":2703751,"id":"Q2703751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c270d787ce8195a0e74055c65b87190b881913c7","datavalue":{"value":{"amount":"+0.8619686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$D8B92024-9C72-42BD-AD86-C66CF9E8083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3765c792db9839cb580aee9e0903bc383338041f","datavalue":{"value":{"entity-type":"item","numeric-id":5019131,"id":"Q5019131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aebd49af0dd62d6badb1bf2afb37355fa2e2a8d5","datavalue":{"value":{"amount":"+0.85855365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$F20808EA-A81D-4F8D-9C28-07E798F23F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df6578e7683a7b6a4f47c239b939ad0d3f20b4bc","datavalue":{"value":{"entity-type":"item","numeric-id":4532615,"id":"Q4532615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7f1824919e7790a21b532de8221de7978358144","datavalue":{"value":{"amount":"+0.85227996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$E2ADFFA5-54FD-4154-BEB9-FEAAF7023B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a448d656779f39afbfdf67aaf0233fdf98ab04d4","datavalue":{"value":{"entity-type":"item","numeric-id":5464204,"id":"Q5464204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9138178ac889c9fd0e75da77e94ebf162a816b42","datavalue":{"value":{"amount":"+0.84458923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$86778AB2-85D3-4D90-94F0-BB04C873F320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4394a3498474b0e6d513f04f76a1ebee2c83613","datavalue":{"value":{"entity-type":"item","numeric-id":2946575,"id":"Q2946575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ceba1a9800d34d906740aaff9507580382ab888","datavalue":{"value":{"amount":"+0.84399724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$7AA545A5-6F0A-4439-86AD-DA5E9B8D2D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abedd67a017c352140ad560a714f17f9eab0d475","datavalue":{"value":{"entity-type":"item","numeric-id":5874372,"id":"Q5874372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b41e91f34ff6b55b45152bca2af63860b98351","datavalue":{"value":{"amount":"+0.83778584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$42582410-E7E1-4933-A3F1-272F560A1D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d799f0c0b0e20623ba9d53a55cd6b4edf06f5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5028458,"id":"Q5028458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b41e91f34ff6b55b45152bca2af63860b98351","datavalue":{"value":{"amount":"+0.83778584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$477286BB-F41D-45C8-8C77-C1E2B864E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84c35779661add7a6abbd96f21884a9be35c2ed","datavalue":{"value":{"entity-type":"item","numeric-id":4458699,"id":"Q4458699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4428adedaa28fc5f10a04afd1ceab5af2b93a1f","datavalue":{"value":{"amount":"+0.835789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2841258$D606ABD7-9815-4CB7-82DD-A7CA1523508A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43d97f52df093d50fa183f901ee66c3892639b69","datavalue":{"value":{"text":"Towards an arithmetic theory of consistency enforcement based on preservation of \\(\\delta\\)-constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2841258$D1231D93-C5F9-4EBD-8B62-F9A6D01B4C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an arithmetic theory of consistency enforcement based on preservation of \\(\\delta\\)-constraints","badges":[]}}}}}