{"entities":{"Q6174656":{"pageid":13309544,"ns":120,"title":"Item:Q6174656","lastrevid":94161002,"modified":"2026-06-05T06:02:32Z","type":"item","id":"Q6174656","labels":{"en":{"language":"en","value":"Unit read-once refutations for systems of difference constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7729121"}},"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":"Q6174656$29257B8C-F0FC-4831-B95E-30FE87448562","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b8c5eaefbcf79c35cc39b75e1f2b83f4ad124f9","datavalue":{"value":{"text":"Unit read-once refutations for systems of difference constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6174656$B53E8AB7-0DDE-4985-8998-898993A10BF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$6401C1DD-F37F-4560-866F-4D3D8336DA52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"441006eb796e3a3facfc20a479629ee7d34004ed","datavalue":{"value":{"time":"+2023-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6174656$565802B6-C34E-4C93-85EA-2F7D3BADAEE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174656$DF7D0299-E6ED-40EE-AA59-E6C095F2E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174656$B79C17F0-326E-4A5A-94AB-640E4689F10E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c51c3d9454f3ede7ae48c76884a588d010456d3","datavalue":{"value":"7729121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174656$3CA2D5EB-5397-4641-803B-7C24A3152AE4","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":"Q6174656$7C9A58A1-58EC-471F-9EE6-E9D05BF99CF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$E6832857-9F9C-4349-941F-6C3CB0C83B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aa2a1ac4e864d41c30b8a828a68a91d18d8ecae","datavalue":{"value":{"entity-type":"item","numeric-id":4258216,"id":"Q4258216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$9F91386F-E6F2-4F11-A6E1-9FF3AF937646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d065c583efdebca15b3be81cfc1ee4103b8d3a5","datavalue":{"value":{"entity-type":"item","numeric-id":1184733,"id":"Q1184733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$BF059B97-2C2E-4591-8FBC-1D2C5DA7402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$AF8A1CAB-F7C3-41F7-BA88-1456A5B15427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39247c00a7ce4823ead5de23d97d8ba01016b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":2445839,"id":"Q2445839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$B2A6A2F1-49B8-4F25-BB90-245321612CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$7589C743-938D-4D61-81EA-29C6DE9DEB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85900b4df4cad2d3e2046dfcd6398b6a189b934f","datavalue":{"value":{"entity-type":"item","numeric-id":5464752,"id":"Q5464752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$675A8582-3D86-4E39-9ECA-42D654FFBAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f1c9b30d63dba402510d5838237495966fbe464","datavalue":{"value":{"entity-type":"item","numeric-id":5756581,"id":"Q5756581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$31B20ACC-1FA8-43EE-AF0B-DE7C87D2A3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08cc9cdd9999a46859ae4f667ab34baac016718b","datavalue":{"value":{"entity-type":"item","numeric-id":5502162,"id":"Q5502162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$8DA2ABB3-B4B7-42CA-ACD4-CAE99A37B3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbba1e94dac698478d700605005f4f3274714185","datavalue":{"value":{"entity-type":"item","numeric-id":5435671,"id":"Q5435671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$5E0655ED-4CBD-4524-BB22-987FCA7D10C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41ab95cfd69e10430c9e72fb53fae7f5a4250a3f","datavalue":{"value":{"entity-type":"item","numeric-id":4947393,"id":"Q4947393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$AF572B3C-7E92-45E3-A5DA-BF26A3682FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9844f0c0b563447e59b77eb7bdae75f92223ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":4419674,"id":"Q4419674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$F051126D-9A5F-4617-BAE6-24D0150763FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$5253131B-DDFB-4F1B-A3AA-EC9370E33050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d07c38b4f3b7c5491df9e5678b3df6851587ec","datavalue":{"value":{"entity-type":"item","numeric-id":4764626,"id":"Q4764626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$606703A9-B5FB-41A6-9CE2-FC46645F3133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54df13eb01be31e77d317d82a5c7216e0c97116c","datavalue":{"value":{"entity-type":"item","numeric-id":2180223,"id":"Q2180223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$89423615-33D5-4DF6-B90E-3A331F7776FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c890c0675d416e071d28712c9ff13d1411dbaf1f","datavalue":{"value":{"entity-type":"item","numeric-id":5875680,"id":"Q5875680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$AC2599A8-58A5-4355-9164-F900B93F03C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bcd935a5b8d2b98c3e577acbefcd660095c66bc","datavalue":{"value":{"entity-type":"item","numeric-id":4943600,"id":"Q4943600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$39513798-8698-4A27-906D-97C4E431F37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$89DF7862-DE33-4211-8DE6-BE9CBFBECD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$E2648FC8-6442-48C3-AF2B-7310A3599FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$ED4D72DC-4D41-41F8-BA9B-5137A104F84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83ed8ce59c0eb8d7f29eaf2566826020c5c15da3","datavalue":{"value":{"entity-type":"item","numeric-id":846163,"id":"Q846163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$27B61258-FA54-47B7-8184-42B95A5D6695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a884ff1f32d17157e5f59630a91f401cdc5795","datavalue":{"value":{"entity-type":"item","numeric-id":1941901,"id":"Q1941901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$9C7DC853-C86F-4225-8189-55D1D3409F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc0deca078f11a055615ef53b3ff36babd45ebe","datavalue":{"value":{"entity-type":"item","numeric-id":2415363,"id":"Q2415363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$AB0231D2-72FC-4F24-855A-BFF8933110E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aea4545bb481e8c7fcc323a45519fd3b9867dd35","datavalue":{"value":{"entity-type":"item","numeric-id":527418,"id":"Q527418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$161E3246-8F03-4044-BC51-FA6E6E732453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b952b9ca3e60ee9ac867aad391bfcf6a2a76fde4","datavalue":{"value":{"entity-type":"item","numeric-id":2055789,"id":"Q2055789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$626B4A32-FFE5-4445-B8C0-FE852C92E2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6174656$53C6B55B-C949-45E3-BD48-DEF0656E8571","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb087b048dfb9f944161afbc1f37171858b92c2c","datavalue":{"value":"10.1007/S00224-023-10134-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6174656$CD533523-8802-4CCA-AC86-BEAA99933F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unit read-once refutations for systems of difference constraints","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unit_read-once_refutations_for_systems_of_difference_constraints"}}}}}