{"entities":{"Q4452614":{"pageid":6482213,"ns":120,"title":"Item:Q4452614","lastrevid":89449187,"modified":"2026-06-04T17:23:38Z","type":"item","id":"Q4452614","labels":{"en":{"language":"en","value":"Soundness, idempotence and commutativity of set-sharing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2048591"}},"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":"Q4452614$7CC75189-E706-4729-AD76-81626BD97FE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b999deecdc9008f0443867e33b48899c69f7a707","datavalue":{"value":{"text":"Soundness, idempotence and commutativity of set-sharing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4452614$170837C1-EDD6-42B5-B6C9-6B87F9AB5328","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d85a5af57fd1890ef11314496f1716cb88c0d710","datavalue":{"value":"1087.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$BAAB6E1D-74E2-413C-91C4-378A43D2E255","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4aa0b149677e550e99c7517ad88958ceda80b79","datavalue":{"value":"10.1017/S1471068401001338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$8A996EF8-F191-4E65-BDAF-E07B5F02F968","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4a2cc42c0b995a79683f9901abc04d820fd3ad4","datavalue":{"value":{"entity-type":"item","numeric-id":817223,"id":"Q817223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452614$B9F48669-31E6-4507-8233-A536F440D95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2911dc9679c29e98bcb235b8beb9e25acfab4e96","datavalue":{"value":{"entity-type":"item","numeric-id":714502,"id":"Q714502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452614$AEEDFFFC-B5E2-43BF-8767-3E94DB436276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768e10bb33d31727f16a418679f923fd95870c7b","datavalue":{"value":{"entity-type":"item","numeric-id":281282,"id":"Q281282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452614$5090CAD6-9BAD-42E4-A396-CEB82543F10B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4452614$5BA788D0-EA61-4112-951D-7F32200F012D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9580d7f0de524106bcb22df2672fab6aa67bf44","datavalue":{"value":{"time":"+2004-03-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":"Q4452614$D9D26205-120D-4BF9-B7B1-12E5292723D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1113de7e8ab93d21bc5d23ced75fed709a1e4ec0","datavalue":{"value":"http://journals.cambridge.org/action/displayIssue?jid=TLP&volumeId=2&issueId=02","type":"string"},"datatype":"url"},"type":"statement","id":"Q4452614$DD7D9C5C-1483-4A0A-8B51-CF0478A7DA44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$D1453425-0744-4ED5-9B53-72089947EE44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"057113387e3cb9c23b780614c600e32e5b133693","datavalue":{"value":"2048591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$18347DF8-EB74-4540-8A02-F099B54B4322","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452614$7C86AE27-75CB-43E9-ABDE-97B8308CD315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452614$7C97618A-2DFC-46D4-A5B6-99B454FE41DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d653af9ec4da3cf62dea305e418d4ab85f1bbbbb","datavalue":{"value":"occurs-check","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452614$25AACCA3-8DB6-47F8-91D9-CA1B8224DE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"071398ca0dd04dce8f63435cb0877ccc4dd0bcb5","datavalue":{"value":"rational trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452614$1F5C24A5-36E9-4739-9843-C26027574793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"607cec314af9b1d148c499aefa9f6e570df8c907","datavalue":{"value":"set-sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4452614$E3CC9694-36E2-4D8B-89D8-32889C2B3730","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"df7e2a7292b04d11b32254c1d2ae2ab83810f4b4","datavalue":{"value":"Q60501252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$C14B4E88-FF5D-431F-ACDE-0B30A58C54BA","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":"Q4452614$ACE06BD6-0EE9-4B91-A798-42B69F0334C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa4fd8424fb431fe52a1999ab28ee296bf151ee","datavalue":{"value":"W2178196758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$8A57A3FD-780B-492C-A089-05070FFBDCF5","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"20746ae60662bd538c81028974de1ab8e7cb6aae","datavalue":{"value":"journals/tplp/HillBZ02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4452614$4E397AFA-AD2E-474B-96CB-2AC2DA42D606","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20dd5a4fce5a26603ee14e8ccf2d9fbbefca2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5055710,"id":"Q5055710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea696d8799cb521b9fd715ec148f2345fb7dd475","datavalue":{"value":{"amount":"+0.8267217","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":"Q4452614$6608F47B-9797-4ADB-8425-38E159AEA48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa34c5f3b473faac9c547624009e040cb916e4a","datavalue":{"value":{"entity-type":"item","numeric-id":3115799,"id":"Q3115799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b021f1b5f938568c93c58211e2eb66baf06936","datavalue":{"value":{"amount":"+0.8233035","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":"Q4452614$1A818107-60E7-492B-BCC2-426A78E39091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf976e482a28360328c016ce8edfeb85001d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4217938,"id":"Q4217938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d971e50bb23d2585d635be0330a8a860c62191","datavalue":{"value":{"amount":"+0.8229345","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":"Q4452614$641FAABF-D691-4D92-BCDD-C08D6991459D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8965c8cfe33cc1b4a3ed7538fd2af856ab88625f","datavalue":{"value":{"entity-type":"item","numeric-id":5489267,"id":"Q5489267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fa91c6afbbe7b3b96dbfb5396d3c91e19d99d2","datavalue":{"value":{"amount":"+0.82068104","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":"Q4452614$FB05FF4C-C1EA-46A3-8DC4-1DD8A3762958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad7b1a59985e4c4fd388139fe28276635b4ea72","datavalue":{"value":{"entity-type":"item","numeric-id":2979778,"id":"Q2979778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ea2c603daea9817f740dfe42261f1b3eb539d6","datavalue":{"value":{"amount":"+0.8178818","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":"Q4452614$A905923F-94FC-4A13-9ADC-9CF3C71F122C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4547448a0959c56d21449fe0d20a5f774ba305d3","datavalue":{"value":{"entity-type":"item","numeric-id":1083005,"id":"Q1083005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47dca4707cc54e7ea0b9a287f91537e497e16a7c","datavalue":{"value":{"amount":"+0.8161231","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":"Q4452614$A5B6DC3C-36ED-419E-8451-8A1BC439BDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ef24230791a920674080d8725be1540d4a1cbd","datavalue":{"value":{"entity-type":"item","numeric-id":3169477,"id":"Q3169477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864191d9e5d98f0495af592770a8cc251ef73a3d","datavalue":{"value":{"amount":"+0.8157972","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":"Q4452614$4DE99585-57BF-43B3-BE3B-4D9D204994CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d5d7a84aae163c543c95b4a7f704f087c6ad87","datavalue":{"value":{"entity-type":"item","numeric-id":750471,"id":"Q750471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9928073cbc1d38a7a50ad7fdce0f5e1106f3428","datavalue":{"value":{"amount":"+0.81407565","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":"Q4452614$020AAD7F-9F82-41CD-87C6-446F631A7076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8ffb93bb1d321f3af0532c489151ff45a0994f","datavalue":{"value":{"entity-type":"item","numeric-id":1985619,"id":"Q1985619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2904c44dc11b01dc7821e3486c466e87594ce5df","datavalue":{"value":{"amount":"+0.8133906","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":"Q4452614$5536C7D1-D641-4414-BF35-3BE9F6312D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8063accab6d0fe75910797813a428ae8dda11631","datavalue":{"value":{"entity-type":"item","numeric-id":1434351,"id":"Q1434351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2aad4b71e65c250cdfaf7e0ecdbe933ae01c439","datavalue":{"value":{"amount":"+0.81287867","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":"Q4452614$84E7D031-ADE8-4085-9AC9-C7890B55661B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Soundness, idempotence and commutativity of set-sharing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Soundness,_idempotence_and_commutativity_of_set-sharing"}}}}}