{"entities":{"Q5240214":{"pageid":7269782,"ns":120,"title":"Item:Q5240214","lastrevid":58498893,"modified":"2026-04-05T11:53:35Z","type":"item","id":"Q5240214","labels":{"en":{"language":"en","value":"Grounded fixpoints and active integrity constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7121945"}},"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":"Q5240214$CD20BDCE-B606-4459-AFC0-1D64AC58E297","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d8fe5a81d1520f1aa158b2e22bd08f9dcaaee0f","datavalue":{"value":"1428.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240214$B562AEB3-7AC4-4ED4-9A6E-294DA773E38B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$F15CC8BE-B736-4F66-A7B4-0B513230BCD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e90ac164b640d95b457d4445ab6f8939b3dacb1d","datavalue":{"value":{"time":"+2019-10-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":"Q5240214$A0A942D7-B075-4E22-94AB-B1E721F08BFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"895db5d734c22182d9d36d19fa2ce34e4a5ea7af","datavalue":{"value":"https://arxiv.org/abs/1607.05412","type":"string"},"datatype":"url"},"type":"statement","id":"Q5240214$2DFBF4A5-984D-4B30-A968-D6B51D1EE6A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240214$BA5487B6-1B25-4B74-88A5-34B88C843A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240214$F38A6A1C-C2FB-49B2-B602-944197A7B2D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59005a1ef001eca1906fd13972722b4c16a60a4a","datavalue":{"value":"7121945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240214$8AC85CB3-75B9-4964-8FDB-435B2AE734FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d29c3ca7b1c563a6618c8ec704a9dbdf4a081a2","datavalue":{"value":"grounded fixpoints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240214$22F3413A-9234-4EA6-A3D1-65219BA9CEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"feaf72468bfbf82fcfddfa96370d09f04251e59e","datavalue":{"value":"active integrity constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5240214$8028D6E1-B606-4202-9D3D-6B1676752B63","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":"Q5240214$A71C5411-F299-47BE-A89A-518421466441","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae600d82e59da48d9490ff29ee5b51a547bc0409","datavalue":{"value":{"entity-type":"item","numeric-id":4864249,"id":"Q4864249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$122B8971-BC7A-4BFC-BD01-2133BD6A807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea7a4daa17e286a135ff13bcac8c6503af0396d","datavalue":{"value":{"entity-type":"item","numeric-id":3770004,"id":"Q3770004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$BE5330C1-7E98-42E9-AF35-0DEF3970856F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51469373b5ce3f14867b6315c16447f688ff88","datavalue":{"value":{"entity-type":"item","numeric-id":892232,"id":"Q892232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$19BDE9F3-1EBA-48C0-A081-5F1EADDA6FBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef5de69bdf01903519a793f30077decd544d1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5449590,"id":"Q5449590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$4B6DAA14-084A-48C7-A389-96B3702A923B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3948d803af126af86197266bfaa610cefd4cbe3e","datavalue":{"value":{"entity-type":"item","numeric-id":2884257,"id":"Q2884257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$8FCCF1E4-0A00-4B13-A6E4-58120BC37611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd4dd12d050b835dbbcd6fa4f377bc1cb937f657","datavalue":{"value":{"entity-type":"item","numeric-id":5404965,"id":"Q5404965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$28956CE6-C563-434F-AA71-94F4D22DFFAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23bf7d899e446910095140bebaf47406befb2eb3","datavalue":{"value":{"entity-type":"item","numeric-id":2807083,"id":"Q2807083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$DC6BD48D-4674-46A1-8031-9B1DC2C1E1F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdd793e3cc41e1cfdd728dd923578990c02b6660","datavalue":{"value":{"entity-type":"item","numeric-id":1199919,"id":"Q1199919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$B94D2AC1-D426-45B3-B48D-ED6155E0D24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d332575dd1e03d3d97497607abbb55c868eb39e2","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$0768E2F1-87BD-4444-8111-B930EA2719C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057eea8ae2d29b962d5c79483a50de7b450a3680","datavalue":{"value":{"entity-type":"item","numeric-id":4504011,"id":"Q4504011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$D253D5AF-F4C2-4C7F-8E11-5A97FD384F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc29c22511b451935201468aab1a58844919604","datavalue":{"value":{"entity-type":"item","numeric-id":4365058,"id":"Q4365058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$2009F7B4-7EFC-4E11-BC08-3110038A8FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$DD847AA4-22B9-42C3-9652-566D3D4A1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c35621b2ed5ed557d15acc7529d8ec02f18cc9","datavalue":{"value":{"entity-type":"item","numeric-id":3995235,"id":"Q3995235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5240214$5A53BA16-7EB1-4C64-B27A-CF6CB9B846FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19955525c212cafee28c273d9c39e0729bd9dd7b","datavalue":{"value":"10.4230/OASICS.ICLP.2016.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5240214$9ED2FFE5-4711-4941-8BF5-F87043881941","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d02fd784116629d0f908790c5c479d8c244a4d","datavalue":{"value":{"entity-type":"item","numeric-id":1693567,"id":"Q1693567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc8d6571f1b43a4ec275bf57827a580aa9a911d","datavalue":{"value":{"amount":"+0.9060400128364564","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":"Q5240214$94ECD89B-9DA0-41B5-B63E-24817291EA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc6d7e18a46395d2d9af49cdfe6590455acea9f","datavalue":{"value":{"entity-type":"item","numeric-id":5504661,"id":"Q5504661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76bff52e324df32ec17b020af1ff73f41edb17c","datavalue":{"value":{"amount":"+0.8661298155784607","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":"Q5240214$92290661-888A-47CD-9DAD-85BD33B9F03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac63a455aaa1783e4979c45da928656fd2bf19fe","datavalue":{"value":{"entity-type":"item","numeric-id":2938515,"id":"Q2938515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e606122dfe5a6135e97c2759b6d7b2d049bb21a6","datavalue":{"value":{"amount":"+0.8626127243041992","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":"Q5240214$AEF556E9-E4DA-4265-8267-6A9296E93651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"221d1d78e6190070fe4840400cbe06a1dac06386","datavalue":{"value":{"entity-type":"item","numeric-id":1783734,"id":"Q1783734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3387b6c3f044373050b560f6dd9a6cabb2b94e3d","datavalue":{"value":{"amount":"+0.8543305397033691","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":"Q5240214$CEC8625B-DA28-45B0-9428-C9AA51D0F6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c854479af27369e850358892f27cc618419bced3","datavalue":{"value":{"entity-type":"item","numeric-id":4973846,"id":"Q4973846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72da6dca4486a4ada269f3f7f2130a4087a80e09","datavalue":{"value":{"amount":"+0.8444495797157288","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":"Q5240214$0C4F0DF9-2701-4EB9-94D9-A48F716C9394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5240214","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5240214"}}}}}